ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

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

Véronique Benzaken, Anne Doucet: Thémis: a database programming language with integrity constraints. DBPL 1993: 243-262
@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}
}
BibTeX

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 5, SSDBM, DBPL, KRDB, ADBIS, COOPIS, SIGBDP" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

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)
BibTeX

Copyright © Sat May 16 23:06:00 2009 by Michael Ley (ley@uni-trier.de)