Faiz Arni, KayLiang Ong, Shalom Tsur, Haixun Wang & Carlo Zaniolo (2003):
The Deductive Database System LDL++.
TPLP 3(1),
pp. 61–94,
doi:10.1017/S1471068402001515.
Anthony J. Bonner & Michael Kifer (1994):
An Overview of Transaction Logic.
Theoretical Computer Science 133,
doi:10.1016/0304-3975(94)90190-2.
Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza & Manuel V. Hermenegildo (2004):
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations).
In: Bharat Jayaraman: PADL,
LNCS 3057,
pp. 104–119,
doi:10.1007/978-3-540-24836-1_8.
Suzanne W. Dietrich (1987):
Extension Tables: Memo Relations in Logic Programming.
In: IEEE Symp. on Logic Programming,
pp. 264–272.
Cristoph Draxler (1992):
A Powerful Prolog to SQL Compiler.
CIS-Bericht-.
Univ. München, Centrum für Informations-und Spracverarbeitung.
Michel Ferreira & Ricardo Rocha (2004):
The MyYapDB Deductive Database System.
In: JELIA,
pp. 710–713,
doi:10.1007/978-3-540-30227-8_63.
Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin & Christopher Unkel (2005):
Context-sensitive program analysis as database queries.
In: PODS,
pp. 1–12,
doi:10.1145/1065167.1065169.
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri & Francesco Scarcello (2006):
The DLV system for knowledge representation and reasoning.
ACM Transactions on Computational Logic 7(3),
pp. 499–562,
doi:10.1145/1149114.1149117.
Ilkka Niemelä, Patrik Simons & Tommi Syrjänen (2000):
Smodels: A System for Answer Set Programming.
In: Proc. of the 8th Intl. Workshop on Non-Monotonic Reasoning.
Available at http://arxiv.org/abs/cs.AI/0003033.
Fernando Sáenz-Pérez (2013):
Implementing Tabled Hypothetical Datalog.
In: Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, ICTAI'13,
doi:10.1109/ICTAI.2013.94.
Fernando Sáenz-Pérez (2013):
Tabling with Support for Relational Features in a Deductive Database.
Electronic Communications of the EASST 55,
pp. 1 – 16.
Available at http://journal.ub.tu-berlin.de/eceasst/article/view/819.
Fernando Sáenz-Pérez, Rafael Caballero & Yolanda García-Ruiz (2011):
A Deductive Database with Datalog and SQL Query Languages.
In: Hongseok Yang: APLAS,
LNCS 7078.
Springer,
pp. 66–73,
doi:10.1007/978-3-642-25318-8_8.
C.-F. Shih & Suzanne W. Dietrich (1991):
Extension Table Evaluation of Datalog Programs with Negation.
In: Proc. of the IEEE International Phoenix Conference on Computers and Communications AZ.
Scottsdale,
pp. 792–798,
doi:10.1109/PCCC.1991.113896.
Avi Silberschatz, Henry F. Korth & S. Sudarshan (2010):
Database System Concepts (Sixth Edition).
McGraw-Hill New York.
Terrance Swift & David Scott Warren (2012):
XSB: Extending Prolog with Tabled Logic Programming.
TPLP 12(1-2),
pp. 157–187,
doi:10.1017/S1471068411000500.
Hisao Tamaki & Taisuke Sato (1986):
OLDT Resolution with Tabulation.
In: Third International Conference on Logic Programming,
pp. 84–98,
doi:10.1007/3-540-16492-8_66.
Giorgio Terracina, Nicola Leone, Vincenzino Lio & Claudio Panetta (2008):
Experimenting with recursive queries in database and logic programming systems.
Theory and Practice of Logic Programming 8(2),
pp. 129–165,
doi:10.1017/S1471068407003158.
Jeffrey D. Ullman (1988):
Database and Knowledge-Base Systems, Vols. I (Classical Database Systems) and II (The New Technologies).
Computer Science Press.
Hugh J. Watson & Barbara H. Wixom (2007):
The Current State of Business Intelligence.
Computer 40(9),
pp. 96–99,
doi:10.1109/MC.2007.331.
eptcs@eptcs.org