Th�mis: A database programming language handling integrity constraints-Reference-Cited by-同舟云学术

Th�mis: A database programming language handling integrity constraints

Published:1995-07 Issue:3 Volume:4 Page:493-517
ISSN:1066-8888
Container-title:The VLDB Journal
language:en
Short-container-title:VLDB Journal

Author:

Benzaken V�ronique,Doucet Anne

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Information Systems

Link

http://link.springer.com/content/pdf/10.1007/BF01231645.pdf

Reference24 articles.

1. Atkinson, M. and Buneman, P. Types and persistence in database programming languages.ACM Computing Surveys 0(0):00-00, 1987.

2. Benzaken, V. and Doucet, A. Thémis: A database programming language with integrity constraints.Proceedings of the Fourth International Workshop on Database Programming Languages, Workshop in Computing, New York, 1993.

3. Benzaken, V., Doucet, A., and Schaefer, X. Integrity constraint checking optimization based on abstract databases generation and program analysis.Journal de l'Ingénierie des Systèmes d'Information, 1(3):9?29, 1995.

4. Benzaken, V., Lécluse, C., and Richard, P. Enforcing integrity constraints in data-base programming languages.Proceedings of the Fifth International Workshop on Persistent Object Systems, Workshop in Computing, Pisa, Italy, 1992.

5. Blaustein, B.T., Enforcing database assertions. Ph.D. thesis, Harvard University, Computer Science Department, Cambridge, MA, 1981.

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verifiable Object-Oriented Transactions;Lecture Notes in Computer Science;2014

2. Maintaining Database Integrity with Refinement Types;Lecture Notes in Computer Science;2011

3. Verification Technology for Object-Oriented/XML Transactions;Lecture Notes in Computer Science;2010

4. Consistency of Java Transactions;Database Programming Languages;2004

5. A set-oriented method definition language for object databases and its semantics;Concurrency and Computation: Practice and Experience;2003-12-10