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: 1832
Venue: PODS
Year: 2021
Pagerank: 5.3621239e-05
Overall Rank: 5,705 | 60.32%
DOI: 10.1145/3452021.3458815

Incoming Non-self Citations Over Time

Authors

1. Victor Vianu

Incoming Citations (Sorted by Pagerank)

Showing 5 of 5 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
7,342	Optimizing Recursive Queries with Program Synthesis	2022	SIGMOD	4.7576316e-05
9,377	Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning	2022	VLDB	4.347117e-05
11,053	Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers	2024	VLDB	4.1945683e-05
11,130	The Vadalog Parallel System: Distributed Reasoning with Datalog+/-	2024	VLDB	4.1945683e-05
11,301	SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog	2023	VLDB	4.1945683e-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
374	PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract)	1988	PODS	0.00025286717
502	Worst-case Optimal Join Algorithms	2012	PODS	0.00021526612
551	Why Not Negation By Fixpoint?	1988	PODS	0.00020329959
613	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.00019181325
843	Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model	1989	PODS	0.00016005595
1,095	The Lixto Data Extraction Project - Back and Forth between Theory and Practice	2004	PODS	0.00014126427
1,166	Unfounded Sets and Well-Founded Semantics for General Logic Programs	1988	PODS	0.00013554968
1,205	The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract)	1989	PODS	0.00013285448
1,310	Consistency Analysis in Bloom: a CALM and Collected Approach	2011	CIDR	0.00012658593
1,370	Monadic Datalog and the Expressive Power of Languages for Web Information Extraction	2002	PODS	0.00012338027
1,374	Relational Transducers for Declarative Networking	2011	PODS	0.0001230835
1,865	Diagnosis of Asynchronous Discrete Event Systems: Datalog to the Rescue!	2005	PODS	0.00010275334
1,916	A Transaction Language Complete for Database Update and Specification	1987	PODS	0.00010101977
2,068	Orchestra: Facilitating Collaborative Data Sharing	2007	SIGMOD	9.6377415e-05
2,197	Update Semantics for Incomplete Databases	1985	VLDB	9.3085358e-05
2,591	Datalog Redux: Experience and Conjecture	2010	PODS	8.481089e-05
2,698	Visual Web Information Extraction with Lixto*	2001	VLDB	8.2753317e-05
3,200	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD	7.3912411e-05
3,598	The Relational Model Of Data And Cylindrical Algebras	1982	PODS	6.9328438e-05
4,491	Non-Deterministic Languages to Express Deterministic Transformations	1990	PODS	6.1422281e-05
4,757	Stable Models and Non-Determinism in Logic Programs with Negation	1990	PODS	5.9434944e-05
4,927	A Rule-based Language for Web Data Management	2011	PODS	5.8225392e-05
5,165	The Vadalog System: Datalog-based Reasoning for Knowledge Graphs	2018	VLDB	5.6529675e-05
6,133	DIADEM: Thousands of Websites to a Single Database	2014	VLDB	5.1954702e-05
7,291	Static Analysis of Active XML Systems	2008	PODS	4.7741469e-05
7,822	Weaker Forms of Monotonicity for Declarative Networking: a More Fine-grained Answer to the CALM-conjecture	2014	PODS	4.6426494e-05
8,815	Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability	2015	PODS	4.4432234e-05
9,738	The Space-Efficient Core of Vadalog	2019	PODS	4.2936538e-05
9,739	Expressive Languages for Querying the Semantic Web	2014	PODS	4.2936538e-05
9,740	Tractable Database Design through Bounded Treewidth	2006	PODS	4.2936538e-05
9,741	Containment of Conjunctive Object Meta-Queries	2006	VLDB	4.2936538e-05
12,032	Collaborative Data-Driven Workflows: Think Global, Act Local	2013	PODS	4.1945683e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
6,129	Sequences, Datalog and Transducers	1995	PODS	5.1974539e-05
5,992	Evaluating Datalog over Semirings: A Grounding-based Approach	2024	PODS	5.2415551e-05
6,693	Modelling Non Deterministic Queries and Updates In Deductive Databases	1988	VLDB	4.9598818e-05
6,003	Generative Datalog with Continuous Distributions	2020	PODS	5.2415551e-05
12,782	Static Analysis of Intensional Databases in U-Datalog	1996	PODS	4.1945683e-05
2,907	Convergence of Datalog over (Pre-) Semirings	2022	PODS	7.933806e-05
3,251	On Probabilistic Fixpoint and Markov Chain Query Languages	2010	PODS	7.3215694e-05
4,491	Non-Deterministic Languages to Express Deterministic Transformations	1990	PODS	6.1422281e-05
6,932	Database Updates in Logic Programming	1988	PODS	4.8925595e-05
12,884	Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations	1992	PODS	4.1945683e-05