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 |
|---|---|---|---|---|
| 466 | Design and Implementation of the LogicBlox System | 2015 | SIGMOD | 0.00017773029 |
| 4,445 | Chase Termination for Guarded Existential Rules | 2015 | PODS | 6.5976367e-05 |
| 5,035 | The Vadalog System: Datalog-based Reasoning for Knowledge Graphs | 2018 | VLDB | 6.3038469e-05 |
| 9,485 | PG-Triggers: Triggers for Property Graphs | 2024 | SIGMOD | 5.1708619e-05 |
| 9,704 | Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning | 2022 | VLDB | 5.1378347e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 466 | Design and Implementation of the LogicBlox System | 2015 | SIGMOD |
| 2 | 8,051 | IDLOG: Extending the Expressive Power of Deductive Database Languages | 1990 | SIGMOD |
| 3 | 13,601 | DA-Studio: An Agentic System for End-to-End Data Analysis | 2026 | VLDB |
| 4 | 10,149 | Datalog with First-Class Facts | 2025 | VLDB |
| 5 | 7,354 | The VADA Architecture for Cost-Effective Data Wrangling | 2017 | SIGMOD |
| 6 | 5,592 | Datalog and Emerging Applications: An Interactive Tutorial | 2011 | SIGMOD |
| 7 | 13,709 | KG-Roar: Interactive Datalog-based Reasoning on Virtual Knowledge Graphs | 2023 | VLDB |
| 8 | 11,654 | The Vadalog Parallel System: Distributed Reasoning with Datalog+/- | 2024 | VLDB |
| 9 | 5,035 | The Vadalog System: Datalog-based Reasoning for Knowledge Graphs | 2018 | VLDB |
| 10 | 10,053 | The Space-Efficient Core of Vadalog | 2019 | PODS |