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
- 14225
- Venue
- VLDB
- Year
- 2025
- Pagerank
- 4.2783272e-05
- Overall Rank
- 9,813 | 31.74%
- 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.0007857786 |
| 38 |
Testing Implications Of Data Dependencies |
1979 |
SIGMOD |
0.00075110004 |
| 522 |
Differential dataflow |
2013 |
CIDR |
0.00021099241 |
| 613 |
Design and Implementation of the LogicBlox System |
2015 |
SIGMOD |
0.00019181325 |
| 1,294 |
Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis |
2013 |
VLDB |
0.00012779484 |
| 2,720 |
A General Datalog-Based Framework for Tractable Query Answering over Ontologies |
2009 |
PODS |
8.2367715e-05 |
| 2,919 |
RaSQL: Greater Power and Performance for Big Data Analytics with Recursive-aggregate-SQL on Spark |
2019 |
SIGMOD |
7.9047279e-05 |
| 3,200 |
Big Data Analytics with Datalog Queries on Spark |
2016 |
SIGMOD |
7.3912411e-05 |
| 3,377 |
Demonstration of the Myria Big Data Management Service |
2014 |
SIGMOD |
7.1624478e-05 |
| 5,944 |
DBSP: Automatic Incremental View Maintenance for Rich Query Languages |
2023 |
VLDB |
5.2628186e-05 |
| 6,276 |
Scaling-Up In-Memory Datalog Processing: Observations and Techniques |
2019 |
VLDB |
5.1314426e-05 |
| 7,019 |
Bridging the Gap Between HPC and Big Data Frameworks |
2017 |
VLDB |
4.860057e-05 |
| 8,125 |
The Complexity of Why-Provenance for Datalog Queries |
2024 |
PODS |
4.5797807e-05 |
| 9,377 |
Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning |
2022 |
VLDB |
4.347117e-05 |
Semantically Similar Papers
| Overall Rank |
Paper |
Year |
Venue |
Pagerank |
| 4,298 |
Well-Founded Semantics for Extended Datalog and Ontological Reasoning |
2013 |
PODS |
6.2885419e-05 |
| 7,956 |
Expressiveness of Guarded Existential Rule Languages |
2014 |
PODS |
4.613363e-05 |
| 12,877 |
A Domain-theoretic Approach to Integrating Functional and Logic Database Languages |
1993 |
VLDB |
4.1945683e-05 |
| 10,284 |
FlowLog: Efficient and Extensible Datalog via Incrementality |
2026 |
VLDB |
4.1945683e-05 |
| 8,125 |
The Complexity of Why-Provenance for Datalog Queries |
2024 |
PODS |
4.5797807e-05 |
| 12,904 |
Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases |
1991 |
PODS |
4.1945683e-05 |
| 13,585 |
Monadic Datalog over Finite Structures with Bounded Treewidth |
2007 |
PODS |
- |
| 5,992 |
Evaluating Datalog over Semirings: A Grounding-based Approach |
2024 |
PODS |
5.2415551e-05 |
| 6,662 |
Selective Provenance for Datalog Programs Using Top-K Queries |
2015 |
VLDB |
4.9704872e-05 |
| 2,720 |
A General Datalog-Based Framework for Tractable Query Answering over Ontologies |
2009 |
PODS |
8.2367715e-05 |