ON COMPILING QUERIES IN RECURSIVE 1ST-ORDER DATABASES

被引：83

|

作者：

HENSCHEN, LJ ^{[1
]}

NAQVI, SA ^{[1
]}

机构：

[1] BELL TEL LABS INC,MURRAY HILL,NJ 07974

来源：

JOURNAL OF THE ACM | 1984年 / 31卷 / 01期

关键词：

D O I：

10.1145/2422.2423

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：47 / 85

页数：39

相关论文

共 50 条

[1] ON COMPILING QUERIES IN RECURSIVE FIRST-ORDER DATABASES.
Henschen, Lawrence J.
Naqvi, Shamim A.
1600, (31):
[2] 1ST-ORDER THEORY OF DEGREES OF RECURSIVE UNSOLVABILITY
SIMPSON, SG
ANNALS OF MATHEMATICS, 1977, 105 (01) : 121 - 139
[3] A 1ST-ORDER LOGIC FOR PARTIAL RECURSIVE FUNCTIONS
GAVILANESFRANCO, A
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 452 : 277 - 284
[4] EQUALITY AND DOMAIN CLOSURE IN 1ST-ORDER DATABASES
REITER, R
JOURNAL OF THE ACM, 1980, 27 (02) : 235 - 249
[5] COMPILING TECHNIQUES FOR 1ST-ORDER LINEAR RECURRENCES ON A VECTOR COMPUTER
TANAKA, Y
IWASAWA, K
UMETANI, Y
GOTOU, S
JOURNAL OF SUPERCOMPUTING, 1990, 4 (01): : 63 - 82
[6] TOWARDS THE DEFINITION OF 1ST-ORDER LANGUAGE FOR RELATIONAL DATABASES
CHENKELI, TI
NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1981, (05): : 16 - 22
[7] ANALYSIS OF A 1ST-ORDER COMPLEX RECURSIVE LMS ADAPTIVE PREDICTOR
BERSHAD, NJ
IEE PROCEEDINGS-F RADAR AND SIGNAL PROCESSING, 1991, 138 (04) : 321 - 330
[8] Recursive queries in product databases
ter Bekke, JH
Bakker, JA
FLEXIBLE QUERY ANSWERING SYSTEMS, PROCEEDINGS, 2002, 2522 : 44 - 55
[9] 1ST-ORDER SOURCES IN 1ST-ORDER SYSTEMS - 2ND-ORDER CORRELATIONS
KAUDERER, M
APPLIED OPTICS, 1991, 30 (09): : 1025 - 1035
[10] 1ST-ORDER INFLATION
KOLB, EW
PHYSICA SCRIPTA, 1991, T36 : 199 - 217

← 1 2 3 4 5 →