A PROOF PROCEDURE FOR DATA DEPENDENCIES

被引：195
作者：
BEERI, C
VARDI, MY
机构：
来源：
JOURNAL OF THE ACM | 1984年 / 31卷 / 04期
关键词：
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
    AHO, AV
    SAGIV, Y
    ULLMAN, JD
    [J]. SIAM JOURNAL ON COMPUTING, 1979, 8 (02) : 218 - 246
  • [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
    BEERI, C
    VARDI, MY
    [J]. SIAM JOURNAL ON COMPUTING, 1984, 13 (01) : 76 - 98
  • [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
123456