PLDB
Languages Features Calendar CSV Lists Blog About Sponsor Add Language
GitHub icon

Datalog

Datalog

Datalog is a pl created in 1977.

#330on PLDB 45Years Old 820Users
3Books 36Papers

Datalog is a declarative logic programming language that syntactically is a subset of Prolog. It is often used as a query language for deductive databases. In recent years, Datalog has found new application in data integration, information extraction, networking, program analysis, security, and cloud computing. Read more on Wikipedia...


Example from the web:
parent(john, douglas). % store some data parent(john, douglas)? % run a query
Example from Wikipedia:
ancestor(X,Y) :- parent(X,Y). ancestor(X,Y) :- parent(X,Z),ancestor(Z,Y).

Language features

Feature Supported Example Token
Comments
% A comment
Line Comments
% A comment
%
Semantic Indentation ϴ

Books about Datalog from ISBNdb

title authors year publisher
Datalog 2 R. Porkess 1985 Cygnus
Datalog and Logic Databases Sergio Greco; Cristian Molinaro 20151113 Springer Nature
Datalog and Logic Databases Sergio Greco; Cristian Molinaro 20151101 Morgan & Claypool Publishers

Publications about Datalog from Semantic Scholar

title authors year citations influentialCitations
What you Always Wanted to Know About Datalog (And Never Dared to Ask) S. Ceri and G. Gottlob and L. Tanca 1989 659 70
Disjunctive datalog Thomas Eiter and G. Gottlob and H. Mannila 1997 517 36
codeQuest: Scalable Source Code Queries with Datalog Elnar Hajiyev and M. Verbaere and O. Moor 2006 211 10
Dedalus: Datalog in Time and Space P. Alvaro and William R. Marczak and Neil Conway and J. Hellerstein and D. Maier and R. Sears 2010 138 15
SociaLite: Datalog extensions for efficient social network analysis Jiwon Seo and Stephen Guo and M. Lam 2013 101 16
Workflow, transactions and datalog A. Bonner 1999 77 10
From Datalog to flix: a declarative language for fixed points on lattices Magnus Madsen and Ming-Ho Yee and O. Lhoták 2016 72 11
The Disjunctive Datalog System DLV Mario Alviano and Wolfgang Faber and N. Leone and S. Perri and G. Pfeifer and G. Terracina 2010 69 4
Dyna: Extending Datalog for Modern AI Jason Eisner and N. Filardo 2010 61 1
CodeQuest: querying source code with datalog Elnar Hajiyev and M. Verbaere and O. Moor and K. Volder 2005 39 4
Functional description of geoprocessing services as conjunctive datalog queries D. Fitzner and J. Hoffmann and E. Klien 2011 34 5
SociaLite: An Efficient Graph Query Language Based on Datalog Jiwon Seo and Stephen Guo and M. Lam 2015 34 3
A Theoretical Framework for the Declarative Debugging of Datalog Programs R. Caballero and Y. García-Ruiz and F. Sáenz-Pérez 2008 33 0
Synthesizing Datalog Programs Using Numerical Relaxation X. Si and Mukund Raghothaman and K. Heo and M. Naik 2019 32 2
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues Mario Alviano and Wolfgang Faber and N. Leone and M. Manna 2012 30 5
Datafun: a functional Datalog Michael Arntzenius and N. Krishnaswami 2016 22 2
Datalog and Logic Databases S. Greco and Cristian Molinaro 2015 20 1
Datalog in Academia and Industry P. Barceló and R. Pichler 2012 10 1
Fixpoints for the masses: programming with first-class Datalog constraints Magnus Madsen and O. Lhoták 2020 8 0
Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method Stefan Brass and H. Stephan 2017 7 0
Stratified Negation in Limit Datalog Programs M. Kaminski and B. C. Grau and Egor V. Kostylev and B. Motik and I. Horrocks 2018 7 0
A Fuzzy Datalog Deductive Database System Pascual Julián-Iranzo and F. Sáenz-Pérez 2018 7 0
Generative Datalog with Continuous Distributions Martin Grohe and Benjamin Lucien Kaminski and J. Katoen and P. Lindner 2020 7 0
Formulog: Datalog for SMT-based static analysis Aaron Bembenek and M. Greenberg and Stephen Chong 2020 7 1
Debugging of wrong and missing answers for datalog programs with constraint handling rules R. Caballero and Y. García-Ruiz and F. Sáenz-Pérez 2015 6 0
Declarative Programming for Microcontrollers - Datalog on Arduino Mario Wenzel and Stefan Brass 2019 6 0
SolverBlox: algebraic modeling in datalog Conrado Borraz-Sánchez and D. Klabjan and E. Pasalic and M. Aref 2018 5 0
Datalog as a pointcut language in aspect-oriented programming Elnar Hajiyev and Neil Ongkingco and Pavel Avgustinov and O. Moor and D. Sereni and J. Tibble and M. Verbaere 2006 4 0
Precise complexity guarantees for pointer analysis via Datalog with extensions* K. T. Tekle and Yanhong A. Liu 2016 3 0
From Datalog to flix: a declarative language for fixed points on lattices MadsenMagnus and YeeMing-Ho and LhotákOndřej 2016 3 0
DatalogRA: datalog with recursive aggregation in the spark RDD model Marek Rogala and J. Hidders and J. Sroka 2016 2 0
A process framework for inducing and explaining Datalog theories Mark Gromowski and M. Siebers and Ute Schmid 2021 2 0
Extending Datalog Intelligence B. Kimelfeld 2015 1 0
Informing Datalog through Language Intelligence - A Personal Perspective V. Dahl 2010 1 0
A Counterexample-Guided Debugger for Non-recursive Datalog Van-Dang Tran and H. Kato and Zhenjiang Hu 2020 1 0
Integrity Constraints for Microcontroller Programming in Datalog Stefan Brass and Mario Wenzel 2021 1 0
punched-tape.html · datalog.html · spark.html

View source

PLDB - Build the next great programming language · v2022 · Day 31 · Docs · Build · Acknowledgements · Traffic Today · Traffic Trends · Mirrors · GitHub · feedback@pldb.com