Orthogonal to the java imperative

Abstract

Three nontrivial limitations of the existing Java™ technology are considered from the viewpoint of object-oriented database technology. The limitations are: Lack of support for orthogonal persistence, lack of parametric (and in fact bounded and F-bounded) polymorphism and lack of an assertion (constraint) language. These limitations are overcome by leaving Java as it is, and developing a declarative (query in particular) component of the Java technology. This declarative language is implemented on top of the Java Virtual Machine, extended with orthogonal and transitive persistence. The model of persistence also features complex name space management.