HORN CLAUSES AND DATABASE DEPENDENCIES

被引：181

作者：

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