Database Updates through Abduction.

@inproceedings{DBLP:conf/vldb/KakasM90,
  author    = {Antonis C. Kakas and
               Paolo Mancarella},
  editor    = {Dennis McLeod and
               Ron Sacks-Davis and
               Hans-J{\"o}rg Schek},
  title     = {Database Updates through Abduction},
  booktitle = {16th International Conference on Very Large Data Bases, August
               13-16, 1990, Brisbane, Queensland, Australia, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1990},
  isbn      = {1-55860-149-X},
  pages     = {650-661},
  ee        = {db/conf/vldb/KakasM90.html},
  crossref  = {DBLP:conf/vldb/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

The problem of view updates in deductive databases is studied by casting this in a naturally associated abductive framework. It is shown that this abductive approach deals successfully, in a simple yet powerful way, with the difficulties related to the presence of negation in the database and provides a uniform common procedure for insert and delete update requests. This procedure is formally defined and its correctness and completeness is investigated.

The abductive formalization of the update problem allows for a natural generalization of the basic update procedure in various ways. One important such extension is the fact the integrity checking asssociated with any update request can be dynamically incorporated into the update procedure so that potential inconsistent solutions to the request are trapped and rejected during their generation. It is also possible to extend the abductive approach to handle general non ground requests using constructive abduction and an associated form of constructivenegation.

Copyright © 1990 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Online Paper

• Download PDF file (www.vldb.org, Darmstadt, Germany)
• Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/vldb8997 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

References

[Abiteboul 88]

Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18 BibTeX

[Apt and Bezem 90]

Krzysztof R. Apt, Marc Bezem: Acyclic Programs. ICLP 1990: 617-633 BibTeX

[Bancilhon and Spyratos 81]

François Bancilhon, Nicolas Spyratos: Update Semantics of Relational Views. ACM Trans. Database Syst. 6(4): 557-575(1981) BibTeX

[Bry 89]

François Bry: Intensional Updates: Abduction via Deduction. ICLP 1990: 561-575 BibTeX

[Cosmadakis and Papadimitriou 84]

Stavros S. Cosmadakis, Christos H. Papadimitriou: Updates of Relational Views. J. ACM 31(4): 742-760(1984) BibTeX

[Dayal and Bernstein 82]

Umeshwar Dayal, Philip A. Bernstein: On the Correct Translation of Update Operations on Relational Views. ACM Trans. Database Syst. 7(3): 381-416(1982) BibTeX

[Decker 89]

Hendrik Decker: Drawing Updates From Derivations. ICDT 1990: 437-451 BibTeX

[Eshgi and Kowalski 89]

Kave Eshghi, Robert A. Kowalski: Abduction Compared with Negation by Failure. ICLP 1989: 234-254 BibTeX

[Fagin et al. 83]

Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365 BibTeX

[Furtado and Casanova 85]

...

[Gelfond and Lifschitz 88]

Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080 BibTeX

[Gottlob et al. 88]

Georg Gottlob, Paolo Paolini, Roberto Zicari: Properties and Update Semantics of Consistent Views. ACM Trans. Database Syst. 13(4): 486-524(1988) BibTeX

[Guessoum and Lloyd 90a]

Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases. New Generation Comput. 8(1): 71-89(1990) BibTeX

[Guessoum and Lloyd 90b]

...

[Kakas and Mancarella 89]

...

[Kakas and Mancarella 90a]

...

[Kakas and Mancarella 90b]

...

[Kakas and Mancarella 90c]

...

[Kowalski 79]

...

[Kunen 87]

Kenneth Kunen: Negation in Logic Programming. J. Log. Program. 4(4): 289-308(1987) BibTeX

[Lloyd 87]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
BibTeX

[Manchanda and Warren 88]

...

[Moore 85]

Robert C. Moore: Semantical Considerations on Nonmonotonic Logic. Artif. Intell. 25(1): 75-94(1985) BibTeX

[Nicolas and Yazdanian 83]

Jean-Marie Nicolas, Kioumars Yazdanian: An Outline of BDGEN: A Deductive DBMS. IFIP Congress 1983: 711-717 BibTeX

[Poole 88]

David Poole: A Logical Framework for Default Reasoning. Artif. Intell. 36(1): 27-47(1988) BibTeX

[Przymusinski 88]

...

[Ross 85]

...

[Rossi and Naqvi 89]

Francesca Rossi, Shamim A. Naqvi: Contributions to the View Update Problem. ICLP 1989: 398-415 BibTeX

[Sadri and Kowalski 88]

Fariba Sadri, Robert A. Kowalski: A Theorem-Proving Approach to Database Integrity. Foundations of Deductive Databases and Logic Programming. 1988: 313-362 BibTeX

[Shanahan 89]

...

[Tomasic 88]

Anthony Tomasic: View Update Translation via Deduction and Annotation. ICDT 1988: 338-352 BibTeX

[Topor 87]

Rodney W. Topor: Domain-Independent Formulas and Databases. Theor. Comput. Sci. 52: 281-306(1987) BibTeX

Referenced by

1. Enric Mayol, Ernest Teniente: A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. ER (Workshops) 1999: 62-73
2. Weidong Chen: Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning. IEEE Trans. Knowl. Data Eng. 9(4): 587-599(1997)
3. Ernest Teniente, Antoni Olivé: Updating Knowledge Bases While Maintaining Their Consistency. VLDB J. 4(2): 193-241(1995)
4. Weidong Chen: Declarative Updates of Relational Databases. ACM Trans. Database Syst. 20(1): 42-70(1995)
5. Ernest Teniente, Toni Urpí: A Common Framework for Classifying and Specifying Deductive Database Updating Problems. ICDE 1995: 173-182
6. Suryanarayana M. Sripada, Beat Wüthrich: Cumulative Updates. VLDB 1994: 534-545
7. Beat Wüthrich: On Updates and Inconsistency Repairing in Knowledge Bases. ICDE 1993: 608-615
8. Jing P. Yoon: Database Updates Using Active Rules: A Unified Approach for Consistency Maintenance. DASFAA 1993: 271-278
9. Michael Kramer, Georg Lausen, Gunter Saake: Updates in a Rule-Based Language for Objects. VLDB 1992: 251-262
10. Ernest Teniente, Antoni Olivé: The Events Method for View Updating in Deductive Databases. EDBT 1992: 245-260
11. Paolo Atzeni, Riccardo Torlone: Solving Ambiguities in Updating Deductive Databases. MFDBS 1991: 104-118
12. Hendrik Decker: Drawing Updates From Derivations. ICDT 1990: 437-451