A Common Framework for Classifying and Specifying Deductive Database Updating Problems.

@inproceedings{DBLP:conf/icde/TenienteU95,
  author    = {Ernest Teniente and
               Toni Urp\'{\i}},
  editor    = {Philip S. Yu and
               Arbee L. P. Chen},
  title     = {A Common Framework for Classifying and Specifying Deductive Database
               Updating Problems},
  booktitle = {Proceedings of the Eleventh International Conference on Data
               Engineering, March 6-10, 1995, Taipei, Taiwan},
  publisher = {IEEE Computer Society},
  year      = {1995},
  isbn      = {0-8186-6910-1},
  pages     = {173-182},
  ee        = {db/conf/icde/TenienteU95.html},
  crossref  = {DBLP:conf/icde/95},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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

[Abi88]

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

[BDM88]

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

[CW90]

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

[CW91]

Stefano Ceri, Jennifer Widom: Deriving Production Rules for Incremental View Maintenance. VLDB 1991: 577-589

[DW89]

Subrata Kumar Das, M. Howard Williams: A Path Finding Method for Constraint Checking in Deductive Databases. Data Knowl. Eng. 4: 223-244(1989)

[Dec90]

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

[GL91]

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

[GCM+94]

Matilde Celma, Carlos Garcia, Laura Mota-Herranz, Hendrik Decker: Comparing and Synthesizing Integrity Checking Methods for Deductive Databases. ICDE 1994: 214-222

[GMN84]

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

[GMS93]

Ashish Gupta, Inderpal Singh Mumick, V. S. Subrahmanian: Maintaining Views Incrementally. SIGMOD Conference 1993: 157-166

[HCK+90]

Eric N. Hanson, Moez Chaabouni, Chang-Ho Kim, Yu-Wang Wang: A Predicate Matching Algorithm for Database Rule Systems. SIGMOD Conference 1990: 271-280

[HD92]

John V. Harrison, Suzanne W. Dietrich: Maintenance of Materialized Views in a Deductive Database: An Update Propagation Approach. Workshop on Deductive Databases, JICSLP 1992: 56-65

[KM90]

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

[Kow83]

Robert A. Kowalski: Logic Programming. IFIP Congress 1983: 133-145

[Küc91]

Volker Küchenhoff: On the Efficient Computation of the Difference Between Concecutive Database States. DOOD 1991: 478-502

[Llo87]

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

[ML91]

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

[Oli91]

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

[QW91]

Xiaolei Qian, Gio Wiederhold: Incremental Recomputation of Active Relational Expressions. IEEE Trans. Knowl. Data Eng. 3(3): 337-341(1991)

[RCB=89]

Arnon Rosenthal, Sharma Chakravarthy, Barbara T. Blaustein, José A. Blakeley: Situation Monitoring for Active Databases. VLDB 1989: 455-464

[SK88]

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

[TA91]

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

[TO92]

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

[TO95]

Ernest Teniente, Antoni Olivé: Updating Knowledge Bases While Maintaining Their Consistency. VLDB J. 4(2): 193-241(1995)

[Ull88]

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

[UO92]

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

[UO94]

Toni Urpí, Antoni Olivé: Semantic Change Computation Optimization in Active Databases. RIDE-ADS 1994: 19-27

[Wüt93]

Beat Wüthrich: On Updates and Inconsistency Repairing in Knowledge Bases. ICDE 1993: 608-615