Database Updates Through Abduction

Summary: View updates in deductive databases cast as abduction, yielding a simple, uniform insert/delete procedure that handles negation. Key novelty: assimilating updates via defeasible hypotheses, dynamic integrity checking, and constructive abduction for non-ground requests. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 7980
Venue: VLDB
Year: 1990
Pagerank: 5.1377146e-05
Overall Rank: 6,251 | 56.52%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. A.C. Kakas
2. P. Mancarella

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
3,218	Reverse Data Management	2011	VLDB	7.3592173e-05
12,849	Cumulative Updates	1994	VLDB	4.1945683e-05
12,898	Updates in a Rule-Based Language for Objects	1992	VLDB	4.1945683e-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
895	Updates Of Relational Views	1983	PODS	0.00015534879

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
13,000	Adaptive Predicate Managers in Database Systems	1986	VLDB	4.1945683e-05
1,189	Independence of Logic Database Queries and Updates	1990	PODS	0.00013441514
2,197	Update Semantics for Incomplete Databases	1985	VLDB	9.3085358e-05
2,712	Query Processing in Deductive Databases with Incomplete Information	1986	SIGMOD	8.2488274e-05
12,898	Updates in a Rule-Based Language for Objects	1992	VLDB	4.1945683e-05
2,176	Integrity Checking In Deductive Databases	1987	VLDB	9.3623985e-05
2,185	On the Equivalence of Logical Databases	1984	PODS	9.3382191e-05
12,936	Declarative Expression of Deductive Database Updates	1989	PODS	4.1945683e-05
5,601	A Model-Theoretic Approach to Updating Logical Databases (Extended Abstract)	1986	PODS	5.4153386e-05
556	On the Semantics of Updates in Databases	1983	PODS	0.00020249905