Automatic verification of transactions on an object-oriented database-Reference-Cited by-同舟云学术

Automatic verification of transactions on an object-oriented database

Published:1998 Issue: Volume: Page:396-412
ISSN:0302-9743
Container-title:Database Programming Languages
language:
Short-container-title:

Author:

Spelt David,Balsters Herman

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-64823-2_22.pdf

Reference18 articles.

1. Piero Fraternali & Stefano Paraboschi, “A Review of Repairing Techniques for Integrity Maintenance,” in Proceedings First International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August–1 September, 1993, Norman W. Paton & M. Howard Williams, eds., Springer-Verlag, New York-Heidelberg-Berlin, 1994, 333–346.

2. Tim Sheard & David Stemple, “Automatic verification of database transaction safety,” ACM Trans. Database Syst. 14 (Sept., 1989), 322–368.

3. Veronique Benzaken & Doucet, “Themis: a database programming language with integrity constraints,” in Database programming languages (DBPL-4): Proceedings of the 4th International Workshop on Database Programming Languages, Object Models and languages, Springer-Verlag, 1994, 243–262.

4. Veronique Benzaken & Doucet, “Themis: a Database Programming Language Handling Integrity Constraints,” VLDB Journal 4 (1995).

5. Veronique Benzaken & Xavier Schaefer, “Ensuring efficiently the integrity of a persistent object store via abstract interpretation,” in Proceedings of the 7th International Workshop on Persistent Object Systems, Morgan Kaufmann, May, 1996.

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

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

2. A Theorem Prover-Based Analysis Tool for Object-Oriented Databases;Tools and Algorithms for the Construction and Analysis of Systems;1999

3. A Family of the ODMG Object Models;Advances in Databases and Information Systems;1999