Thémis: a database programming language with integrity constraints.

@inproceedings{DBLP:conf/dbpl/BenzakenD93,
  author    = {V{\'e}ronique Benzaken and
               Anne Doucet},
  editor    = {Catriel Beeri and
               Atsushi Ohori and
               Dennis Shasha},
  title     = {Th{\'e}mis: a database programming language with integrity
               constraints},
  booktitle = {Database Programming Languages (DBPL-4), Proceedings of the Fourth
               International Workshop on Database Programming Languages - Object
               Models and Languages, Manhattan, New York City, USA, 30 August
               - 1 September 1993},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1993},
  isbn      = {3-540-19853-9},
  pages     = {243-262},
  ee        = {db/conf/dbpl/BenzakenD93.html},
  crossref  = {DBLP:conf/dbpl/93},
  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-5 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

[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

[Car84]

...

[GM79]

Georges Gardarin, Michel A. Melkanoff: Proving Consistency of Database Transactions. VLDB 1979: 291-298 BibTeX

[HI85]

Arding Hsu, Tomasz Imielinski: Integrity Checking for Multiple Updates. SIGMOD Conference 1985: 152-168 BibTeX

[HMS89]

Richard Hull, Ronald Morrison, David W. Stemple (Eds.): Proceedings of the Second International Workshop on Database Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon. Morgan Kaufmann 1990, ISBN 1-55860-072-8
Contents BibTeX

[KSS87]

Robert A. Kowalski, Fariba Sadri, Paul Soper: Integrity Checking in Deductive Databases. VLDB 1987: 61-69 BibTeX

[LR89]

Christophe Lécluse, Philippe Richard: Modeling Complex Structures in Object-Oriented Databases. PODS 1989: 360-368 BibTeX

[LR90]

...

[Mar91]

...

[Nic79]

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

[SS89]

Tim Sheard, David W. Stemple: Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14(3): 322-368(1989) BibTeX

[Sto75]

Michael Stonebraker: Implementation of Integrity Constraints and Views by Query Modification. SIGMOD Conference 1975: 65-78 BibTeX

[WSK83]

Wolfgang Weber, Wolffried Stucky, Jakob Karszt: Integrity checking in data base systems. Inf. Syst. 8(2): 125-136(1983) BibTeX

Referenced by

1. David Spelt, Herman Balsters: Automatic Verification of Transactions on an Object-Oriented Database. DBPL 1997: 396-412
2. Véronique Benzaken, Anne Doucet: Thémis: A Database Programming Language Handling Integrity Constraints. VLDB J. 4(3): 493-517(1995)