Synonyms
Deductive databases
Definition
An important limitation of relational calculus/algebra is that it cannot express queries involving “paths” through an instance, such as taking the transitive closure over a binary relation. Datalog extends conjunctive queries with recursion to support such queries. A Datalog program consists of a set of rules, each of which is a conjunctive query. Recursion is introduced by allowing the same relational symbols in both the heads and the bodies of the rules. A surprising and elegant property of Datalog is that there are three very different but equivalent approaches to define its semantics, namely, the model-theoretic, proof-theoretic, and fixpoint approaches. Datalog inherits these properties from logic programming and its standard language Prolog. The main restriction that distinguishes Datalog from Prolog is that function symbols are not allowed.
Several techniques have been proposed for the efficient evaluation of Datalog programs. They are...
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Recommended Reading
Abiteboul S, Hull R, Vianu V. Foundations of databases. Reading: Addison-Wesley; 1995.
Bidoit N. Bases de Données Déductives: Présentation de Datalog. Armand Colin; 1992.
Ullman JD. Principles of database and knowledge-base systems, vol. I. Reading: Addison-Wesley; 1989.
Ramakrishnan R, Gehrke J. Database management systems. 3rd ed. New York: McGraw-Hill; 2003.
Lenzerini M. Tutorial – data integration: a theoretical perspective. In: Proceedings of the 21st ACM SIGACT-SIGMOD-SIGART Symposium on principles of Database Systems; 2002.
Duschka O, Genesereth M, Levy A. Recursive query plans for data integration. J Log Program. 2000;43(1):49–73.
Popa L, Velegrakis Y, Miller RJ, Hernández MA, Fagin R. Translating web data. In: Proceedings of the 28th International Conference on Very Large Data Bases; 2002.
Green TJ, Karvounarakis G, Ives ZG, Tannen V. Update exchange with mappings and provenance. In: Proceedings of the 33rd International Conference on Very Large Data Bases; 2007.
Loo B.T., Condie T., Garofalakis M.N., Gay D.E., Hellerstein J.M., Maniatis P., Ramakrishnan R., Roscoe T., Stoica I. Declarative networking: language, execution and optimization. In: Proceedings of the ACM SIGMOD International Conference on Management of Data; 2006. p. 97–108.
Green TJ, Aref M, Karvounarakis G. LogicBlox platform and language: a tutorial. In: Datalog 2.0 workshop. Vienna; 2012.
LogicBlox. http://www.logicblox.com/technology.html
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2018 Springer Science+Business Media, LLC, part of Springer Nature
About this entry
Cite this entry
Karvounarakis, G. (2018). Datalog. In: Liu, L., Özsu, M.T. (eds) Encyclopedia of Database Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-8265-9_968
Download citation
DOI: https://doi.org/10.1007/978-1-4614-8265-9_968
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-8266-6
Online ISBN: 978-1-4614-8265-9
eBook Packages: Computer ScienceReference Module Computer Science and Engineering