LOGIC AND DATABASES - A CRITIQUE

被引：0

作者：

HAREL, D ^{[1
]}

机构：

[1] WEIZMANN INST SCI,DEPT APPL MATH & COMP SCI,IL-76100 REHOVOT,ISRAEL

来源：

SIGPLAN NOTICES | 1987年 / 22卷 / 03期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：14 / 20

页数：7

共 50 条

[1] LOGIC AND DATABASES
EDER, J
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 617 : 95 - 103
[2] The logic of critique
Irandoust H.
[J]. Argumentation, 2006, 20 (2) : 133 - 148
[3] LOGIC AND DATABASES - AN ASSESSMENT
GALLAIRE, H
NICOLAS, JM
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 470 : 177 - 186
[4] LOGIC AND DATABASES - A RESPONSE
GALLAIRE, H
MINKER, J
NICOLAS, JM
[J]. SIGPLAN NOTICES, 1987, 22 (06): : 20 - 24
[5] Linear logic for deductive databases
Dong-Tsan Lee
C. P. Tsang
[J]. New Generation Computing, 1999, 17 : 201 - 228
[6] A logic framework for the integration of databases
Greco, G
Greco, S
Zumpano, E
[J]. FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2002, 2366 : 274 - 284
[7] INCOMPLETE TYPES FOR LOGIC DATABASES
DAHL, V
[J]. APPLIED MATHEMATICS LETTERS, 1991, 4 (03) : 25 - 28
[8] The Description Logic for Relational Databases
Ma Yue
Shen Yuming
Sui Yuefei
Cao Cungen
[J]. INTELLIGENT INFORMATION PROCESSING V, 2010, 340 : 64 - 71
[9] THE IMPACT OF LOGIC PROGRAMMING ON DATABASES
GRANT, J
MINKER, J
[J]. COMMUNICATIONS OF THE ACM, 1992, 35 (03) : 66 - 81
[10] Linear logic for deductive databases
Lee, DT
Tsang, CP
[J]. NEW GENERATION COMPUTING, 1999, 17 (02) : 201 - 228