A PROOF PROCEDURE FOR DATA DEPENDENCIES

被引：198

作者：

BEERI, C

VARDI, MY

机构：

来源：

关键词：

D O I：

10.1145/1634.1636

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：718 / 741

页数：24

共 55 条

[1]

ABITEBOUL S, UNPUB FORMAL SYSTEMS

[2]

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

[3] EQUIVALENCES AMONG RELATIONAL EXPRESSIONS [J].

AHO, AV ;

SAGIV, Y ;

ULLMAN, JD .

[4]

[Anonymous], SYMBOLIC LOGIC MECHA

[5]

Armstrong W. W., 1980, ACM Transactions on Database Systems, V5, P404, DOI 10.1145/320610.320620

[6]

ARMSTRONG WW, 1974, P IFIP C, P580

[7] FORMAL SYSTEMS FOR TUPLE AND EQUALITY GENERATING DEPENDENCIES [J].

BEERI, C ;

VARDI, MY .

[8]

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

[9]

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

[10]

BEERI C, 1978, 4TH P VLDB, P113