On the unification of active databases and deductive databases

Lecture Notes in Computer Science - Advances in Databases ◽

10.1007/3-540-56921-9_2 ◽

1993 ◽

pp. 23-39 ◽

Author(s):

Carlo Zaniolo

Keyword(s):

Deductive Databases ◽

Active 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

Deductive and Active Databases

Parallel, Object-Oriented, and Active Knowledge Base Systems ◽

10.1007/978-1-4757-6134-4_2 ◽

1998 ◽

pp. 13-25

Author(s):

Ioannis Vlahavas ◽

Nick Bassiliades

Keyword(s):

Active 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