DISJUNCTIVE DEDUCTIVE DATABASES

被引：0

作者：

FERNANDEZ, JA ^{[1
]}

MINKER, J ^{[1
]}

机构：

[1] UNIV MARYLAND, INST ADV COMP STUDIES, College Pk, MD 20742 USA

来源：

LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1992年 / 624卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Background material is presented on deductive and normal deductive databases. A historical review is presented of work in disjunctive deductive databases, starting from 1982. The semantics of alternative classes of disjunctive databases is reviewed with their model and fixpoint characterizations. Algorithms are developed to compute answers to queries in the alternative theories using the concept of a model tree. Open problems in this area are discussed.

引用

下载

页码：332 / 356

页数：25

共 50 条

[31] Duality for goal-driven query processing in disjunctive deductive databases
Yahya, AH
JOURNAL OF AUTOMATED REASONING, 2002, 28 (01) : 1 - 34
[32] Generalized query answering in disjunctive deductive databases: Procedural and nonmonotonic aspects
Yahya, AH
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 324 - 340
[33] A model-forest based horizontal fragmentation approach for disjunctive deductive databases
Seetharaman, A
Ng, YK
IDEAS 98 - INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 1998, : 202 - 211
[34] A minimal-model based horizontal fragmentation algorithm for disjunctive deductive databases
Seetharaman, A
Ng, YK
IDEAS '97 - INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 1997, : 94 - 103
[35] Minimal model generation for refined answering of generalized queries in disjunctive deductive databases
Yahya, AH
DATA & KNOWLEDGE ENGINEERING, 2000, 34 (03) : 219 - 249
[36] Theory and algorithms of disjunctive deductive database
Fernandes, Kh.A.
Minker, Dz.
Programmirovanie, 1993, (03): : 5 - 39
[37] Novelty in deductive databases
Gregoire, E
Marquis, P
JOURNAL OF LOGIC AND COMPUTATION, 1996, 6 (05) : 683 - 708
[38] Novelty in deductive databases
Gregoire, E.
Marquis, P.
1996, (06)
[39] On temporal deductive databases
Macquarie Univ, Sydney
Comput Intell, 2 (235-259):
[40] NONDETERMINISM IN DEDUCTIVE DATABASES
GIANNOTTI, F
PEDRESCHI, D
SACCA, D
ZANIOLO, C
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 566 : 129 - 146

← 1 2 3 4 5 →