DBScholar

Back to papers

The Space-Efficient Core of Vadalog

Summary: Pinpoints piece-wise linear recursion (each TGD body has ≤1 mutually-recursive atom) as Vadalog's space-efficient core, capturing common industrial patterns and enabling tractable, space-efficient reasoning when combined with wardedness. Proves piece-wise linear alone is undecidable and characterizes expressiveness trade-offs of (piece-wise linear) warded TGDs versus related Datalog fragments. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
1782
Venue
PODS
Year
2019
Pagerank
5.2045536e-05
Overall Rank
9,863 | 32.34%
DOI
10.1145/3294052.3319688

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{berger_pods19,
        address = {New York, NY, USA},
        series = {{PODS} '19},
        title = {{The Space-Efficient Core of Vadalog}},
        url = {https://dl.acm.org/doi/10.1145/3294052.3319688},
        doi = {10.1145/3294052.3319688},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Berger, Gerald and Gottlob, Georg and Pieris, Andreas and Sallinger, Emanuel},
        year = {2019}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank Citing Paper Year Venue Pagerank
4,943 Datalog Unchained 2021 PODS 6.4332239e-05
13,395 KG-Roar: Interactive Datalog-based Reasoning on Virtual Knowledge Graphs 2023 VLDB -
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 9 of 9 cited papers.

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

Previous Page 1 / 1 Next

Semantically Similar Papers