PERFECTION AND IMPROVEMENT OF DATA DEPENDENCE ANALYSIS IN SIGMA SYSTEM
-
-
Abstract
The algorithm of data dependence test in the Sigma system is analyzed and its fault is modified.In order to increase the accuracy of test,the idea of bound test for distance vector test and the idea of combining the variable elimination with Banerjee inequality for variable elimination test are put forward.In order to increase the system efficiency,the idea of nonintersecting subequations is also presented.
-
-