Orthogonal to the Java Imperative

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.

[1]  Florian Matthes,et al.  Integrating Subtyping, Matching and Type Quantification: A Practical Perspective , 1996, ECOOP.

[2]  Malcolm P. Atkinson,et al.  An orthogonally persistent Java , 1996, SGMD.

[3]  Frank Yellin,et al.  The Java Virtual Machine Specification , 1996 .

[4]  Rajshekhar Sunderraman,et al.  Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping , 1994, ECOOP.

[5]  Suad Alagic.  A Temporal Constraint System for Object-Oriented Databases , 1997, CDB.

[6]  Stephen N. Freund,et al.  Adding type parameterization to the Java language , 1997, OOPSLA '97.

[7]  Bertrand Meyer,et al.  Object-Oriented Software Construction, 2nd Edition , 1997 .

[8]  Mick J. Jordan.  Early Experiences with Persistent Java , 1996 .

[9]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[10]  Martin Odersky,et al.  Pizza into Java: translating theory into practice , 1997, POPL '97.

[11]  Kim B. Bruce,et al.  PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language , 1995, ECOOP.

[12]  Mara Alagic,et al.  Order-Sorted Model Theory for Temporal Executable Specifications , 1997, Theor. Comput. Sci..

[13]  Richard Cooper,et al.  Type-Safe Linguistic Run-time Reflection - A Practical Perspective , 1994, Workshop on Persistent Objects.

[14]  Suad Alagic.  F-Bounded Polymorphism for Database Programming Languages , 1994, East/West Database Workshop.

[15]  Martín Abadi,et al.  On subtyping and matching , 1995, TOPL.

[16]  Suad Alagic,et al.  The ODMG object model: does it make sense? , 1997, OOPSLA '97.

[17]  Bertrand Meyer,et al.  Eiffel: The Language , 1991 .

[18]  Suad Alagic.  Constrained Matching is Type Safe , 1997, DBPL.

[19]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[20]  Sun Fire V20z.  Sun Microsystems , 1996 .

[21]  John C. Mitchell,et al.  F-bounded polymorphism for object-oriented programming , 1989, FPCA.

[22]  Guy L. Steele,et al.  The Java Language Specification , 1996 .

[23]  Suad Alagic.  A Statically Typed, Temporal Object-Oriented Database Technology , 1995, IEICE Trans. Inf. Syst..

[24]  Benjamin C. Pierce,et al.  Bounded quantification is undecidable , 1992, POPL '92.

[25]  David Jordan,et al.  The Object Database Standard: ODMG 2.0 , 1997 .

[26]  Jack C. Wileden,et al.  Our spin on persistent javatm: the java spin approach , 1996 .

[27]  Jeannette M. Wing,et al.  A behavioral notion of subtyping , 1994, TOPL.