Static integrity constraint management in object-oriented database programming languages via predicate transformers-Reference-Cited by-同舟云学术

Static integrity constraint management in object-oriented database programming languages via predicate transformers

Published:1997 Issue: Volume: Page:60-84
ISSN:0302-9743
Container-title:ECOOP'97 — Object-Oriented Programming
language:
Short-container-title:

Author:

Benzaken Véronique,Schaefer Xavier

Publisher

Springer Berlin Heidelberg

Link

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

Reference38 articles.

1. S. Abiteboul and A. Bonner. Objects and views. In ACM International Conference on Management of Data (SIGMOD), pages 238–248, Denver, Colorado, USA, May 1991.

2. A. Albano, R. Bergamini, G. Ghelli, and R. Orsini. An object data model with roles. In International Conference on Very Large Databases, pages 39–52, 1993.

3. A. Albano, R. Bergamini, G. Ghelli, and R. Orsini. Fibonacci: a programming language for object databases. VLDB Journal, 4(3):403–444, July 95.

4. John Boyland and Giuseppe Castagna. Type-safe compilation of covariant specialization: a practical case. In ECOOP'96, number 1008 in Lecture Notes in Computer Science, pages 3–25. Springer, 1996.

5. V. Benzaken and A. Doucet. Thémis: a database programming language with integrity constraints. In Shasha Beeri, Ohori, editor, Proceedings of the 4th International Workshop on Database Programming Languages, Workshop in Computing, pages 243–262, New York City, USA, September 1993. Springer-Verlag.

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

1. Integrity Constraint Verification of Structured Query Language by Abstract Interpretation;2022 OITS International Conference on Information Technology (OCIT);2022-12

2. Types and Constraints;Object-Oriented Technology;2015

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

4. Abstract interpretation of database query languages;Computer Languages, Systems & Structures;2012-07

5. Object-Oriented Constraints for XML Schema;Objects and Databases;2010