DBScholar

Back to papers

Stable Model Semantics for Tuple-Generating Dependencies Revisited

Summary: Introduce an SO-logic based stable-model semantics for NTGDs (TGDs with negation-as-failure), avoiding Skolemization's distortion and LP/chase limitations. Provide a complexity map for weak-acyclic, guarded, and sticky NTGDs; weakly-acyclic NTGDs yield declarative query languages expressive enough for Σ2^P. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
1710
Venue
PODS
Year
2017
Pagerank
5.093636e-05
Overall Rank
11,968 | 17.89%
DOI
10.1145/3034786.3034794

Incoming Non-self Citations Over Time

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

Authors

BibTeX Citation

@inproceedings{alviano_pods17,
        address = {New York, NY, USA},
        series = {{PODS} '17},
        title = {{Stable Model Semantics for Tuple-Generating Dependencies Revisited}},
        url = {https://dl.acm.org/doi/10.1145/3034786.3034794},
        doi = {10.1145/3034786.3034794},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Alviano, Mario and Morak, Michael and Pieris, Andreas},
        year = {2017}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank Citing Paper Year Venue Pagerank
11,364 Generative Datalog with Stable Negation 2023 PODS 5.093636e-05
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 2 of 2 cited papers.

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

Rank Cited Paper Year Venue Pagerank
1,426 Inverting Schema Mappings 2006 PODS 0.00010814403
12,097 Default Negation for Non-Guarded Existential Rules 2015 PODS 5.093636e-05
Previous Page 1 / 1 Next

Semantically Similar Papers