HORN CLAUSES AND DATABASE DEPENDENCIES

被引：183

作者：

FAGIN, R

机构：

来源：

关键词：

D O I：

10.1145/322344.322347

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：952 / 985

页数：34

共 59 条

[1]

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

[2]

Amir Vardi MD, COMMUNICATION

[3]

Armstrong W., 1974, INFORM PROCESSING, P580

[4]

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

[5]

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

[6]

BEERI C, 1977, P INT ACM SIGMOD C M, P17

[7]

BEERI C, UNPUB J ACM

[8]

BEERI C, 1979, COMMUNICATION

[9]

BEERI C, 1981, FORMAL SYSTEMS TUPLE

[10]

BEERI C, 1980, PROOF PROCEDURE DATA