Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arni, F., Ong, K., Tsur, S., Wang, H., Zaniolo, C.: The Deductive Database System LDL++. TPLP 3(1), 61–94 (2003)
Becker, M., Fournet, C., Gordon, A.: Design and Semantics of a Decentralized Authorization Language. In: CSF 2007: Proceedings of the 20th IEEE Computer Security Foundations Symposium, pp. 3–15. IEEE, Washington, DC, USA (2007)
Caballero, R., García-Ruiz, Y., Sáenz-Pérez, F.: A Theoretical Framework for the Declarative Debugging of Datalog Programs. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2008. LNCS, vol. 4925, pp. 143–159. Springer, Heidelberg (2008)
Caballero, R., García-Ruiz, Y., Sáenz-Pérez, F.: Algorithmic Debugging of SQL Views. In: Ershov Informatics Conference (PSI 2011). Springer, Heidelberg (2011)
Calì, A., Gottlob, G., Lukasiewicz, T.: Datalog±: a unified approach to ontologies and integrity constraints. In: ICDT 2009: Proceedings of the 12th International Conference on Database Theory, pp. 14–30. ACM, New York (2009)
Dietrich, S.W.: Extension tables: Memo relations in logic programming. In: IEEE Symp. on Logic Programming, pp. 264–272 (1987)
Fikes, R., Hayes, P.J., Horrocks, I.: OWL-QL - a language for deductive query answering on the Semantic Web. J. Web Sem. 2(1), 19–29 (2004)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP/SLP, pp. 1070–1080. MIT Press (1988)
Greco, S., Trubitsyna, I., Zumpano, E.: NP Datalog: A Logic Language for NP Search and Optimization Queries. In: International Database Engineering and Applications Symposium, pp. 344–353 (2005)
ISO/IEC. ISO/IEC 132111-2: Prolog Standard (2000)
ISO/IEC. SQL:2008 9075(1-4,9-11,13,14) Standard (2008)
Jarke, M., Jeusfeld, M.A., Quix, C. (eds.): ConceptBase V7.1 User Manual. Technical report, RWTH Aachen (April 2008)
Lam, M.S., Whaley, J., Livshits, V.B., Martin, M.C., Avots, D., Carbin, M., Unkel, C.: Context-sensitive program analysis as database queries. In: Li, C. (ed.) Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pp. 1–12. ACM (2005)
Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Tran. on Computational Logic 7(3), 499–562 (2006)
Ramalingam, G., Visser, E. (eds.): Proceedings of the Workshop on Partial Evaluation and Semantics-based Program Manipulation. ACM (2007)
Ronen, R., Shmueli, O.: Evaluating very large Datalog queries on social networks. In: EDBT 2009: Proceedings of the 12th International Conference on Extending Database Technology, pp. 577–587. ACM, New York (2009)
Sáenz-Pérez, F.: ACIDE: An Integrated Development Environment Configurable for LaTeX. The PracTeX Journal 3 (2007)
Sáenz-Pérez, F.: Outer joins in a deductive database system. In: XI Jornadas sobre Programación y Lenguajes, PROLE, pp. 126–140 (2011)
Sagonas, K., Swift, T., Warren, D.S.: XSB as an efficient deductive database engine. In: SIGMOD 1994: Proc. of the 1994 ACM SIGMOD International Conference on Management of Data, pp. 442–453. ACM, New York (1994)
Ullman, J.D.: Database and Knowledge-Base Systems, vol. I (Classical Database Systems) and II (The New Technologies). Computer Science Press (1988)
Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 619–649 (1991)
Zaniolo, C., Ceri, S., Faloutsos, C., Snodgrass, R.T., Subrahmanian, V.S., Zicari, R.: Advanced Database Systems. Morgan Kaufmann (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sáenz-Pérez, F., Caballero, R., García-Ruiz, Y. (2011). A Deductive Database with Datalog and SQL Query Languages. In: Yang, H. (eds) Programming Languages and Systems. APLAS 2011. Lecture Notes in Computer Science, vol 7078. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25318-8_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-25318-8_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25317-1
Online ISBN: 978-3-642-25318-8
eBook Packages: Computer ScienceComputer Science (R0)