Skip to main content
SpringerLink
Log in

Orthogonal to the Java imperative

  • Conference paper
  • First Online:
ECOOP’98 — Object-Oriented Programming (ECOOP 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1445))

Included in the following conference series:

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.

This material is based upon work supported in part by the U.S. Army Research Office under grant no. DAAH04-96-1-0192.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. Alagić, S.: The ODMG Object Model: Does it Make Sense? Proceedings of the OOPSLA '97 Conference. ACM (1997) 253–270.

    Google Scholar 

  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. Alagić, S., Alagić, M.: Order-Sorted Model Theory for Temporal Executable Specifications, Theoretical Computer Science 179 (1997) 273–299.

    Article  MathSciNet  Google Scholar 

  6. Alagić, S.: A Statically Typed, Temporal Object-Oriented Database Technology, Transactions on Information and Systems 78. IEICE (1995) 1469–1476.

    Google Scholar 

  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. 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. 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. 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. Atkinson, M., Daynes, L., Jordan, M. J., Printezis, T., Spence, S.: An Orthogonally Persistent Javaℳ, ACM SIGMOD Record 25 (4) (1996) 68–75.

    Article  Google Scholar 

  12. Atkinson, M., Morrison, R.: Orthogonally Persistent Object Systems, VLDB Journal 4 (1995) 319–401.

    Article  Google Scholar 

  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. 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. 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. 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. Gosling, J., Joy, B., Steele, G.: The Java ℳ Language Specification. Addison-Wesley (1996).

    Google Scholar 

  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. Java Core Reflection, JDK 1.1, Sun Microsystems (1997).

    Google Scholar 

  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. 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. Liskov, B., Wing, J. M.: A Behavioral Notion of Subtyping, ACM Transactions on Programming Languages and Systems 16 (1994) 1811–1841.

    Article  Google Scholar 

  23. Lindholm, T., Yellin, F.: The Java ℳ Virtual Machine Specification. Addison-Wesley (1996).

    Google Scholar 

  24. Meyer, B.: Eiffel: the Language. Prentice-Hall (1992).

    Google Scholar 

  25. Meyer, B.: Object-Oriented Software Construction. Prentice-Hall (1997).

    Google Scholar 

  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. Odersky, M., Wadler, P.: Pizza into Java: Translating Theory into Practice, Proceedings of the POPL Conference. ACM (1997) 146–159.

    Google Scholar 

  28. Pierce, B. C.: Bounded Quantification is Undecidable, Proceedings of the POPL Conference. ACM (1993) 305–315.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Wichita State University, 67260-0083, Wichita, KS, USA

    Suad Alagić, Jose Solorzano & David Gitchell

Authors
  1. Suad Alagić
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jose Solorzano
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. David Gitchell
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Eric Jul

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alagić, S., Solorzano, J., Gitchell, D. (1998). Orthogonal to the Java imperative. In: Jul, E. (eds) ECOOP’98 — Object-Oriented Programming. ECOOP 1998. Lecture Notes in Computer Science, vol 1445. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0054093

Download citation

  • DOI: https://doi.org/10.1007/BFb0054093

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64737-9

  • Online ISBN: 978-3-540-69064-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation