Database programming in Machiavelli—a polymorphic language with static type inference
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
A proposal for making Eiffel type-safe
The Computer Journal - Special issue on object-oriented programming
Computational reflection in class based object-oriented languages
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Static type inference for parametric classes
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Exceeding the limits of polymorphism in database programming languages
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
Proceedings of the second international workshop on Database programming languages
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
F-bounded polymorphism for object-oriented programming
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Eiffel: the language
Safe and decidable type checking in an object-oriented language
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
The design of the E programming language
ACM Transactions on Programming Languages and Systems (TOPLAS)
An orthogonally persistent Java
ACM SIGMOD Record
The object database standard: ODMG 2.0
The object database standard: ODMG 2.0
The Java Language Specification
The Java Language Specification
Orthogonally persistent object systems
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
Tigukat: a uniform behavioral objectbase management system
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
Types for Data-Oriented Languages
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Type-Safe Compilation of Covariant Specialization: A Practical Case
ECCOP '96 Proceedings of the 10th European Conference on Object-Oriented Programming
Constrained Matching is Type Safe
DBLP-6 Proceedings of the 6th International Workshop on Database Programming Languages
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Parametric polymorphism for Java: a reflective solution
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Mostly-copying reachability-based orthogonal persistence
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Type-checking OQL queries in the ODMG type systems
ACM Transactions on Database Systems (TODS)
On type systems for object-oriented database programming languages
ACM Computing Surveys (CSUR)
Toward Automated Support for Transparent Interoperable Queries
Information Technology and Management
PM3: An Orthogonal Persistent Systems Programming Language - Design, Implementation, Performance
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
A Family of the ODMG Object Models
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
Parametric Polymorphism and Orthogonal Persistence
Proceedings of the International Symposium on Objects and Databases
Technology supporting business solutions
A multi-level architecture for distributed object bases
Data & Knowledge Engineering
Genericity in Java: persistent and database systems implications
The VLDB Journal — The International Journal on Very Large Data Bases
Semi-strong static type checking of object-oriented query languages
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
| Hi-index | 0.00 |
The ODMG Object Model is shown to have a number of problems. A major confusion is caused by the intended type of polymorphism and the way it is expressed in the Model. Dynamic type checking is required even in situations when static type checking is possible. There are situations in which there is no way that type checking can determine whether a particular construct is type correct or not. The model of persistence in the ODMG Standard is not orthogonal, which has undesirable pragmatic consequences on complex objects. The discrepancies between the ODMG Object Model and the particular language bindings of the ODMG Standard are non-trivial. This paper presents solutions to some of these problems together with the associated formal system. Without such a formal system the recommended ODMG bindings are open to a wide range of different, and sometimes confusing interpretations. The criticism expressed in the paper is intended to be helpful in developing future releases of the ODMG Standard.