IMPLEMENTATION OF LOGICAL QUERY LANGUAGES FOR DATABASES

被引:105
作者
ULLMAN, JD
机构
来源
ACM TRANSACTIONS ON DATABASE SYSTEMS | 1985年 / 10卷 / 03期
关键词
D O I
10.1145/3979.3980
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:289 / 321
页数:33
相关论文
共 20 条
[1]  
Aho Alfred V., 1979, 6TH P ACM S PRINC PR, P110
[2]  
[Anonymous], 1982, PRINCIPLES DATABASE
[3]  
CHANDRA AK, 1982, P PODS 82, P158
[4]  
CHANG CL, 1979, FORMAL BASES DATA BA
[5]  
Clark K. L., 1978, Logic and data bases, P293
[6]  
GALLAIRE H, 1978, LOGIC DATABASES
[7]  
GENESERETH MR, 1983, HPP8328 STANF U DEP
[8]   ON COMPILING QUERIES IN RECURSIVE 1ST-ORDER DATABASES [J].
HENSCHEN, LJ ;
NAQVI, SA .
JOURNAL OF THE ACM, 1984, 31 (01) :47-85
[9]   PROOF PROCEDURE USING CONNECTION GRAPHS [J].
KOWALSKI, R .
JOURNAL OF THE ACM, 1975, 22 (04) :572-595
[10]  
NAISH L, 1983, TR836 U MELB DEP COM