Updating Knowledge Bases While Maintaining Their Consistency.

@article{DBLP:journals/vldb/TenienteO95,
  author    = {Ernest Teniente and
               Antoni Oliv{\'e}},
  title     = {Updating Knowledge Bases While Maintaining Their Consistency},
  journal   = {VLDB J.},
  volume    = {4},
  number    = {2},
  year      = {1995},
  pages     = {193-241},
  ee        = {db/journals/vldb/TenienteO95.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1995 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.

Key Words

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/An4-1 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/aDVD2 or /dvd

References

[Abiteboul 1988]

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

[Atzeni & Torlone 1992]

Paolo Atzeni, Riccardo Torlone: Updating intensional predicates in Datalog. Data Knowl. Eng. 8: 1-17(1992)

[Bancilhion & Ramakrishnan 1986]

François Bancilhon, Raghu Ramakrishnan: An Amateur's Introduction to Recursive Query Processing Strategies. SIGMOD Conference 1986: 16-52

[Bancilhon & Spyratos 1981]

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

[Bol 1993]

Roland N. Bol: Loop Checking and Negation. J. Log. Program. 15(1&2): 147-175(1993)

[Bol et al. 1991]

Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop: An Analysis of Loop Checking Mechanisms for Logic Programs. Theor. Comput. Sci. 86(1): 35-79(1991)

[Bry 1990]

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

[Bry et al. 1990]

François Bry, Rainer Manthey, Bern Martens: Integrity Verification in Knowledge Bases. RCLP 1991: 114-139

[Cavedon & Lloyd 1989]

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

[Ceri et al. 1992]

Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Integrity Maintenance Systems: An Architecture. DAISD 1992: 327-344

[Ceri & Widom 1990]

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

[Clark 1978]

Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322

[Cosmodakis & Papadimitriou 1984]

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

[Date 1986]

...

[Dayal & Bernstein 1982]

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 1989]

...

[Decker 1990]

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

[Decker & Cavedon 1990]

Hendrik Decker, Lawrence Cavedon: Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution. CSL 1989: 98-115

[Fagin et al. 1986]

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

[Fagin et al. 1983]

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

[Furtado & Casanova 1985]

...

[Gallaire et al. 1984]

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

[Gärdenfors 1988]

...

[Guessom & Lloyd 1990]

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

[Guessom & Lloyd 1991]

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

[Kakas & Mancarella 1990]

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

[Keller 1985]

Arthur M. Keller: Algorithms for Translating View Updates to Database Updates for Views Involving Selections, Projections, and Joins. PODS 1985: 154-163

[Keller 1986]

Arthur M. Keller: Choosing a View Update Translator by Dialog at View Definition Time. VLDB 1986: 467-474

[Kowalski 1992]

Robert A. Kowalski: Database Updates in the Event Calculus. J. Log. Program. 12(1&2): 121-146(1992)

[Kunen 1989]

Kenneth Kunen: Signed Data Dependencies in Logic Programs. J. Log. Program. 7(3): 231-245(1989)

[Langerak 1990]

Rom Langerak: View Updates in Relational Databases with an Independent Scheme. ACM Trans. Database Syst. 15(1): 40-66(1990)

[Larson & Sheth 1991]

James A. Larson, Amit P. Sheth: Updating relational views using knowledge at view definition and view update time. Inf. Syst. 16(2): 145-168(1991)

[Lloyd 1987]

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

[Lloyd & Shepherdson 1991]

John W. Lloyd, John C. Shepherdson: Partial Evaluation in Logic Programming. J. Log. Program. 11(3&4): 217-242(1991)

[Lloyd & Topor 1984]

John W. Lloyd, Rodney W. Topor: Making Prolog more Expressive. J. Log. Program. 1(3): 225-240(1984)

[Manchanda & Warren 1988]

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

[Masunaga 1984]

Yoshifumi Masunaga: A Relational Database View Update Translation Mechanism. VLDB 1984: 309-320

[Moerkotte & Lockemann 1991]

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

[Nicolas 1982]

Jean-Marie Nicolas: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf. 18: 227-253(1982)

[Olivé 1989]

Antoni Olivé: On the design and implementation of information systems from deductive conceptual models. VLDB 1989: 3-11

[Olivé 1991]

Antoni Olivé: Integrity Constraints Checking In Deductive Databases. VLDB 1991: 513-523

[Reiter 1984]

...

[Sadri & Kowalski 1988]

Fariba Sadri, Robert A. Kowalski: A Theorem-Proving Approach to Database Integrity. Foundations of Deductive Databases and Logic Programming. 1988: 313-362

[Teniente 1992]

...

[Teniente & Olivé 1992]

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

[Teniente & Olivé 1994]

...

[Tomasic 1988]

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

[Torlone & Atzeni 1991]

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

[Ullman 1988]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents

[Urpí 1993]

...

[Urpí 1992]

Toni Urpí, Antoni Olivé: A Method for Change Computation in Deductive Databases. VLDB 1992: 225-237

[Winslett 1990]

...

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. Dimitris Plexousakis, John Mylopoulos: Accomodating Integrity Constraints During Database Design. EDBT 1996: 497-513
3. Hendrik Decker, Ernest Teniente, Toni Urpí: How to Tackle Schema Validation by View Updating. EDBT 1996: 535-549
4. Ernest Teniente, Toni Urpí: A Common Framework for Classifying and Specifying Deductive Database Updating Problems. ICDE 1995: 173-182