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: 7981
Venue: VLDB
Year: 1990
Pagerank: 5.1327885e-05
Overall Rank: 6,250 | 56.57%
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,224	Reverse Data Management	2011	VLDB	7.3523336e-05
12,858	Cumulative Updates	1994	VLDB	4.1905499e-05
12,908	Updates in a Rule-Based Language for Objects	1992	VLDB	4.1905499e-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
893	Updates Of Relational Views	1983	PODS	0.00015519479

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
13,011	Adaptive Predicate Managers in Database Systems	1986	VLDB	4.1905499e-05
1,189	Independence of Logic Database Queries and Updates	1990	PODS	0.0001342924
2,203	Update Semantics for Incomplete Databases	1985	VLDB	9.2995519e-05
2,715	Query Processing in Deductive Databases with Incomplete Information	1986	SIGMOD	8.2411079e-05
12,908	Updates in a Rule-Based Language for Objects	1992	VLDB	4.1905499e-05
2,184	Integrity Checking In Deductive Databases	1987	VLDB	9.3541478e-05
2,191	On the Equivalence of Logical Databases	1984	PODS	9.328833e-05
12,946	Declarative Expression of Deductive Database Updates	1989	PODS	4.1905499e-05
5,613	A Model-Theoretic Approach to Updating Logical Databases (Extended Abstract)	1986	PODS	5.4101349e-05
555	On the Semantics of Updates in Databases	1983	PODS	0.00020229919