Datalog Unchained

Summary: Reviews Datalog-like languages with procedural forward‑chaining semantics as an operational alternative to declarative Datalog. Argues this unified formalism captures fixpoint, while and all computable queries, naturally supports updates and nondeterminism, and underpins active DBs, production rules and distributed/reactive systems. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: hadda81e3a9dfaea4
Venue: PODS
Year: 2021
Pagerank: 6.2661323e-05
Overall Rank: 5,089 | 65.89%
DOI: 10.1145/3452021.3458815
PDF: Download (CC BY 4.0)

Incoming Non-self Citations Over Time

Authors

1. Victor Vianu (INRIA; University of California San Diego)

BibTeX Citation

@inproceedings{vianu_pods21,
        address = {New York, NY, USA},
        series = {{PODS} '21},
        title = {{Datalog Unchained}},
        url = {https://dl.acm.org/doi/10.1145/3452021.3458815},
        doi = {10.1145/3452021.3458815},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Vianu, Victor},
        year = {2021}
}

Incoming Citations (Sorted by Pagerank)

Showing 6 of 6 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
7,167	Optimizing Recursive Queries with Program Synthesis	2022	SIGMOD	5.5794956e-05
9,741	Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning	2022	VLDB	5.1184216e-05
10,368	Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers	2024	VLDB	5.0064651e-05
10,461	Recursive Querying of Neural Networks via Weighted Structures	2026	PODS	4.9605343e-05
11,707	The Vadalog Parallel System: Distributed Reasoning with Datalog+/-	2024	VLDB	4.9605343e-05
11,859	SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog	2023	VLDB	4.9605343e-05

Outgoing Citations (Sorted by Pagerank)

Showing 32 of 32 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
397	Worst-case Optimal Join Algorithms	2012	PODS	0.0001911958
467	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.00017740891
720	PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract)	1988	PODS	0.0001447659
1,014	Why Not Negation By Fixpoint?	1988	PODS	0.00012473729
1,155	The Lixto Data Extraction Project - Back and Forth between Theory and Practice	2004	PODS	0.00011759744
1,255	Consistency Analysis in Bloom: a CALM and Collected Approach	2011	CIDR	0.00011313104
1,338	The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract)	1989	PODS	0.00010967767
1,463	Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model	1989	PODS	0.00010547887
1,557	Unfounded Sets and Well-Founded Semantics for General Logic Programs	1988	PODS	0.00010228729
1,635	Relational Transducers for Declarative Networking	2011	PODS	9.9989545e-05
1,781	A Transaction Language Complete for Database Update and Specification	1987	PODS	9.657754e-05
2,015	Orchestra: Facilitating Collaborative Data Sharing	2007	SIGMOD	9.1743528e-05
2,238	Monadic Datalog and the Expressive Power of Languages for Web Information Extraction	2002	PODS	8.7761804e-05
2,467	Update Semantics for Incomplete Databases	1985	VLDB	8.4035566e-05
2,483	Diagnosis of Asynchronous Discrete Event Systems: Datalog to the Rescue!	2005	PODS	8.3820186e-05
2,624	Visual Web Information Extraction with Lixto	2001	VLDB	8.1951041e-05
2,644	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD	8.1655777e-05
3,399	Datalog Redux: Experience and Conjecture	2010	PODS	7.3264714e-05
3,808	Non-Deterministic Languages to Express Deterministic Transformations	1990	PODS	6.9901793e-05
4,587	The Vadalog System: Datalog-based Reasoning for Knowledge Graphs	2018	VLDB	6.505507e-05
4,780	The Relational Model Of Data And Cylindrical Algebras	1982	PODS	6.4068818e-05
4,977	Stable Models and Non-Determinism in Logic Programs with Negation	1990	PODS	6.3182174e-05
5,096	A Rule-based Language for Web Data Management	2011	PODS	6.2633137e-05
5,880	DIADEM: Thousands of Websites to a Single Database	2014	VLDB	5.9431868e-05
7,526	Static Analysis of Active XML Systems	2008	PODS	5.4868482e-05
8,075	Weaker Forms of Monotonicity for Declarative Networking: a More Fine-grained Answer to the CALM-conjecture	2014	PODS	5.3786044e-05
9,013	Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability	2015	PODS	5.2235877e-05
9,392	Expressive Languages for Querying the Semantic Web	2014	PODS	5.1677817e-05
10,089	The Space-Efficient Core of Vadalog	2019	PODS	5.068571e-05
10,090	Tractable Database Design through Bounded Treewidth	2006	PODS	5.068571e-05
10,091	Containment of Conjunctive Object Meta-Queries	2006	VLDB	5.068571e-05
12,570	Collaborative Data-Driven Workflows: Think Global, Act Local	2013	PODS	4.9605343e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	6,443	Evaluating Datalog over Semirings: A Grounding-based Approach	2024	PODS
2	6,961	Sequences, Datalog and Transducers	1995	PODS
3	6,914	Modelling Non Deterministic Queries and Updates In Deductive Databases	1988	VLDB
4	6,144	Generative Datalog with Continuous Distributions	2020	PODS
5	13,313	Static Analysis of Intensional Databases in U-Datalog	1996	PODS
6	2,638	Convergence of Datalog over (Pre-) Semirings	2022	PODS
7	3,671	On Probabilistic Fixpoint and Markov Chain Query Languages	2010	PODS
8	3,808	Non-Deterministic Languages to Express Deterministic Transformations	1990	PODS
9	7,701	Database Updates in Logic Programming	1988	PODS
10	13,415	Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations	1992	PODS