Selection propagation in deductive databases from pushing selections to magic sets

Data & Knowledge Engineering ◽

10.1016/0169-023x(90)90018-9 ◽

1990 ◽

Vol 5 (4) ◽

pp. 313-332 ◽

Author(s):

Nobuyoshi Miyazaki

Keyword(s):

Deductive Databases ◽

Download Full-text

Query optimization in deductive databases by magic-sets transformation.

Journal of Computer Science and Cybernetics ◽

10.15625/1813-9663/19/3/1530 ◽

2012 ◽

Vol 19 (3) ◽

Author(s):

Lê Mạnh Thạnh ◽

Trương Công Tuấn

Keyword(s):

Query Optimization ◽

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

Magic sets for polynomials of degree n

Linear Algebra and its Applications ◽

10.1016/j.laa.2020.09.026 ◽

2021 ◽

Vol 609 ◽

pp. 413-441

Author(s):

Lorenz Halbeisen ◽

Norbert Hungerbühler ◽

Salome Schumacher

Keyword(s):

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