A Deductive Database with Datalog and SQL Query Languages

This paper introduces Datalog Educational System (DES), a deductive database which supports both Datalog and SQL as query languages. Since its inception, this system is targeted to educational purposes rather to develop an efficient, competitive system with respect to other existing systems. As distinguishing features, it is free, open-source, multiplatform, interactive, portable, GUI-enabled, implemented following ISO-Prolog and supports extensions to pure Datalog in the form of stratified negation, strong constraints, types, metapredicates, and duplicates. Also, test case generation for SQL views and declarative debugging for Datalog programs and SQL views are supported. SQL statements, following ISO standard, are compiled to Datalog programs and solved by its inference engine. Nonetheless, ODBC connections are also supported, which enables access to external DBMSs and benefit from their solving performance, persistency and scalability.

[1]  Christos Faloutsos,et al.  Advanced Database Systems , 1997, Lecture Notes in Computer Science.

[2]  Rafael Caballero,et al.  A Theoretical Framework for the Declarative Debugging of Datalog Programs , 2008, SDKB.

[3]  Benjamin Livshits,et al.  Context-sensitive program analysis as database queries , 2005, PODS.

[4]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[5]  Fernando Sáenz-Pérez.  Outer Joins in a Deductive Database System , 2012, Electron. Notes Theor. Comput. Sci..

[6]  Carlo Zaniolo,et al.  The deductive database system [Lscr ][Dscr ][Lscr ]++ , 2002, Theory and Practice of Logic Programming.

[7]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.

[8]  Konstantinos Sagonas,et al.  XSB as an efficient deductive database engine , 1994, SIGMOD '94.

[9]  Sergio Greco,et al.  NP Datalog: a logic language for NP search and optimization queries , 2005, 9th International Database Engineering & Application Symposium (IDEAS'05).

[10]  Bernhard Thalheim,et al.  Semantics in Data and Knowledge Bases , 2008, SDKB.

[11]  Oded Shmueli,et al.  Evaluating very large datalog queries on social networks , 2009, EDBT '09.

[12]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[13]  Andrew D. Gordon,et al.  Design and Semantics of a Decentralized Authorization Language , 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).

[14]  Ian Horrocks,et al.  OWL-QL - a language for deductive query answering on the Semantic Web , 2004, J. Web Semant..

[15]  Georg Gottlob,et al.  Datalog±: a unified approach to ontologies and integrity constraints , 2009, ICDT '09.

[16]  Rafael Caballero,et al.  Algorithmic Debugging of SQL Views , 2011, Ershov Memorial Conference.

[17]  Suzanne W. Dietrich,et al.  Extension Tables: Memo Relations in Logic Programming , 1987, SLP.