DBScholar

Back to papers

An Axiomatic Approach to Deciding Query Safety in Deductive Databases

Summary: Propose supersafety for Horn-clause queries by abstracting function symbols into infinite relations with finiteness constraints. Prove supersafety is axiomatizable and decidable, yielding an effective decision procedure that captures a large, nontrivial subset of safe queries. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
814
Venue
PODS
Year
1988
Pagerank
7.8386928e-05
Overall Rank
3,025 | 79.25%
DOI
10.1145/308386.308412

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{kifer_pods88,
        address = {New York, NY, USA},
        series = {{PODS} '88},
        title = {{An Axiomatic Approach to Deciding Query Safety in Deductive Databases}},
        url = {https://dl.acm.org/doi/10.1145/308386.308412},
        doi = {10.1145/308386.308412},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Kifer, Michael and Ramakrishnan, Raghu and Silberschatz, Avi},
        year = {1988}
}

Incoming Citations (Sorted by Pagerank)

Showing 6 of 6 citing papers.

Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 6 of 6 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