ACM SIGMOD Anthology VLDB dblp.uni-trier.de

Database Updates through Abduction.

Antonis C. Kakas, Paolo Mancarella: Database Updates through Abduction. VLDB 1990: 650-661
@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

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

Dennis McLeod, Ron Sacks-Davis, Hans-Jörg Schek (Eds.): 16th International Conference on Very Large Data Bases, August 13-16, 1990, Brisbane, Queensland, Australia, Proceedings. Morgan Kaufmann 1990, ISBN 1-55860-149-X
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[Abiteboul 88]
Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Apt and Bezem 90]
Krzysztof R. Apt, Marc Bezem: Acyclic Programs. ICLP 1990: 617-633 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Bancilhon and Spyratos 81]
François Bancilhon, Nicolas Spyratos: Update Semantics of Relational Views. ACM Trans. Database Syst. 6(4): 557-575(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Bry 89]
François Bry: Intensional Updates: Abduction via Deduction. ICLP 1990: 561-575 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Cosmadakis and Papadimitriou 84]
Stavros S. Cosmadakis, Christos H. Papadimitriou: Updates of Relational Views. J. ACM 31(4): 742-760(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Decker 89]
Hendrik Decker: Drawing Updates From Derivations. ICDT 1990: 437-451 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Eshgi and Kowalski 89]
Kave Eshghi, Robert A. Kowalski: Abduction Compared with Negation by Failure. ICLP 1989: 234-254 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Fagin et al. 83]
Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Furtado and Casanova 85]
...
[Gelfond and Lifschitz 88]
Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Guessoum and Lloyd 90a]
Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases. New Generation Comput. 8(1): 71-89(1990) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Lloyd 87]
John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Manchanda and Warren 88]
...
[Moore 85]
Robert C. Moore: Semantical Considerations on Nonmonotonic Logic. Artif. Intell. 25(1): 75-94(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Nicolas and Yazdanian 83]
Jean-Marie Nicolas, Kioumars Yazdanian: An Outline of BDGEN: A Deductive DBMS. IFIP Congress 1983: 711-717 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Poole 88]
David Poole: A Logical Framework for Default Reasoning. Artif. Intell. 36(1): 27-47(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Przymusinski 88]
...
[Ross 85]
...
[Rossi and Naqvi 89]
Francesca Rossi, Shamim A. Naqvi: Contributions to the View Update Problem. ICLP 1989: 398-415 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Shanahan 89]
...
[Tomasic 88]
Anthony Tomasic: View Update Translation via Deduction and Annotation. ICDT 1988: 338-352 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Topor 87]
Rodney W. Topor: Domain-Independent Formulas and Databases. Theor. Comput. Sci. 52: 281-306(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Tue Mar 16 02:22:01 2010 by Michael Ley (ley@uni-trier.de)