DBScholar

Back to papers

On the Equivalence of Logical Databases

Summary: Models databases as theories (consistent FOL sentence sets) and studies database equivalence under single and simultaneous update operations. Develops theory-based update semantics prioritizing preservation of explicit facts to handle integrity-constraint repairs and non-uniqueness of updates. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
701
Venue
PODS
Year
1984
Pagerank
7.682034e-05
Overall Rank
3,161 | 78.32%
DOI
10.1145/588011.588044

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{kuper_pods84,
        address = {New York, NY, USA},
        series = {{PODS} '84},
        title = {{On the Equivalence of Logical Databases}},
        url = {https://dl.acm.org/doi/10.1145/588011.588044},
        doi = {10.1145/588011.588044},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Kuper, Gabriel M. and Ullman, Jeffrey D. and Vardi, Moshe Y.},
        year = {1984}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank Citing Paper Year Venue Pagerank
475 A Calculus for Complex Objects 1986 PODS 0.00017864549
2,402 Update Semantics for Incomplete Databases 1985 VLDB 8.6276184e-05
7,564 Positivism vs. Minimalism in Deductive Databases (Extended Abstract) 1986 PODS 5.5958254e-05
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 1 of 1 cited papers.

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

Rank Cited Paper Year Venue Pagerank
602 On the Semantics of Updates in Databases 1983 PODS 0.00015856828
Previous Page 1 / 1 Next

Semantically Similar Papers