DBScholar

Back to papers

A Model-Theoretic Approach to Updating Logical Databases (Extended Abstract)

Summary: Embeds incomplete databases and updates into first-order logic, defining model-theoretic semantics for update operators over incomplete information. Provides constructive semantics plus an efficient algorithm to perform these logical updates on incomplete databases. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
760
Venue
PODS
Year
1986
Pagerank
5.7940109e-05
Overall Rank
6,722 | 53.89%
DOI
10.1145/6012.15416

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{wilkins_pods86,
        address = {New York, NY, USA},
        series = {{PODS} '86},
        title = {{A Model-Theoretic Approach to Updating Logical Databases (Extended Abstract)}},
        url = {https://dl.acm.org/doi/10.1145/6012.15416},
        doi = {10.1145/6012.15416},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Wilkins, Marianne Winslett},
        year = {1986}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

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
602 On the Semantics of Updates in Databases 1983 PODS 0.00015856828
2,402 Update Semantics for Incomplete Databases 1985 VLDB 8.6276184e-05
Previous Page 1 / 1 Next

Semantically Similar Papers