Vadacode: A Logician-friendly IDE for Datalog±
Summary: Vadacode is an IDE for Datalog± that automatically detects language fragments and provides schema inference, diagnostics, debugging, completion, and AI-assisted coding. A finance-oriented demo shows how it makes expressive rule programs easier to develop and explain. (summarized by gpt-5.6-luna on Jul 24 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Luigi Bellomarini (Bank of Italy)
- 2. Andrea Gentili (Bank of Italy)
- 3. Davide Magnanimi (Bank of Italy; Polytechnic University of Milan)
- 4. Emanuel Sallinger (University of Oxford; Vienna University of Technology)
BibTeX Citation
@article{bellomarini_vldb25,
title = {{Vadacode: A Logician-friendly IDE for Datalog±}},
author = {Bellomarini, Luigi and Gentili, Andrea and Magnanimi, Davide and Sallinger, Emanuel},
journal = {PVLDB},
series = {{VLDB} '25},
volume = {18},
number = {12},
pages = {5411--5414},
doi = {10.14778/3750601.3750684},
url = {https://doi.org/10.14778/3750601.3750684},
year = {2025}
}Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 5 of 5 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 490 | Design and Implementation of the LogicBlox System | 2015 | SIGMOD | 0.000175757 |
| 4,353 | Chase Termination for Guarded Existential Rules | 2015 | PODS | 6.7490677e-05 |
| 4,920 | The Vadalog System: Datalog-based Reasoning for Knowledge Graphs | 2018 | VLDB | 6.4449498e-05 |
| 9,308 | PG-Triggers: Triggers for Property Graphs | 2024 | SIGMOD | 5.289545e-05 |
| 9,522 | Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning | 2022 | VLDB | 5.2557598e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 8,464 | LogiQL: a Declarative Language for Enterprise Applications | 2015 | PODS |
| 2 | 490 | Design and Implementation of the LogicBlox System | 2015 | SIGMOD |
| 3 | 7,885 | IDLOG: Extending the Expressive Power of Deductive Database Languages | 1990 | SIGMOD |
| 4 | 9,959 | Datalog with First-Class Facts | 2025 | VLDB |
| 5 | 7,245 | The VADA Architecture for Cost-Effective Data Wrangling | 2017 | SIGMOD |
| 6 | 5,473 | Datalog and Emerging Applications: An Interactive Tutorial | 2011 | SIGMOD |
| 7 | 13,395 | KG-Roar: Interactive Datalog-based Reasoning on Virtual Knowledge Graphs | 2023 | VLDB |
| 8 | 11,336 | The Vadalog Parallel System: Distributed Reasoning with Datalog+/- | 2024 | VLDB |
| 9 | 4,920 | The Vadalog System: Datalog-based Reasoning for Knowledge Graphs | 2018 | VLDB |
| 10 | 9,863 | The Space-Efficient Core of Vadalog | 2019 | PODS |