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.4101349e-05
Overall Rank: 5,613 | 61.00%
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,936	Specification and Implementation of Programs for Updating Incomplete Information Databases (Preliminary Report)	1987	PODS	4.8878659e-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
555	On the Semantics of Updates in Databases	1983	PODS	0.00020229919
2,203	Update Semantics for Incomplete Databases	1985	VLDB	9.2995519e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
485	A New Approach to Database Logic	1984	PODS	0.00022061287
1,450	Theory of Database Queries (Extended Abstract)	1988	PODS	0.00011926567
3,450	A Modal System of Algebras for Database Specification and Query/Update Language Support	1983	VLDB	7.0803112e-05
6,934	Database Updates in Logic Programming	1988	PODS	4.8878659e-05
12,964	A Framework for Comparison of Update Semantics (Extended Abstract)	1988	PODS	4.1905499e-05
12,946	Declarative Expression of Deductive Database Updates	1989	PODS	4.1905499e-05
6,250	Database Updates Through Abduction	1990	VLDB	5.1327885e-05
555	On the Semantics of Updates in Databases	1983	PODS	0.00020229919
2,191	On the Equivalence of Logical Databases	1984	PODS	9.328833e-05
2,203	Update Semantics for Incomplete Databases	1985	VLDB	9.2995519e-05