Drawing Updates From Derivations.

@inproceedings{DBLP:conf/icdt/Decker90,
  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        = {http://dx.doi.org/10.1007/3-540-53507-1_94},
  crossref  = {DBLP:conf/icdt/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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/An2-2 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

References

[AP]

...

[Ab]

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

[BDM]

François Bry, Hendrik Decker, Rainer Manthey: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT 1988: 488-505

[BH]

A. Bruffaerts, E. Henin: Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter. ICLP/SLP 1988: 343-358

[Br]

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

[CL]

Lawrence Cavedon, John W. Lloyd: A Completeness Theorem for SLDNF Resolution. J. Log. Program. 7(3): 177-191(1989)

[DB]

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

[De1]

Hendrik Decker: Integrity Enforcement on Deductive Databases. Expert Database Conf. 1986: 381-395

[De2]

...

[De3]

...

[De4]

...

[Do]

Jon Doyle: A Truth Maintenance System. Artif. Intell. 12(3): 231-272(1979)

[El]

Charles Elkan: A Rational Reconstruction of Nonmonotonic Truth Maintenance Systems. Artif. Intell. 43(2): 219-234(1990)

[dK]

Johan de Kleer: An Assumption-Based TMS. Artif. Intell. 28(2): 127-162(1986)

[EK]

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

[FC]

Antonio L. Furtado, Marco A. Casanova: Updating Relational Views. Query Processing in Database Systems 1985: 127-142

[FKUV]

Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi: Updating Logical Databases. Advances in Computing Research 3: 1-18(1986)

[GL1]

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

[GL2]

Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases II. New Generation Comput. 10(1): 73-100(1991)

[GMN]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)

[KM1]

Antonis C. Kakas, Paolo Mancarella: Database Updates through Abduction. VLDB 1990: 650-661

[KM2]

...

[Ll1]

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

[Ll2]

John W. Lloyd: Directions for Meta-Programming. FGCS 1988: 609-617

[Ma]

Sanjay Manchanda: Declarative Expression of Deductive Database Updates. PODS 1989: 93-100

[MB]

Rainer Manthey, François Bry: SATCHMO: A Theorem Prover Implemented in Prolog. CADE 1988: 415-434

[MW]

Sanjay Manchanda, David Scott Warren: A Logic-based Language for Database Updates. Foundations of Deductive Databases and Logic Programming. 1988: 363-394

[NY]

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

[Na]

Lee Naish: Declarative Diagnosis of Missing Answers. New Generation Comput. 10(3): 255-286(1992)

[PCA]

...

[PA]

...

[Pe]

Luís Moniz Pereira: Rational Debugging in Logic Programming. ICLP 1986: 203-210

[Po]

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

[RN]

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

[Re]

Raymond Reiter: A Logic for Default Reasoning. Artif. Intell. 13(1-2): 81-132(1980)

[Sm]

...

[Th]

...

[To]

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

[YS]

L. Ümit Yalçinalp, Leon Sterling: An Integrated Interpreter for Explaining Prolog's Successes and Failures. META 1988: 191-203