Differential Relational Calculus for Integrity Maintenance.

@article{DBLP:journals/tkde/Orman98,
  author    = {Levent V. Orman},
  title     = {Differential Relational Calculus for Integrity Maintenance},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {10},
  number    = {2},
  year      = {1998},
  pages     = {328-341},
  ee        = {db/journals/tkde/Orman98.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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

Online Edition: IEEE Computer Society DL

References

[1]

...

[2]

...

[3]

...

[4]

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

[5]

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

[6]

Isamu Kobayashi: Losslessness and semantic correctness of database schema transformation: another look of schema equivalence. Inf. Syst. 11(1): 41-59(1986) BibTeX

[7]

Alon Y. Levy, Yehoshua Sagiv: Queries Independent of Updates. VLDB 1993: 171-181 BibTeX

[8]

William McCune, Lawrence J. Henschen: Maintaining state constraints in relational databases: a proof theoretic basis. J. ACM 36(1): 46-68(1989) BibTeX

[9]

Amihai Motro: Integrity = Validity + Completeness. ACM Trans. Database Syst. 14(4): 480-502(1989) BibTeX

[10]

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

[11]

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

[12]

Levent V. Orman: Queries = Examples + Counterexamples. Inf. Syst. 21(8): 615-635(1996) BibTeX

[13]

Levent V. Orman: Relational Database Constraints as Counterexamples. Acta Inf. 34(3): 167-189(1997) BibTeX

[14]

Robert Paige, Shaye Koenig: Finite Differencing of Computable Expressions. ACM Trans. Program. Lang. Syst. 4(3): 402-454(1982) BibTeX

[15]

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

[16]

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

[17]

Michael Stonebraker, Eric N. Hanson, Spyros Potamianos: The POSTGRES Rule Manager. IEEE Trans. Software Eng. 14(7): 897-907(1988) BibTeX

[18]

Allan Shepherd, Larry Kerschberg: PRISM: A Knowledge Based System for Semantic Integrity Specification and Enforcement in Database Systems. SIGMOD Conference 1984: 307-315 BibTeX

[19]

Susan Darling Urban, Lois M. L. Delcambre: Constraint Analysis: A Design Process for Specifying Operations on Objects. IEEE Trans. Knowl. Data Eng. 2(4): 391-400(1990) BibTeX