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 条

[1] THE SEMANTICS OF DISJUNCTIVE DEDUCTIVE DATABASES
VOLGER, H
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 440 : 409 - 421
[2] SEMANTICS OF DISJUNCTIVE DEDUCTIVE DATABASES
FERNANDEZ, JA
MINKER, J
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 646 : 21 - 50
[3] PARACONSISTENT DISJUNCTIVE DEDUCTIVE DATABASES
SUBRAHMANIAN, VS
[J]. THEORETICAL COMPUTER SCIENCE, 1992, 93 (01) : 115 - 141
[4] Clausal deductive databases and a general framework for semantics in disjunctive deductive databases
Seipel, D
[J]. FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, 2000, 1762 : 241 - 259
[5] Using clausal deductive databases for defining semantics in disjunctive deductive databases
Seipel, D
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2001, 33 (2-4) : 347 - 378
[6] Using clausal deductive databases for defining semantics in disjunctive deductive databases
Dietmar Seipel
[J]. Annals of Mathematics and Artificial Intelligence, 2001, 33 : 347 - 378
[7] On the partial semantics for disjunctive deductive databases
Thomas Eiter
Nicola Leone
Domenico Saccà
[J]. Annals of Mathematics and Artificial Intelligence, 1997, 19 : 59 - 96
[8] THEORY AND ALGORITHMS FOR DISJUNCTIVE DEDUCTIVE DATABASES
FERNANDEZ, JA
MINKER, J
[J]. PROGRAMMING AND COMPUTER SOFTWARE, 1993, 19 (03) : 85 - 111
[9] On the partial semantics for disjunctive deductive databases
Eiter, T
Leone, N
Sacca, D
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1997, 19 (1-2) : 59 - 96
[10] Cardinality constraints in disjunctive deductive databases
Seipel, D
Geske, U
[J]. SEMANTICS IN DATABASES, 2003, 2582 : 179 - 199

← 1 2 3 4 5 →