FORMAL SYSTEMS FOR TUPLE AND EQUALITY GENERATING DEPENDENCIES

被引：47

作者：

BEERI, C

VARDI, MY

机构：

来源：

关键词：

D O I：

10.1137/0213006

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：76 / 98

页数：23

共 49 条

[1]

Aho A. V., 1979, ACM Transactions on Database Systems, V4, P297, DOI 10.1145/320083.320091

[2] EQUIVALENCES AMONG RELATIONAL EXPRESSIONS [J].

AHO, AV ;

SAGIV, Y ;

ULLMAN, JD .

[3]

[Anonymous], SYMBOLIC LOGIC MECHA

[4]

ARMSTRONG WW, 1974, P IFIP, V74, P580

[5]

Beeri C., 1978, Proceedings of the Fourth International Conference on Very Large Data Bases, P113

[6]

Beeri C., 1979, ACM Transactions on Database Systems, V4, P30, DOI 10.1145/320064.320066

[7]

Beeri C., 1980, ACM Transactions on Database Systems, V5, P241, DOI 10.1145/320613.320614

[8]

Beeri C., 1977, P ACM SIGMOD INT C M, P47

[9]

BEERI C, 1981, ADV DATABASE THEORY, P25

[10]

Beeri C., 1980, COMPLEXITY TESTING I