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: 761
Venue: PODS
Year: 1986
Pagerank: 5.4153386e-05
Overall Rank: 5,601 | 61.04%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Marianne Winslett Wilkins

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
6,934	Specification and Implementation of Programs for Updating Incomplete Information Databases (Preliminary Report)	1987	PODS	4.8925595e-05

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
556	On the Semantics of Updates in Databases	1983	PODS	0.00020249905
2,197	Update Semantics for Incomplete Databases	1985	VLDB	9.3085358e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
485	A New Approach to Database Logic	1984	PODS	0.00022085103
1,448	Theory of Database Queries (Extended Abstract)	1988	PODS	0.00011938045
3,444	A Modal System of Algebras for Database Specification and Query/Update Language Support	1983	VLDB	7.0871625e-05
6,932	Database Updates in Logic Programming	1988	PODS	4.8925595e-05
12,954	A Framework for Comparison of Update Semantics (Extended Abstract)	1988	PODS	4.1945683e-05
12,936	Declarative Expression of Deductive Database Updates	1989	PODS	4.1945683e-05
6,251	Database Updates Through Abduction	1990	VLDB	5.1377146e-05
556	On the Semantics of Updates in Databases	1983	PODS	0.00020249905
2,185	On the Equivalence of Logical Databases	1984	PODS	9.3382191e-05
2,197	Update Semantics for Incomplete Databases	1985	VLDB	9.3085358e-05