Drawing Updates From Derivations.

Hendrik Decker: Drawing Updates From Derivations. ICDT 1990: 437-451
  author    = {Hendrik Decker},
  editor    = {Serge Abiteboul and
               Paris C. Kanellakis},
  title     = {Drawing Updates From Derivations},
  booktitle = {ICDT'90, Third International Conference on Database Theory, Paris,
               France, December 12-14, 1990, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {470},
  year      = {1990},
  isbn      = {3-540-53507-1},
  pages     = {437-451},
  ee        = {db/conf/icdt/Decker90.html},
  crossref  = {DBLP:conf/icdt/90},
  bibsource = {DBLP,}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX


Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18 BibTeX
François Bry, Hendrik Decker, Rainer Manthey: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT 1988: 488-505 BibTeX
A. Bruffaerts, E. Henin: Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter. ICLP/SLP 1988: 343-358 BibTeX
François Bry: Intensional Updates: Abduction via Deduction. ICLP 1990: 561-575 BibTeX
Lawrence Cavedon, John W. Lloyd: A Completeness Theorem for SLDNF Resolution. J. Log. Program. 7(3): 177-191(1989) BibTeX
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
Hendrik Decker: Integrity Enforcement on Deductive Databases. Expert Database Conf. 1986: 381-395 BibTeX
Jon Doyle: A Truth Maintenance System. Artif. Intell. 12(3): 231-272(1979) BibTeX
Charles Elkan: A Rational Reconstruction of Nonmonotonic Truth Maintenance Systems. Artif. Intell. 43(2): 219-234(1990) BibTeX
Johan de Kleer: An Assumption-Based TMS. Artif. Intell. 28(2): 127-162(1986) BibTeX
Kave Eshghi, Robert A. Kowalski: Abduction Compared with Negation by Failure. ICLP 1989: 234-254 BibTeX
Antonio L. Furtado, Marco A. Casanova: Updating Relational Views. Query Processing in Database Systems 1985: 127-142 BibTeX
Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi: Updating Logical Databases. Advances in Computing Research 3: 1-18(1986) BibTeX
Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases. New Generation Comput. 8(1): 71-89(1990) BibTeX
Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases II. New Generation Comput. 10(1): 73-100(1991) BibTeX
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX
Antonis C. Kakas, Paolo Mancarella: Database Updates through Abduction. VLDB 1990: 650-661 BibTeX
John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
John W. Lloyd: Directions for Meta-Programming. FGCS 1988: 609-617 BibTeX
Sanjay Manchanda: Declarative Expression of Deductive Database Updates. PODS 1989: 93-100 BibTeX
Rainer Manthey, François Bry: SATCHMO: A Theorem Prover Implemented in Prolog. CADE 1988: 415-434 BibTeX
Sanjay Manchanda, David Scott Warren: A Logic-based Language for Database Updates. Foundations of Deductive Databases and Logic Programming. 1988: 363-394 BibTeX
Jean-Marie Nicolas, Kioumars Yazdanian: An Outline of BDGEN: A Deductive DBMS. IFIP Congress 1983: 711-717 BibTeX
Lee Naish: Declarative Diagnosis of Missing Answers. New Generation Comput. 10(3): 255-286(1992) BibTeX
Luís Moniz Pereira: Rational Debugging in Logic Programming. ICLP 1986: 203-210 BibTeX
David Poole: A Logical Framework for Default Reasoning. Artif. Intell. 36(1): 27-47(1988) BibTeX
Francesca Rossi, Shamim A. Naqvi: Contributions to the View Update Problem. ICLP 1989: 398-415 BibTeX
Raymond Reiter: A Logic for Default Reasoning. Artif. Intell. 13(1-2): 81-132(1980) BibTeX
Anthony Tomasic: View Update Translation via Deduction and Annotation. ICDT 1988: 338-352 BibTeX
L. Ümit Yalçinalp, Leon Sterling: An Integrated Interpreter for Explaining Prolog's Successes and Failures. META 1988: 191-203 BibTeX

Referenced by

  1. Ernest Teniente, Antoni Olivé: Updating Knowledge Bases While Maintaining Their Consistency. VLDB J. 4(2): 193-241(1995)
  2. Ernest Teniente, Toni Urpí: A Common Framework for Classifying and Specifying Deductive Database Updating Problems. ICDE 1995: 173-182
  3. Suryanarayana M. Sripada, Beat Wüthrich: Cumulative Updates. VLDB 1994: 534-545
  4. Beat Wüthrich: On Updates and Inconsistency Repairing in Knowledge Bases. ICDE 1993: 608-615
  5. Michael Kramer, Georg Lausen, Gunter Saake: Updates in a Rule-Based Language for Objects. VLDB 1992: 251-262
  6. Ernest Teniente, Antoni Olivé: The Events Method for View Updating in Deductive Databases. EDBT 1992: 245-260
  7. Paolo Atzeni, Riccardo Torlone: Solving Ambiguities in Updating Deductive Databases. MFDBS 1991: 104-118
  8. Antonis C. Kakas, Paolo Mancarella: Database Updates through Abduction. VLDB 1990: 650-661
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:19:03 2009