dblp.uni-trier.de www.dagstuhl.de www.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}
}

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 ...

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BM86]
François Bry, Rainer Manthey: Checking Consistency of Database Constraints: a Logical Basis. VLDB 1986: 13-20 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Car84]
...
[GM79]
Georges Gardarin, Michel A. Melkanoff: Proving Consistency of Database Transactions. VLDB 1979: 291-298 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[HI85]
Arding Hsu, Tomasz Imielinski: Integrity Checking for Multiple Updates. SIGMOD Conference 1985: 152-168 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KSS87]
Robert A. Kowalski, Fariba Sadri, Paul Soper: Integrity Checking in Deductive Databases. VLDB 1987: 61-69 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[LR89]
Christophe Lécluse, Philippe Richard: Modeling Complex Structures in Object-Oriented Databases. PODS 1989: 360-368 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[LR90]
...
[Mar91]
...
[Nic79]
Jean-Marie Nicolas: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf. 18: 227-253(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SS89]
Tim Sheard, David W. Stemple: Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14(3): 322-368(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Sto75]
Michael Stonebraker: Implementation of Integrity Constraints and Views by Query Modification. SIGMOD Conference 1975: 65-78 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[WSK83]
Wolfgang Weber, Wolffried Stucky, Jakob Karszt: Integrity checking in data base systems. Inf. Syst. 8(2): 125-136(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Mon Sep 17 23:24:28 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page