Database Updates Through Abduction

Summary: Recasts deductive-database view updates as abduction, uniformly handling insertions, deletions, and negation with proven correctness and completeness. Dynamically integrates integrity checking and extends to nonground requests via constructive abduction and negation. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: hf1e4d852818f5adc
Venue: VLDB
Year: 1990
Pagerank: 5.8866222e-05
Overall Rank: 6,102 | 58.98%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. A.C. Kakas (Imperial College)
2. P. Mancarella (University of Pisa)

BibTeX Citation

@article{kakas_vldb90,
        title = {{Database Updates Through Abduction}},
        author = {Kakas, A.C. and Mancarella, P.},
        journal = {PVLDB},
        series = {{VLDB} '90},
        year = {1990}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
2,949	Reverse Data Management	2011	VLDB	7.821181e-05
13,332	Cumulative Updates	1994	VLDB	4.9793485e-05
13,382	Updates in a Rule-Based Language for Objects	1992	VLDB	4.9793485e-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
619	On the Semantics of Updates in Databases	1983	PODS	0.00015518944
1,088	Updates Of Relational Views	1983	PODS	0.00012091631

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,489	Adaptive Predicate Managers in Database Systems	1986	VLDB
2	1,346	Independence of Logic Database Queries and Updates	1990	PODS
3	2,459	Update Semantics for Incomplete Databases	1985	VLDB
4	3,582	Query Processing in Deductive Databases with Incomplete Information	1986	SIGMOD
5	13,382	Updates in a Rule-Based Language for Objects	1992	VLDB
6	3,162	Integrity Checking in Deductive Databases	1987	VLDB
7	3,225	On the Equivalence of Logical Databases	1984	PODS
8	13,421	Declarative Expression of Deductive Database Updates	1989	PODS
9	6,857	A Model-Theoretic Approach to Updating Logical Databases (Extended Abstract)	1986	PODS
10	619	On the Semantics of Updates in Databases	1983	PODS