Type-Checking OQL Queries in the ODMG Type Systems

ACM Transactions on Database Systems

Volumn 24, Issue 3, 1999, Pages 319-360

  Alagić, Suad ^a  

^a Wichita State University   (United States)

Author keywords

H.2.3 Database Management : Languages Query languages; Data description languages (DDL); Database (persistent) programming languages; H.2.4 Database Management : Systems Object oriented databases

Indexed keywords

C (PROGRAMMING LANGUAGE); DATA DESCRIPTION; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; STANDARDIZATION; STANDARDS;

DATA DESCRIPTION LANGUAGES (DDL); INHERITANCE; LANGUAGE CONSTRUCTS; OBJECT-ORIENTED DATABASES; PARAMETRIC POLYMORPHISM; TYPE SYSTEMS;

QUERY LANGUAGES;

EID: 0001298897     PISSN: 03625915     EISSN: None     Source Type: Journal    
DOI: 10.1145/328939.328943     Document Type: Article

References (33)

1. ABADI, M. AND CARDELLI, L. 1996. On subtyping and matching. ACM Trans. Program. Lang. Syst. 18, 4, 401-423.
2. AGESEN, O., FREUND, S. N., AND MITCHELL, J. C. 1997. Adding type parameterization to the Java language. SIGPLAN Not. 32, 10, 49-65.
3. ALAGIĆ, S. 1994. F-bounded polymorphism for database programming languages. In Proceedings of the East West Workshop on Databases. Springer-Verlag, Vienna, Austria, 125-137.
4. ALAGIĆ, S. 1997. The ODMG object model: does it make sense? SIGPLAN Not. 32, 10, 253-270.
5. ALAGIĆ, S. 1998. Constrained matching is type safe. In Proceedings of the Sixth International Workshop on Database Programming Languages (LNCS 1369). Springer-Verlag, New York, 78-96.
6. ALAGIĆ, S., SOLORZANO, J., AND GITCHELL, D. 1998. Orthogonal to the Java imperative. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP '98, LNCS 1445). Springer-Verlag, New York, 212-233.
7. ALAGIĆ, S. 1999. O2 and the ODMG standard: Do they match? Theor. Pract. Object Syst. 5, 4.
8. ALAGIĆ, S. AND SOLORZANO, J. 1998. Implementing Java OQL using linguistic reflection. To appear.
9. ATKINSON, M., BANCILHON, F., DEWITT, D., DITTRICH, K., AND ZDONIK, S. 1989. The object-oriented database system manifesto. In Proceedings of the First Conference on Object-Oriented and Deductive Databases (Kyoto) 223-240.
10. ATKINSON, M. AND MORRISON, R. 1995. Orthogonally persistent object systems. VLDB J. 4, 319-401.
11. 2. Morgan Kaufmann Publishers Inc., San Francisco, CA.
12. BRACHA, G., ODERSKY, M., STOUTAMIRE, D., AND WADLER, P. 1998. Making the future safe for the past: adding genericity to the Java programming language. SIGPLAN Not. 33, 10, 183-200.
13. BRUCE, K. B., CRABTREE, J., MURTAGH, T. P., VAN GENT, R., DIMOCK, A., AND MULLER, R. 1993. Safe and decidable type checking in an object-oriented language. SIGPLAN Not. 28, 10 (Oct. 1, 1993), 29-46.
14. BRUCE, K., SCHUETT, A., AND VAN GENT, R. 1995. PolyTOIL: A type-safe polymorphic object-oriented language. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP '95, LNCS 952). Springer-Verlag, New York, NY, 27-51.
15. BUNEMAN, P. AND OHORI, A. 1996. Polymorphism and type inference in database programming. ACM Trans. Database Syst. 21, 1, 30-76.
16. CANNING, P., COOK, W., HILL, W., OLTHOFF, W., AND MITCHELL, J. C. 1989. F-bounded polymorphism for object-oriented programming. In Proceedings of the Fourth International Conference on Functional Programming Languages and Computer Architecture (FPCA '89, Imperial College, London, Sept. 11-13, 1989), J. E. Stoy, Ed. ACM Press, New York, NY, 273-280.
17. CARDELLI, L. 1988. Types for data oriented languages. In Proceedings of the Conference on Advances in Database Technology (EDBT '88, LNCS 303). Springer-Verlag, New York, 1-15.
18. CATTELL, R. G. G., BARRY, D., BARTELS, D., BERLER, M., EASTMAN, J., GAMERMAN, S., JORDAN, D., SPRINGER, A., STRICKLAND, H., AND WADE, D. 1997. The Object Database Standard: ODMG 2.0. Morgan Kaufmann Publishers Inc., San Francisco, CA.
19. COOK, W. R., HILL, W., AND CANNING, P. S. 1990. Inheritance is not subtyping. In Proceedings of the 17th Annual ACM Symposium on Principles of Programming Languages (POPL '90, San Francisco, CA, Jan. 17-19, 1990), F. E. Allen, Ed. ACM Press, New York, NY, 125-135.
20. COOK, W. R. 1989. A proposal for making Eiffel type-safe. Comput. J. 32, 4 (Aug. 1989), 305-311.
21. COOPER, R. AND KIRBY, G. 1994. Type-safe linguistic run-time reflection: A practical perspective. In Proceedings of the 6th International Workshop on Persistent Object Systems (Tarascon, France, Sept.) Springer-Verlag, New York, 331-354.
22. DROSSOPOULOU, S. AND EISENBACH, S. 1997. Java is type safe - probably. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP '97, LNCS 1241). Springer-Verlag, New York, 389-443.
23. GOSLING, J., JOY, B., AND STEELE, G. 1996. The Java Language Specification. Addison-Wesley, Reading, MA.
24. MEYER, B. 1992. Eiffel: The Language. Prentice-Hall Object-Oriented Series. Prentice-Hall, Inc., Upper Saddle River, NJ.
25. OHORI, A. AND BUNEMAN, P. 1989. Static type inference for parametric classes. SIGPLAN Not. 24, 10 (Oct. 1989), 445-450.
26. OHORI, A., BUNEMAN, P., AND BREAZU-TANNEN, V. 1989. Database programming in Machiavelli - A polymorphic language with static type inference. SIGMOD Rec. 18, 2 (June 1989), 46-57.
27. O2, 1998. ODMG Java Binding User Manual. Ardent Software.
28. ODERSKY, M. AND WADLER, P. 1997. Pizza into Java: Translating theory into practice. In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '97, Paris, France, Jan. 15-17, 1997), P. Lee, Ed. ACM Press, New York, NY, 146-159.
29. PIERCE, B. C. 1992. Bounded quantification is undecidable. In Proceedings of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '92, Albuquerque, NM, Jan. 19-22, 1992), R. Sethi, Ed. ACM Press, New York, NY, 305-315.
30. SOLORZANO, J. H. AND ALAGIĆ, S. 1998. Parametric polymorphism for Java: A reflective solution. SIGPLAN Not. 33, 10, 216-225.
31. STEMPLE, D., FEGARAS, L., SHEARD, T., AND SOCORRO, A. 1990. Exceeding the limits of polymorphism in database programming languages. In Proceedings of the International Conference on Advances in Database Technology (EDBT '90, LNCS 416, Venice, Italy, Mar. 26-30, 1990), F. Bancilhon, C. Thanos, and D. Tsichritzis, Eds. Springer-Verlag, New York, NY, 269-285.
32. STEMPLE, D., STANTON, R. B., SHEARD, T., PHILBROW, P., MORRISON, R., KIRBY, G., FEGARAS, L., COOPER, R. L., ATKINSON, M., AND ALAGIĆ, S. 1992. Type-safe linguistic reflection: A generator technology. ESPRIT Res. Rep. CS/92/6. Dept. of Mathematical and Computational Sciences, University of St. Andrews. In The FIDE Book, Springer-Verlag, to appear.
33. STROUSTRUP, B. 1991. The C++ Programming Language. 2nd ed. Addison-Wesley, Reading, MA.