Back to papers
Datalog with First-Class Facts
Summary: DL_exists!: unique-existential heads assign each fact a nested Skolem id, enabling first-class tree-shaped facts and a unification-free restricted-chase. DLS/SLOG compiles to DL_exists! for lock-free, communication-avoiding MPI-based parallel evaluation that outperforms state-of-the-art Datalog engines.
(summarized by gpt-5-mini on Feb 09 2026)
- Paper ID
- 14226
- Venue
- VLDB
- Year
- 2025
- Pagerank
- 4.2742278e-05
- Overall Rank
- 9,812 | 31.81%
- DOI
-
10.14778/3712221.3712232
Incoming Non-self Citations Over Time
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
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 |
| 31 |
Provenance Semirings |
2007 |
PODS |
0.00078516827 |
| 38 |
Testing Implications Of Data Dependencies |
1979 |
SIGMOD |
0.0007528369 |
| 524 |
Differential dataflow |
2013 |
CIDR |
0.00021093133 |
| 610 |
Design and Implementation of the LogicBlox System |
2015 |
SIGMOD |
0.00019204048 |
| 1,323 |
Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis |
2013 |
VLDB |
0.00012595443 |
| 2,723 |
A General Datalog-Based Framework for Tractable Query Answering over Ontologies |
2009 |
PODS |
8.2314732e-05 |
| 2,922 |
RaSQL: Greater Power and Performance for Big Data Analytics with Recursive-aggregate-SQL on Spark |
2019 |
SIGMOD |
7.897179e-05 |
| 3,207 |
Big Data Analytics with Datalog Queries on Spark |
2016 |
SIGMOD |
7.3847098e-05 |
| 3,371 |
Demonstration of the Myria Big Data Management Service |
2014 |
SIGMOD |
7.1634294e-05 |
| 5,947 |
DBSP: Automatic Incremental View Maintenance for Rich Query Languages |
2023 |
VLDB |
5.2577662e-05 |
| 6,276 |
Scaling-Up In-Memory Datalog Processing: Observations and Techniques |
2019 |
VLDB |
5.1265189e-05 |
| 7,019 |
Bridging the Gap Between HPC and Big Data Frameworks |
2017 |
VLDB |
4.8553946e-05 |
| 8,129 |
The Complexity of Why-Provenance for Datalog Queries |
2024 |
PODS |
4.5753896e-05 |
| 9,385 |
Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning |
2022 |
VLDB |
4.342951e-05 |
Semantically Similar Papers
| Overall Rank |
Paper |
Year |
Venue |
Pagerank |
| 4,291 |
Well-Founded Semantics for Extended Datalog and Ontological Reasoning |
2013 |
PODS |
6.2824978e-05 |
| 7,959 |
Expressiveness of Guarded Existential Rule Languages |
2014 |
PODS |
4.6089395e-05 |
| 12,887 |
A Domain-theoretic Approach to Integrating Functional and Logic Database Languages |
1993 |
VLDB |
4.1905499e-05 |
| 10,296 |
FlowLog: Efficient and Extensible Datalog via Incrementality |
2026 |
VLDB |
4.1905499e-05 |
| 8,129 |
The Complexity of Why-Provenance for Datalog Queries |
2024 |
PODS |
4.5753896e-05 |
| 12,914 |
Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases |
1991 |
PODS |
4.1905499e-05 |
| 13,598 |
Monadic Datalog over Finite Structures with Bounded Treewidth |
2007 |
PODS |
- |
| 5,996 |
Evaluating Datalog over Semirings: A Grounding-based Approach |
2024 |
PODS |
5.2365238e-05 |
| 6,665 |
Selective Provenance for Datalog Programs Using Top-K Queries |
2015 |
VLDB |
4.9657158e-05 |
| 2,723 |
A General Datalog-Based Framework for Tractable Query Answering over Ontologies |
2009 |
PODS |
8.2314732e-05 |