Type-safe relaxing of schema consistency rules for flexible modelling in OODBMS

VLDB Journal

Volumn 5, Issue 2, 1996, Pages 133-150

  Amiel, Eric ^c   Bellosta, Marie Jo ^b   Dujardin, Eric ^a   Simon, Eric ^a  

^a INRIA ROCQUENCOURT   (France)

^b UNIVERSITÉ PARIS DAUPHINE   (France)

^c NatSoft   (Switzerland)

Author keywords

Contravariance; Covariance; Object oriented databases; Schema evolution; Type safety

Indexed keywords

EID: 0004627509     PISSN: 10668888     EISSN: None     Source Type: Journal    
DOI: 10.1007/s007780050020     Document Type: Article

References (35)

1. Abadi M, Cardelli L, Pierce B, Plotkin G (1989) Dynamic typing in a statistically-typed language. In: Proc POPL, Austin, Tex, January
2. Agrawal R, DeMichiel LG, Lindsay BG (1991) Static type checking of multi-methods. In: Proceedings of the Sixth International Conference on Object-Oriented Programming: Systems, Languages and Applications, Phoenix, Ariz, October
3. Abiteboul S, Kanellakis P, Waller E (1990) Method schemas. In: Proceedings of the Fourth ACM Symposium on the Principles of Database Systems, Nashville, 10 April
4. Amiel E (1994) Schémas orientés-objet: Exceptions à la cohérence comportementale et envoi de multi-méthodes. PhD thesis, University of Pans VI
5. Apple Computer (1994) Dylan interim reference manual, June. Available by ftp from ftp.cambridge.apple.com in /pub/dylan/dylan-manual
6. Banerjee J, Kim W, Kim HJ, Korth HF (1987) Semantics and implementation of schema evolution in object-oriented databases. In: Proceedings of the ACM SIGMOD International Conference on Management Of Data, San Francisco, Calif, June
7. Bobrow DG, Kahn K, Kiczales G, Masinter L, Stefik M, Zdybel F (1986) CommonLoops: merging Lisp and object-oriented programming. In: Proceedings of the First International Conference on Object-Oriented Programming: Systems, Languages and Applications, Portland, Ore, September
8. Bobrow DG, DeMichiel LG, Gabriel RP, Keene S, Kiczales G, Moon DA (1988) Common Lisp Object System specification. SIGPLAN Not, 23, September
9. Borgida A (1988) Modeling class hierarchies with contradictions. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Chicago, Ill, June
10. Borgida A (1989) Type systems for querying class hierarchies with non-strict inheritance. In: Proceedings of the Eigth ACM Symposium on Principles of Database Systems, Philadelphia, Pa, March
11. Bruce KB (1993) Safe type-checking in a statically-typed object-oriented programming language. In: Proc POPL, January
12. Canning P, Cook W, Hill W, Olthoff W (1989) F-bounded polymorphism for object-oriented programming: In Proceedings of the International Conference on Functional Programming and Computer Architecture, London, UK, September
13. Cardelli L (1984) A semantics of multiple inheritance. In: Proceedings of the Symposium on Semantics of Data Types. (Lecture notes on computer science, vol 173) Springer, Berlin Heidelberg New York
14. Cardelli L, Wegner P (1985) On understanding types, data abstraction, and polymorphism. ACM Comput Surv, 17:471-522
15. Cattaneo F, Coen-Porisini A, Lavazza L, Zicari R (1993) Overview and progress report of the ESSE project: supporting object-oriented database schema analysis and evolution. In: Proceedings of the Eleventh International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, Calif, August
16. Cattell RGG (ed) (1994) The object database standard: ODMG-93. Morgan Kaufmann, San Mateo, Calif
17. Chambers C (1992) Object-oriented multi-methods in Cecil. In: Proceedings of the Sixth European Conference on Object-Oriented Programming, Utrecht, Netherlands, June
18. Coen-Porisini A, Lavazza L, Zicari R (1991) Updating the schema of an object-oriented database. IEEE Data Eng Bull, 14:33-37
19. Connor RCH, Morrison R (1992) Subtyping without tears. In: Proceedings of the Australian Computer Science Conference, Sydney, February
20. Connor RCH, McNally D, Morrison R (1991) Subtyping and assignment in database programming languages. In: Proceedings of the Second International Workshop on Database Programming Languages, Gleneden Beach, Ore, August
21. Cook W (1989) A proposal to make Eiffel type-safe. In: Proceedings of the Third European Conference on Object-Oriented Programming, Nottingham, UK, July
22. Danforth S (1990) Multi-targetted virtual functions for OODG. In: INRIA, Proceedings of the Sixth Journées Bases de Donnees Avancées, Montpellier, France, September
23. Danforth S, Simon E (1992) A data and operation model for advanced database systems. In: Papazoglou MP, Zeleznikow J (eds) The next generation of information systems: from data to knowledge. (Lecture notes in computer science, vol 611)
24. DeMichiel LG, Chamberlin DD, Lindsay BG, Agrawal R, Arya M (1993) Polyglot: extensions to relational databases for sharable types and functions in a multi-language environment. In Proceedings of the International Conference on Data Engineering, Vienna, Austria, April
25. Formica A, Missikoff M (1994) Correctness of isa hierarchies in object-oriented database schemas. In: Proc EDBT, Cambridge, March
26. Kemper A, Moerkotte G (1994) Object- oriented database management: applications in engineering and computer science. Prentice-Hall, Englewood Cliffs, NJ
27. Lajoie J (1993) The new language extensions. C++ Rep, 5:47-52
28. Madsen OL, Magnusson B, Moller-Pedersen B (1990) Strong typing of object- oriented languages revisited. In: Proc ECOOP- OOPSLA
29. McKenzie R (1992) An algebraic model of class, inheritance, and message passing. PhD thesis, Computer Science Dept., University of Texas at Austin
30. Melton J (ed) (1994) ISO Working Draft. SQL persistent stored modules (SQL/PSM). ANSI X3H2-94-331, August
31. Meyer B (1992) EIFFEL: the language. Prentice-Hall, Englewood Cliffs, NJ
32. Mugridge WB, Hamer J, Hosking JG (1991) Multi-methods in a statistically-typed programming language. In: Proceedings of the Fifth European Conference on Object-Oriented Programming, Geneva, Switzerland, July
33. O2 Technology (1992) The O2 user's manual
34. Waller E (1991) Schema updates and consistency. In Delobel C, Kifer M, Masunaga Y (eds) Proceedings of the Second International Conference on Deductive and Object-Oriented Databases. (Lecture notes in computer science, vol 566) Springer, Berlin Heidelberg New York
35. Zdonik S, Maier D (1989) Fundamentals of object-oriented databases. In: Zdonik S, Maier D (eds) Readings in object-oriented databases. Morgan-Kaufmann, San Mateo, Calif, pp 1-32