Véronique Benzaken, Anne Doucet. Thémis: a database programming language with integrity constraints. In Catriel Beeri, Atsushi Ohori, Dennis Shasha, editors, 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. Workshops in Computing, pages 243-262, Springer, 1993. [doi]
@inproceedings{BenzakenD93,
title = {Thémis: a database programming language with integrity constraints},
author = {Véronique Benzaken and Anne Doucet},
year = {1993},
tags = {programming languages, constraints, programming, database},
researchr = {https://researchr.org/publication/BenzakenD93},
cites = {0},
citedby = {0},
pages = {243-262},
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},
editor = {Catriel Beeri and Atsushi Ohori and Dennis Shasha},
series = {Workshops in Computing},
publisher = {Springer},
isbn = {3-540-19853-9},
}