Datalog with First-Class Facts

Summary: Introduces DL^exists!, where unique Skolem terms make facts first-class, enabling efficient reasoning over recursive/tree data without general unification or ADTs. SLOG exploits this restriction for communication-avoiding MPI parallelism at massive scale. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: 14413
Venue: VLDB
Year: 2025
Pagerank: 5.1879626e-05
Overall Rank: 9,959 | 31.68%
DOI: 10.14778/3712221.3712232

Incoming Non-self Citations Over Time

Authors

1. Thomas Gilray (Washington State University)
2. Arash Sahebolamri (Syracuse University)
3. Yihao Sun (Syracuse University)
4. Sowmith Kunapaneni (Washington State University)
5. Sidharth Kumar (University of Illinois Chicago)
6. Kristopher Micinski (Syracuse University)

BibTeX Citation

@article{gilray_vldb25,
        title = {{Datalog with First-Class Facts}},
        author = {Gilray, Thomas and Sahebolamri, Arash and Sun, Yihao and Kunapaneni, Sowmith and Kumar, Sidharth and Micinski, Kristopher},
        journal = {PVLDB},
        series = {{VLDB} '25},
        volume = {18},
        number = {3},
        pages = {651--665},
        doi = {10.14778/3712221.3712232},
        url = {https://doi.org/10.14778/3712221.3712232},
        year = {2025}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
10,582	FlowLog: Efficient and Extensible Datalog via Incrementality	2026	VLDB	5.093636e-05

Outgoing Citations (Sorted by Pagerank)

Showing 14 of 14 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
17	Provenance Semirings	2007	PODS	0.00059843817
40	Testing Implications Of Data Dependencies	1979	SIGMOD	0.00046918506
455	Differential dataflow	2013	CIDR	0.00018133241
490	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.000175757
1,539	Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis	2013	VLDB	0.000104329
2,481	A General Datalog-Based Framework for Tractable Query Answering over Ontologies	2009	PODS	8.5196153e-05
2,594	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD	8.3646367e-05
2,804	Demonstration of the Myria Big Data Management Service	2014	SIGMOD	8.1075524e-05
2,935	RaSQL: Greater Power and Performance for Big Data Analytics with Recursive-aggregate-SQL on Spark	2019	SIGMOD	7.9444531e-05
4,865	DBSP: Automatic Incremental View Maintenance for Rich Query Languages	2023	VLDB	6.4731692e-05
5,783	Scaling-Up In-Memory Datalog Processing: Observations and Techniques	2019	VLDB	6.0899186e-05
6,850	Bridging the Gap Between HPC and Big Data Frameworks	2017	VLDB	5.7547352e-05
8,100	The Complexity of Why-Provenance for Datalog Queries	2024	PODS	5.4872887e-05
9,522	Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning	2022	VLDB	5.2557598e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	6,221	Well-Founded Semantics for Extended Datalog and Ontological Reasoning	2013	PODS
2	6,785	Expressiveness of Guarded Existential Rule Languages	2014	PODS
3	13,071	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages	1993	VLDB
4	10,582	FlowLog: Efficient and Extensible Datalog via Incrementality	2026	VLDB
5	8,100	The Complexity of Why-Provenance for Datalog Queries	2024	PODS
6	13,099	Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases	1991	PODS
7	13,785	Monadic Datalog over Finite Structures with Bounded Treewidth	2007	PODS
8	6,301	Evaluating Datalog over Semirings: A Grounding-based Approach	2024	PODS
9	6,587	Selective Provenance for Datalog Programs Using Top-K Queries	2015	VLDB
10	2,481	A General Datalog-Based Framework for Tractable Query Answering over Ontologies	2009	PODS