Practical Reformulation of Deductive Databases

2019 IEEE Second International Conference on Artificial Intelligence and Knowledge Engineering (AIKE) ◽

10.1109/aike.2019.00020 ◽

2019 ◽

Author(s):

Michael Genesereth ◽

Abhijeet Mohapatra

Keyword(s):

Deductive Databases

Download Full-text

Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases

Computing and Informatics ◽

10.31577/cai_2019_1_19 ◽

2019 ◽

Vol 38 (1) ◽

pp. 19-56

Author(s):

Son Thanh Cao ◽

Linh Anh Nguyen

Keyword(s):

Deductive Databases

Download Full-text

Book review: Deductive Databases and Logic Programming

Computing & Control Engineering Journal ◽

10.1049/cce:19930045 ◽

1993 ◽

Vol 4 (4) ◽

pp. 192

Author(s):

W.J. Cullyer

Keyword(s):

Logic Programming ◽

Deductive Databases

Download Full-text

Optimizing existential queries in stratifiable deductive databases

Proceedings of the 2005 ACM symposium on Applied computing - SAC '05 ◽

10.1145/1066677.1066821 ◽

2005 ◽

Author(s):

Andreas Behrend

Keyword(s):

Deductive Databases

Download Full-text

Answering atomic queries in indefinite deductive databases

International Journal of Intelligent Systems ◽

10.1002/int.4550040402 ◽

1989 ◽

Vol 4 (4) ◽

pp. 403-429 ◽

Author(s):

Eliezer L. Lozinskii

Keyword(s):

Deductive Databases

Download Full-text

A path finding method for constraint checking in deductive databases

Data & Knowledge Engineering ◽

10.1016/0169-023x(89)90021-9 ◽

1989 ◽

Vol 4 (3) ◽

pp. 223-244 ◽

Author(s):

Subrata K. Das ◽

M. Howard Williams

Keyword(s):

Deductive Databases ◽

Path Finding ◽

Constraint Checking ◽

Download Full-text

Computing Only Minimal Answers in Disjunctive Deductive Databases

Journal of Automated Reasoning ◽

10.1007/s10817-008-9106-5 ◽

2008 ◽

Vol 42 (1) ◽

pp. 35-76

Author(s):

C. A. Johnson

Keyword(s):

Deductive Databases ◽

Disjunctive Deductive Databases

Download Full-text

Paraconsistent disjunctive deductive databases

Proceedings of the Twentieth International Symposium on Multiple-Valued Logic ◽

10.1109/ismvl.1990.122644 ◽

2002 ◽

Author(s):

V.S. Subrahmanian

Keyword(s):

Deductive Databases ◽

Disjunctive Deductive Databases

Download Full-text

Computing a Deterministic Semantics for P2P Deductive Databases

Proceedings of the 21st International Database Engineering & Applications Symposium on - IDEAS 2017 ◽

10.1145/3105831.3105837 ◽

2017 ◽

Author(s):

Luciano Caroprese ◽

Ester Zumpano

Keyword(s):

Deductive Databases

Download Full-text

An efficient indefiniteness inference scheme in indefinite deductive databases

IEEE Transactions on Knowledge and Data Engineering ◽

10.1109/69.317702 ◽

1994 ◽

Vol 6 (5) ◽

pp. 713-722 ◽

Author(s):

C.S. Ku ◽

H.D. Kim ◽

L.J. Henschen

Keyword(s):

Deductive Databases

Download Full-text

Deductive databases in action

Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '91 ◽

10.1145/113413.113426 ◽

1991 ◽

Author(s):

Shalom Tsur

Keyword(s):

Deductive Databases

Download Full-text