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: 8171
Venue: VLDB
Year: 1990
Pagerank: 6.020428e-05
Overall Rank: 5,984 | 58.95%
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,914	Reverse Data Management	2011	VLDB	7.9667467e-05
13,042	Cumulative Updates	1994	VLDB	5.093636e-05
13,092	Updates in a Rule-Based Language for Objects	1992	VLDB	5.093636e-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
602	On the Semantics of Updates in Databases	1983	PODS	0.00015856828
1,075	Updates Of Relational Views	1983	PODS	0.00012294896

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,199	Adaptive Predicate Managers in Database Systems	1986	VLDB
2	1,314	Independence of Logic Database Queries and Updates	1990	PODS
3	2,402	Update Semantics for Incomplete Databases	1985	VLDB
4	3,512	Query Processing in Deductive Databases with Incomplete Information	1986	SIGMOD
5	13,092	Updates in a Rule-Based Language for Objects	1992	VLDB
6	3,107	Integrity Checking in Deductive Databases	1987	VLDB
7	3,161	On the Equivalence of Logical Databases	1984	PODS
8	13,131	Declarative Expression of Deductive Database Updates	1989	PODS
9	6,722	A Model-Theoretic Approach to Updating Logical Databases (Extended Abstract)	1986	PODS
10	602	On the Semantics of Updates in Databases	1983	PODS