摘要
在先前的研究中,我们提出了一种可用于处理广义查询的一般右线性变换,本文旨在证明该变换的正确性,并简略讨论其有效性。
In previous studjes,a generalized right-linear transformation for generalized query processing has been developed.Thjs paper proves the correctness of the transformation presented before,and shows its efficiency.
出处
《郑州大学学报（自然科学版）》
CAS
1993年第4期30-33,共4页
Journal of Zhengzhou University (Natural Science)
基金
河南省自然科学基金
河南省教委自然科学基金
关键词
数据库
递归查询
右线性递归变换
广义查询
Deductive database
recursive query
generalized right-linear reeursion
