DBScholar

Back to papers

Generative Datalog with Stable Negation

Summary: Adds negation to generative Datalog using stable-model semantics, increasing expressivity of declarative probabilistic programs over relational DBs. Provides a robust probabilistic semantics by defining probability spaces over stable minimal models and resolving existence/robustness issues. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
h660af851b5ca9e8d
Venue
PODS
Year
2023
Pagerank
4.9793485e-05
Overall Rank
11,680 | 21.48%
DOI
10.1145/3584372.3588656

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

BibTeX Citation

@inproceedings{alviano_pods23,
        address = {New York, NY, USA},
        series = {{PODS} '23},
        title = {{Generative Datalog with Stable Negation}},
        url = {https://dl.acm.org/doi/10.1145/3584372.3588656},
        doi = {10.1145/3584372.3588656},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Alviano, Mario and Lanzinger, Matthias and Morak, Michael and Pieris, Andreas},
        year = {2023}
}

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 3 of 3 cited papers.

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

Rank Cited Paper Year Venue Pagerank
3,663 On Probabilistic Fixpoint and Markov Chain Query Languages 2010 PODS 7.1188602e-05
6,129 Generative Datalog with Continuous Distributions 2020 PODS 5.8783975e-05
12,266 Stable Model Semantics for Tuple-Generating Dependencies Revisited 2017 PODS 4.9793485e-05
Previous Page 1 / 1 Next

Semantically Similar Papers