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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1241, Issue , 1997, Pages 60-84

  Benzaken, Véronique ^a,b   Schaefer, Xavier ^a,b  

^a UNIVERSITÉ PARIS 1 PANTHÉON SORBONNE   (France)

^b UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

Author keywords

[No Author keywords available]

Indexed keywords

OBJECT-ORIENTED DATABASES; PROBLEM ORIENTED LANGUAGES;

ABSTRACT INTERPRETATIONS; DATABASE PROGRAMMING LANGUAGES; EXTENDED VERSIONS; INTEGRITY CONSTRAINTS; PREDICATE TRANSFORMERS; RUN-TIME CHECKING; RUN-TIME CHECKS; STATIC VERIFICATION;

OBJECT ORIENTED PROGRAMMING;

EID: 84947939218     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053374     Document Type: Conference Paper

References (38)

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. GheUi, 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. Th6mis: 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.
6. V. Benzaken and A. Doucet. Th6mis: A Database Programming Language Handling Integrity Constraints. VLDB Journal, 4(3):493-518, 1995.
7. F. Bry, H. Decker, and R. Manthey. A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. In Missikoff Schmidt, Ceri, editor, Proceedings of the EDBT International Conference, LNCS 303, pages 488-505, 1988.
8. F. Bry and R. Manthey. Checking Consistency of Database Constraints: A Logical Basis. In Proceedings of the VLDB International Conference, pages 13-20, August 1986.
9. V. Benzaken and X. Schaefer. Abstract interpretation and predicate transformers: an application to integrity constraints management. Technical Report 1002, L.R.I, Universit6 de Paris XI, 1995.
10. V. Benzaken and X. Schaefer. Ensuring efficiently the integrity of persistent object systems via abstract interpretation. In S. Nettles and R. Connor, editors, Seventh International Workshop on Persistent Object Systems, Cape May, U.S.A, June 1996. Morgan-Kaufmann. To appear.
11. Giuseppe Castagna. Object-Oriented Programming: A Unified Foundation. Progress in Theoretical Computer Science. Birkiiuser, Boston, 1996. ISBN 3-7643-3905-5.
12. M. A. Casanova and P. A. Bernstein. A formal system for reasonning about programs accessing a relational database. ACM Transactions on Database Systems, 2(3):386-414, July 80.
13. P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In 4th POPL, Los Angeles, CA, pages 238-252, January 1977.
14. P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In 6th popl, San Antonio, Texas, pages 269-282, January 1979.
15. C. Collet, T. Coupaye, and T. Svenson. Naos - efficient and modular reactive capabilities in an oodbms. In Proceedings of the Twentieth International Conference on Very Large Databases (VLDB), pages 132-144, Santiago, Chile, September 1994.
16. S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca. Active rule management in chimera. Morgan Kaufmann, 1994.
17. E. M. Clarke. Programming languages constructs for which it is impossible to obtain good hoare axiom systems. Journal of the ACM, 26(1):129-147, January 79.
18. S. Ceri and J. Widom. Deriving production rules for constraint maintenance. In Proceedings of the VLDB International Conference, pages 566-577, Brisbane, Australia, August 90.
19. E..W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976.
20. E. W. Dijkstra and C. S. Scholten. Predicate Calculus and Program Semantics. Texts and Monographs in Computer Science. Springer-Verlag, 1990.
21. Melvin Fitting. First-order logic and automated theorem proving. Texts and monographs in computer science. Springer-Verlag, 1990.
22. G. Gardarin and M. Melkanoff. Proving the Consistency of Database Transactions. In VLDB International Conference, pages 291-298, Rio, Brasil, October 1979.
23. L. Henschen, W. Mc Cune, and S. Naqvi. Compiling constraint checking programs from first order formulas. In H. Gallalre, J. Minker, and J.M. Nicolas, editors, Advances in Database Theory, volume 2. Plenum, 1984.
24. A. Hsu and T. Imielinski. Integrity Checking for Multiple Updates. In Proceedings of the A CM SIGMOD International Conference, pages 152-168, 1985.
25. N.D. Jones and F. Nielson. Abstract interpretation. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Semantic Modelling, volume 4 of Handbook of Logic in Computer Science, chapter 5, pages 527-636. Oxford Science Publication, 1995.
26. R. Kowalski, F. Sadri, and P. Soper. Integrity Checking in Deductive Databases. In Proceedings of the VLDB International Conference, pages 61-70, 1987.
27. Michael Lawley. Transaction safety in deductive object-oriented databases. In Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases, Singapore, number 1013 in LNCS, pages 395-410. Springer-Verlag, Dec 1995.
28. J. W. Lloyd and R. W. Topor. A basis for deductive database systems. Journal of Logic Programming, 2(2), 1985.
29. Bertrand Meyer. Object-Oriented Software Construction. Prentice-Hall International Series, 1988.
30. Bertrand Meyer. Eiffel: The Language. Prentice Hall, 1991.
31. J.M. Nicolas. Logic for Improving Integrity Checking in Relational Databases. Technical report, ONERA-CERT, 1979.
32. Xiaolei Qian. An axiom system for database transactions. Information Processing letters, 36:183-189, November 1990.
33. Xiaolei Qian. The deductive synthesis of database transactions. A CM Transactions on Database Systems, 18(4):626-677, December 1993.
34. C. Sousa, C. Delobel, and S. Abiteboul. Virtual schemas and bases. In M. Jaxke, J. Bubenko, and K Jeffery, editors, International Conference on Extending Database Technology, number 779 in LNCS, pages 81-95. Springer-Verlag, 1994.
35. E. Simon, J. Kiernan, and C. de Maindreville. Implementing high level active rules on top of a relational dbms. In Proceedings of the Eighteenth International Conference on Very Large Database (VLDB), pages 315-326, Vancouver, British Columbia, August 1992.
36. T. Sheard and D. Stemple. Automatic Verification of Database Transaction Safety. ACM Transaction on Database Systems, 14(3):322-368, September 1989.
37. M. Stonebraker. Implementation of Integrity Constraints and Views by Query Modification. In ACM SIGMOD International Conference, San Jose, California, May 1975.
38. W. Weber, W. Stugky, and J. Karzt. Integrity Checking in database systems. Information Systems, 8(2):125-136, 1983.