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

[Apt and Bezem 90]

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

[Bancilhon and Spyratos 81]

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

[Bry 89]

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

[Cosmadakis and Papadimitriou 84]

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

[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)

[Decker 89]

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

[Eshgi and Kowalski 89]

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

[Fagin et al. 83]

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

[Furtado and Casanova 85]

...

[Gelfond and Lifschitz 88]

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

[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)

[Guessoum and Lloyd 90a]

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

[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)

[Lloyd 87]

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

[Manchanda and Warren 88]

...

[Moore 85]

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

[Nicolas and Yazdanian 83]

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

[Poole 88]

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

[Przymusinski 88]

...

[Ross 85]

...

[Rossi and Naqvi 89]

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

[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

[Shanahan 89]

...

[Tomasic 88]

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

[Topor 87]

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