How to Tackle Schema Validation by View Updating.

@inproceedings{DBLP:conf/edbt/DeckerTU96,
  author    = {Hendrik Decker and
               Ernest Teniente and
               Toni Urp\'{\i}},
  editor    = {Peter M. G. Apers and
               Mokrane Bouzeghoub and
               Georges Gardarin},
  title     = {How to Tackle Schema Validation by View Updating},
  booktitle = {Advances in Database Technology - EDBT'96, 5th International
               Conference on Extending Database Technology, Avignon, France,
               March 25-29, 1996, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1057},
  year      = {1996},
  isbn      = {3-540-61057-X},
  pages     = {535-549},
  ee        = {db/conf/edbt/DeckerTU96.html},
  crossref  = {DBLP:conf/edbt/96},
  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

[ABC82]

W. Richards Adrion, Martha A. Branstad, John C. Cherniavsky: Validation, Verification, and Testing of Computer Software. ACM Comput. Surv. 14(2): 159-192(1982) BibTeX

[BDM88]

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

[BM86]

François Bry, Rainer Manthey: Checking Consistency of Database Constraints: a Logical Basis. VLDB 1986: 13-20 BibTeX

[BR86]

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

[Bub86]

...

[CDM93]

...

[CO92]

Dolors Costal, Antoni Olivé: A Method for Reasoning About Deductive Conceptual Models of Information Systems. CAiSE 1992: 612-631 BibTeX

[Dec89]

...

[GMN84]

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

[GSUW94]

Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom: Constraint Checking with Partial Information. PODS 1994: 45-55 BibTeX

[IKH92]

Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa: Embedding Negation as Failure into a Model Generation Theorem Prover. CADE 1992: 400-415 BibTeX

[Kun84]

...

[LMSS93]

Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli: Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. PODS 1993: 109-122 BibTeX

[LS95]

Alon Y. Levy, Yehoshua Sagiv: Semantic Query Optimization in Datalog Programs. PODS 1995: 163-173 BibTeX

[Llo87]

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

[Min82]

Jack Minker: On Indefinite Databases and the Closed World Assumption. CADE 1982: 292-308 BibTeX

[Oli91]

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

[OS95]

Antoni Olivé, Maria-Ribera Sancho: A Method for Explaining the Behaviour of Conceptual Models. CAiSE 1995: 12-25 BibTeX

[TO92]

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

[TO95]

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

[TU95]

Ernest Teniente, Toni Urpí: A Common Framework for Classifying and Specifying Deductive Database Updating Problems. ICDE 1995: 173-182 BibTeX

[Ull88-1]

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

[Ull88-2]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents BibTeX

[UO92]

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

[VF85]

...