Advertisement

Orthogonal to the Java imperative

  • Suad Alagić
  • Jose Solorzano
  • David Gitchell
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1445)

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.

Keywords

Declarative languages orthogonal persistence F-bounded polymorphism Java Virtual Machine 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abadi, M., Cardelli, L.: On Subtyping and Matching, Proceedings of ECOOP '96, Lecture Notes in Computer Science 1098. Springer-Verlag (1996) 145–167.Google Scholar
  2. 2.
    Alagić, S.: A Temporal Constraint System for Object-Oriented Databases, Constraint Databases and Applications, Proceedings of CDB '97 and CP '96 Workshops, Lecture Notes in Computer Science 1191. Springer-Verlag (1997) 208–218.Google Scholar
  3. 3.
    Alagić, S.: The ODMG Object Model: Does it Make Sense? Proceedings of the OOPSLA '97 Conference. ACM (1997) 253–270.Google Scholar
  4. 4.
    Alagić, S.: Constrained Matching is Type Safe, Proceedings of the 6th Database Programming Language Workshop (DBPL), 1997, Lecture Notes in Computer Science. Springer-Verlag (1998) (to appear).Google Scholar
  5. 5.
    Alagić, S., Alagić, M.: Order-Sorted Model Theory for Temporal Executable Specifications, Theoretical Computer Science 179 (1997) 273–299.MathSciNetCrossRefGoogle Scholar
  6. 6.
    Alagić, S.: A Statically Typed, Temporal Object-Oriented Database Technology, Transactions on Information and Systems 78. IEICE (1995) 1469–1476.Google Scholar
  7. 7.
    Alagić, S., Sunderraman, R., Bagai, R.: Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping, Proceedings of ECOOP '94, Lecture Notes in Computer Science 821. Springer-Verlag (1994) 236–259.Google Scholar
  8. 8.
    Alagić, S.: F-bounded Polymorphism for Database Programming Languages, Proceedings of the 2nd East-West Database Workshop, Workshops in Computing. Springer-Verlag (1994) 125–137.Google Scholar
  9. 9.
    Agesen, O., Freund, S., Mitchell, J. C.: Adding Type Parameterization to Java, Proceedings of the OOPSLA '97 Conference. ACM (1997) 49–65.Google Scholar
  10. 10.
    Atkinson, M., Bancilhon, F., DeWitt, D., Dittrich, K., Zdonik, S.: The Object-Oriented Database System Manifesto, Proceedings of the First Object-Oriented and Deductive Database Conference, Kyoto (1989) 223–240.Google Scholar
  11. 11.
    Atkinson, M., Daynes, L., Jordan, M. J., Printezis, T., Spence, S.: An Orthogonally Persistent Java, ACM SIGMOD Record 25 (4) (1996) 68–75.CrossRefGoogle Scholar
  12. 12.
    Atkinson, M., Morrison, R.: Orthogonally Persistent Object Systems, VLDB Journal 4 (1995) 319–401.CrossRefGoogle Scholar
  13. 13.
    Bruce, K., Schuett, A., van Gent, R.: PolyTOIL: a Type-Safe Polymorphic Object Oriented Language, Proceedings of ECOOP '95, Lecture Notes in Computer Science 952. Springer-Verlag (1996) 27–51.Google Scholar
  14. 14.
    Canning, P., Cook, W., Hill, W., Olthoff, W., Mitchell, J. C.: F-bounded Polymorphism for Object-Oriented Programming, Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture. ACM (1989) 273–280.Google Scholar
  15. 15.
    Cattell, R. G. G., Barry, D., Bartels, D., Berler, M., Eastman, J., Gamerman, S., Jordan, D., Springer, A., Strickland, H., Wade, D.: The Object Database Standard: ODMG 2.0. Morgan Kaufmann (1997).Google Scholar
  16. 16.
    Cooper, R., Kirby, G.: Type-Safe Linguistic Run-time Reflection: A Practical Perspective, Proceedings of the 6th Int. Workshop on Persistent Object Systems, Workshops in Computing. Springer-Verlag (1994) 331–354.Google Scholar
  17. 17.
    Gosling, J., Joy, B., Steele, G.: The Java Language Specification. Addison-Wesley (1996).Google Scholar
  18. 18.
    Gawecki, A., Matthes, F.: Integrating Subtyping, Matching and Type Quantification: A Practical Perspective, Proceedings of ECOOP '96, Lecture Notes in Computer Science 1098. Springer-Verlag (1996) 25–47.Google Scholar
  19. 19.
    Java Core Reflection, JDK 1.1, Sun Microsystems (1997).Google Scholar
  20. 20.
    Jordan, M.: Early Experiences with Persistent Java, Proceedings of the First Int. Workshop on Persistence and Java, SUN Microsystems Laboratories (1996).Google Scholar
  21. 21.
    Kaplan, A., Myrestrand, G. A., Ridgeway, J. V. E., Wileden, J. C.: Our SPIN on Persistent Java, Proceedings of the First Int. Workshop on Persistence and Java, SUN Microsystems Laboratories (1996).Google Scholar
  22. 22.
    Liskov, B., Wing, J. M.: A Behavioral Notion of Subtyping, ACM Transactions on Programming Languages and Systems 16 (1994) 1811–1841.CrossRefGoogle Scholar
  23. 23.
    Lindholm, T., Yellin, F.: The Java Virtual Machine Specification. Addison-Wesley (1996).Google Scholar
  24. 24.
    Meyer, B.: Eiffel: the Language. Prentice-Hall (1992).Google Scholar
  25. 25.
    Meyer, B.: Object-Oriented Software Construction. Prentice-Hall (1997).Google Scholar
  26. 26.
    Morrison, R., Brown, A. L., Connor, R., Dearle, A.: Napier88 Reference Manual, Universities of Glasgow and St. Andrews Technical Report PPRR-77-89 (1989).Google Scholar
  27. 27.
    Odersky, M., Wadler, P.: Pizza into Java: Translating Theory into Practice, Proceedings of the POPL Conference. ACM (1997) 146–159.Google Scholar
  28. 28.
    Pierce, B. C.: Bounded Quantification is Undecidable, Proceedings of the POPL Conference. ACM (1993) 305–315.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Suad Alagić
    • 1
  • Jose Solorzano
    • 1
  • David Gitchell
    • 1
  1. 1.Department of Computer ScienceWichita State UniversityWichitaUSA

Personalised recommendations