On Updates and Inconsistency Repairing in Knowledge Bases.

@inproceedings{DBLP:conf/icde/Wuthrich93,
  author    = {Beat W{\"u}thrich},
  title     = {On Updates and Inconsistency Repairing in Knowledge Bases},
  booktitle = {Proceedings of the Ninth International Conference on Data Engineering,
               April 19-23, 1993, Vienna, Austria},
  publisher = {IEEE Computer Society},
  year      = {1993},
  isbn      = {0-8186-3570-3},
  pages     = {608-615},
  ee        = {db/conf/icde/Wuthrich93.html},
  crossref  = {DBLP:conf/icde/93},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1993 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

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-6 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

[1]

Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 BibTeX

[2]

Philip A. Bernstein, Barbara T. Blaustein: Fast Methods for Testing Quantified Relational Calculus Assertions. SIGMOD Conference 1982: 39-50 BibTeX

[3]

Joachim Biskup, Bernhard Convent: Towards a Schema Design Methodology for Deductive Databases. MFDBS 1989: 37-52 BibTeX

[4]

Thierry Barsalou, Arthur M. Keller, Niki Siambela, Gio Wiederhold: Updating Relational Databases through Object-Based Views. SIGMOD Conference 1991: 248-257 BibTeX

[5]

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

[6]

Stefano Ceri, Jennifer Widom: Deriving Production Rules for Constraint Maintainance. VLDB 1990: 566-577 BibTeX

[7]

...

[8]

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

[9]

Robert Demolombe: Syntactical Characterization of a Subset of Domain-Independent Formulas. J. ACM 39(1): 71-94(1992) BibTeX

[10]

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

[11]

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

[12]

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

[13]

Hirofumi Katsuno, Alberto O. Mendelzon: Propositional Knowledge Base Revision and Minimal Change. Artif. Intell. 52(3): 263-294(1992) BibTeX

[14]

Phokion G. Kolaitis: The Expressive Power of Stratified Programs. Inf. Comput. 90(1): 50-66(1991) BibTeX

[15]

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

[16]

...

[17]

Guido Moerkotte, Peter C. Lockemann: Reactive Consistency Control In Deductive Databases. ACM Trans. Database Syst. 16(4): 670-702(1991) BibTeX

[18]

Luc De Raedt, Maurice Bruynooghe: Belief Updating from Integrity Constraints and Queries. Artif. Intell. 53(2-3): 291-307(1992) BibTeX

[19]

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

[20]

...

[21]

Ken Satoh, Noboru Iwayama: Computing Abduction by Using the TMS. ICLP 1991: 505-518 BibTeX

[22]

Peter Schäuble, Beat Wüthrich: On the Expressive Power of Query Languages. ACM Trans. Inf. Syst. 12(1): 69-91(1994) BibTeX

[23]

Riccardo Torlone, Paolo Atzeni: Updating Deductive Databases with Functional Dependencies. DOOD 1991: 278-291 BibTeX

[24]

Ernest Teniente, Antoni Olivé: The Events Method for View Updating in Deductive Databases. EDBT 1992: 245-260 BibTeX

[25]

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

[26]

Andreas Weber: Updating Propositional Formulas. Expert Database Conf. 1986: 487-500 BibTeX

[27]

...

[28]

...

[29]

...

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. Ernest Teniente, Toni Urpí: A Common Framework for Classifying and Specifying Deductive Database Updating Problems. ICDE 1995: 173-182
3. Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Automatic Generation of Production Rules for Integrity Maintenance. ACM Trans. Database Syst. 19(3): 367-422(1994)
4. Suryanarayana M. Sripada, Beat Wüthrich: Cumulative Updates. VLDB 1994: 534-545
5. Elena Baralis, Stefano Ceri, Stefano Paraboschi: Declarative Specification of Constraint Maintenance. ER 1994: 205-222