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 条
  • [51] VARDI MY, 1980, THESIS WEIZMANN I SC
  • [52] VARDI MY, UNPUB INFERRING MULT
  • [53] VARDI MY, 1981, THESIS HEBREW U JERU
  • [54] YANNAKAKIS M, 1982, J COMPUT SYST SCI, V21, P2
  • [55] Zaniolo C., 1976, UCLAENG7769 DEP COMP
123456