TESTING CONTAINMENT OF CONJUNCTIVE QUERIES UNDER FUNCTIONAL AND INCLUSION DEPENDENCIES

被引:151
作者
JOHNSON, DS [1 ]
KLUG, A [1 ]
机构
[1] UNIV WISCONSIN,MADISON,WI 53706
关键词
D O I
10.1016/0022-0000(84)90081-3
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:167 / 189
页数:23
相关论文
共 15 条
[1]  
Aho A. V., 1979, ACM Transactions on Database Systems, V4, P435, DOI 10.1145/320107.320112
[2]   EQUIVALENCES AMONG RELATIONAL EXPRESSIONS [J].
AHO, AV ;
SAGIV, Y ;
ULLMAN, JD .
SIAM JOURNAL ON COMPUTING, 1979, 8 (02) :218-246
[3]  
CASANOVA MA, J COMPUT SYSTEM SCI
[4]  
Chandra A., 1981, 13TH P ACM ANN S THE, P342
[5]  
Chandra A.K., 1977, P 9 ANN ACM S THEOR, P77
[6]  
Codd E. F., 1979, ACM Transactions on Database Systems, V4, P397, DOI 10.1145/320107.320109
[7]  
CODD EF, 1970, COMMUN ACM, V13, P377, DOI [10.1145/362384.362685, 10.1145/357980.358007]
[8]   A NORMAL-FORM FOR RELATIONAL DATABASES THAT IS BASED ON DOMAINS AND KEYS [J].
FAGIN, R .
ACM TRANSACTIONS ON DATABASE SYSTEMS, 1981, 6 (03) :387-415
[9]   OPTIMIZING CONJUNCTIVE QUERIES THAT CONTAIN UNTYPED VARIABLES [J].
JOHNSON, DS ;
KLUG, A .
SIAM JOURNAL ON COMPUTING, 1983, 12 (04) :616-640
[10]  
KLUG A, 1980, ENTITY RELATIONSHIP, P35