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.2898972e-05
Overall Rank: 5,067 | 65.94%
DOI: 10.1145/3452021.3458815

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,139	Optimizing Recursive Queries with Program Synthesis	2022	SIGMOD	5.6006128e-05
9,704	Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning	2022	VLDB	5.1378347e-05
10,334	Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers	2024	VLDB	5.0254535e-05
10,383	Recursive Querying of Neural Networks via Weighted Structures	2026	PODS	4.9793485e-05
11,654	The Vadalog Parallel System: Distributed Reasoning with Datalog+/-	2024	VLDB	4.9793485e-05
11,809	SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog	2023	VLDB	4.9793485e-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
402	Worst-case Optimal Join Algorithms	2012	PODS	0.00019104625
466	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.00017773029
718	PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract)	1988	PODS	0.00014530776
1,012	Why Not Negation By Fixpoint?	1988	PODS	0.00012520852
1,154	The Lixto Data Extraction Project - Back and Forth between Theory and Practice	2004	PODS	0.00011793227
1,245	Consistency Analysis in Bloom: a CALM and Collected Approach	2011	CIDR	0.00011353116
1,325	The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract)	1989	PODS	0.00011009279
1,457	Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model	1989	PODS	0.00010587867
1,556	Unfounded Sets and Well-Founded Semantics for General Logic Programs	1988	PODS	0.00010267435
1,630	Relational Transducers for Declarative Networking	2011	PODS	0.00010033547
1,767	A Transaction Language Complete for Database Update and Specification	1987	PODS	9.6939822e-05
2,002	Orchestra: Facilitating Collaborative Data Sharing	2007	SIGMOD	9.208994e-05
2,223	Monadic Datalog and the Expressive Power of Languages for Web Information Extraction	2002	PODS	8.8092332e-05
2,459	Update Semantics for Incomplete Databases	1985	VLDB	8.4353518e-05
2,473	Diagnosis of Asynchronous Discrete Event Systems: Datalog to the Rescue!	2005	PODS	8.4120524e-05
2,615	Visual Web Information Extraction with Lixto	2001	VLDB	8.2253533e-05
2,635	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD	8.1965216e-05
3,387	Datalog Redux: Experience and Conjecture	2010	PODS	7.3538415e-05
3,796	Non-Deterministic Languages to Express Deterministic Transformations	1990	PODS	7.0166914e-05
4,760	The Relational Model Of Data And Cylindrical Algebras	1982	PODS	6.4311817e-05
4,949	Stable Models and Non-Determinism in Logic Programs with Negation	1990	PODS	6.342181e-05
5,035	The Vadalog System: Datalog-based Reasoning for Knowledge Graphs	2018	VLDB	6.3038469e-05
5,073	A Rule-based Language for Web Data Management	2011	PODS	6.2870136e-05
5,866	DIADEM: Thousands of Websites to a Single Database	2014	VLDB	5.9657279e-05
7,503	Static Analysis of Active XML Systems	2008	PODS	5.5076551e-05
8,052	Weaker Forms of Monotonicity for Declarative Networking: a More Fine-grained Answer to the CALM-conjecture	2014	PODS	5.3990042e-05
8,982	Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability	2015	PODS	5.2433996e-05
9,357	Expressive Languages for Querying the Semantic Web	2014	PODS	5.1873819e-05
10,053	The Space-Efficient Core of Vadalog	2019	PODS	5.087795e-05
10,054	Tractable Database Design through Bounded Treewidth	2006	PODS	5.087795e-05
10,055	Containment of Conjunctive Object Meta-Queries	2006	VLDB	5.087795e-05
12,521	Collaborative Data-Driven Workflows: Think Global, Act Local	2013	PODS	4.9793485e-05

Semantically Similar Papers

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