Datalog and Emerging Applications: An Interactive Tutorial

Summary: Revives interest in recursive Datalog across data integration, declarative networking, and program analysis, showing its relevance to emerging domains. The tutorial surveys the language, recursive processing and optimization, and three application areas, with LogicBlox examples for hands-on exploration. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 4474
Venue: SIGMOD
Year: 2011
Pagerank: 5.407079e-05
Overall Rank: 5,620 | 60.91%
DOI: -

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 8 of 8 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
613	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.00019181325
7,342	Optimizing Recursive Queries with Program Synthesis	2022	SIGMOD	4.7576316e-05
8,354	LogiQL: a Declarative Language for Enterprise Applications	2015	PODS	4.538638e-05
8,880	Live Programming in the LogicBlox System: A MetaLogiQL Approach	2015	VLDB	4.4301403e-05
9,715	J-Logic: Logical Foundations for JSON Querying	2017	PODS	4.299267e-05
9,814	Optimizing Nested Recursive Queries	2024	SIGMOD	4.2783272e-05
10,917	TypeQL: A Type-Theoretic & Polymorphic Query Language	2024	PODS	4.1945683e-05
11,053	Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers	2024	VLDB	4.1945683e-05

Outgoing Citations (Sorted by Pagerank)

Showing 12 of 12 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
48	Data Integration: A Theoretical Perspective	2002	PODS	0.00069720859
77	An Amateur's Introduction to Recursive Query Processing Strategies	1986	SIGMOD	0.00057043861
239	GPUTeraSort: High Performance Graphics Co-processor Sorting for Large Database Management	2006	SIGMOD	0.00031617428
287	Declarative Information Extraction Using Datalog with Embedded Extraction Predicates	2007	VLDB	0.00028971272
778	Declarative Networking: Language, Execution and Optimization	2006	SIGMOD	0.00016791276
950	Data Processing on FPGAs	2009	VLDB	0.00015108484
1,095	The Lixto Data Extraction Project - Back and Forth between Theory and Practice	2004	PODS	0.00014126427
1,865	Diagnosis of Asynchronous Discrete Event Systems: Datalog to the Rescue!	2005	PODS	0.00010275334
1,866	Update Exchange with Mappings and Provenance	2007	VLDB	0.00010272139
6,312	Type Inference for Datalog and its Application to Query Optimisation	2008	PODS	5.1158809e-05
8,518	Glacier: A Query-to-Hardware Compiler	2010	SIGMOD	4.4943094e-05
12,228	SecureBlox: Customizable Secure Distributed Data Processing	2010	SIGMOD	4.1945683e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
9,280	A Theory of Regular Queries	2016	PODS	4.3636639e-05
5,992	Evaluating Datalog over Semirings: A Grounding-based Approach	2024	PODS	5.2415551e-05
9,814	Optimizing Nested Recursive Queries	2024	SIGMOD	4.2783272e-05
8,125	The Complexity of Why-Provenance for Datalog Queries	2024	PODS	4.5797807e-05
287	Declarative Information Extraction Using Datalog with Embedded Extraction Predicates	2007	VLDB	0.00028971272
3,200	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD	7.3912411e-05
5,003	Graph Queries in a Next-Generation Datalog System	2013	VLDB	5.7652482e-05
6,276	Scaling-Up In-Memory Datalog Processing: Observations and Techniques	2019	VLDB	5.1314426e-05
10,284	FlowLog: Efficient and Extensible Datalog via Incrementality	2026	VLDB	4.1945683e-05
8,354	LogiQL: a Declarative Language for Enterprise Applications	2015	PODS	4.538638e-05