Type-safe versioned object query language

Journal of Universal Computer Science

Volumn 12, Issue 7, 2006, Pages 938-957

  Machado, Rodrigo ^a   Moreira, Álvaro Freitas ^a   De Matos Galante, Renata ^a   Moro, Mirella Moura ^b  

^a FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^b University of California Riverside   (United States)

Author keywords

Object oriented Database Management Systems; Operational Semantics; Query Languages; Type Systems

Indexed keywords

EID: 33748286931     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (31)

1. [Bierman 2003] Bierman, G. M. (2003). Formal semantics and analysis of object queries. In ACM SIGMOD International Conference on Management of Data, pages 407-418, San Diego, California, USA. New York: ACM Press.
2. [Bierman et al. 2005] Bierman, G. M., Meijer, E., and Schulte, W. (2005). The essence of data access in Cw. In Proceedings of ECOOP, volume 2736 of LNCS, pages 287-311. Springer-Verlag.
3. [Bierman and Trigoni 2000] Bierman, G. M. and Trigoni, A. (2000). Towards a formal type system for ODMG OQL. Technical report, University of Cambridge.
4. [Cattell et al. 2000] Cattell, R,., Barry, D., Bartels, D., Berler, M., Eastman, J., Gamerman, S., Jordan, D., Springer, A., Strickland, H., and Wade, D. (2000). The Object Data Standard: ODMG 3.0. Morgan Kaufmann, San Francisco. 280p.
5. [Christensen et al. 2002] Christensen, A. S., Muller, A., and Schwartzbach, M. I. (2002). Static analysis for dynamic XML. In Proceedings of PlanX.
6. [Colazzo et al. 2002] Colazzo, D., Ghelli, G., Manghi, P., and Sartiani, C. (2002). Types for correctness of queries over semistructured data. In WebDB, pages 19-24.
7. [Conradi and Westfechtel 1998] Conradi, R. and Westfechtel, B. (1998). Version models for software configuration management. ACM Comput. Surv., 30(2):232-282.
8. [Draper et al. 2005] Draper, D., Fankhauser, P., FERNNDEZ, M., Malhota, A., Rose, K., Rys, M., SIMON, J., and Wadler, P. (2005). XQuery 1.0 and XPath 2.0 formal semantics. In W3C Working Draft. ¡http://www.w3.org/TR./2003/ WD-xquery-semantics-20030502/¿.
9. [Galante et al. 2005] Galante, R. M., dos Santos, C. S., Edelweiss, N., and Álvaro Freitas Moreira (2005). Temporal and versioning approach to schema evolution in object-oriented databases. Data & Knowledge Engineering, 53(2):99-128.
10. [Galante et al. 2003a] Galante, R. M., Edelweiss, N., and dos Santos, C. S. (2003a). TVL_SE: Temporal and Versioning Language for Schema, Evolution in Object-Oriented Databases. In Intl. Conf. on Database and Expert Systems Applications, volume 2736 of LNCS, pages 683-692. Berlin: Springer-Verlag.
11. [Galante et al. 2003b] Galante, R. M., Edelweiss, N., dos Santos, C. S., and Álvaro Freitas Moreira, (2003b). Data modification language for full support of temporal schema versioning. In Brazilian Symposium on Databases, pages 114-128. UFAM.
12. [Gelatti et al. 2002] Gelatti, P. C., dos Santos, C. S., and Edelweiss, N. (2002). TV_ODMG: Uma Extensão do Padrão ODMG com Suporte para Tempo e Versões (in Portuguese). In SBBD, pages 42-56.
13. [Graunke et al. 2001] Graunke, P., Krishnamurthi, S., Hoeven, S. V. D., and Felleisen, M. (2001). Programming the web with high-level programming languages. In Proceedings of ASE.
14. [Hosoya and Pierce 2000] Hosoya, H. and Pierce, B. C. (2000). Xduce: A typed xml processing language (preliminary report). In WebDB (Selected Papers), pages 226-244.
15. [Katz 1990] Katz, R. H. (1990). Towards a unified framework for version modeling in engineering databases. ACM Computing Surveys, 22(4):375-408.
16. [Kiselyov and Krishnamurthi 2003] Kiselyov, O. and Krishnamurthi, S. (2003). SXSLT: A manipulation language for XML. In Proceedings of PAUL.
17. [Moro et al. 2002] Moro, M. M., Edelweiss, N., Zaupa, A. P., and dos Santos, C. S. (2002). TVQL - Temporal Versioned Query Language. In International Conference on Database and Expert Systems Applications, DEXA, 13., volume 2453 of Lecture Notes in Computer Science, pages 618-627, Aix-en-Provence, France. Berlin: Springer-Verlag.
18. [Moro et al. 2001a] Moro, M. M., Saggiorato, S. M., Edelweiss, N., and dos Santos, C. S. (2001a). Adding time to an object-oriented versions model. In International Conference on Database and Expert Systems Applications, DEXA, 12., volume 2113 of Lecture Notes in Computer Science, pages 805-814, Munich, Germany. Berlin: Springer- Verlag.
19. [Moro et al. 2001b] Moro, M. M., Saggiorato, S. M., Edelweiss, N., and dos Santos, C. S. (2001b). Dynamic systems specification using versions and time. In International Database Engineering & Applications Symposium, IDEAS, pages 99-107, Grenoble, France. Los Alamitos: IEEE Computer Society.
20. [Noy and Musen 2004] Noy, N. F. and Musen, M. A. (2004). Ontology versioning in an ontology management framework. IEEE Intelligent Systems, 19(4):6-13.
21. [OCaml 2006] OCaml (2006). Objective caml. http://www.caml.org.
22. [Robbes and Lanza 2005] Robbes, R. and Lanza, M. (2005). Versioning systems for evolution research. In Proceedings of IWPSE, pages 155-164.
23. [Siméon and Wadler 2003] Siméon, J. and Wadler, P. (2003). The essence of XML. In POPL, pages 1-13.
24. [Thiemann 2002] Thiemann, P. (2002). WASH/CGI: Server side web scripting with sessions and typed compositional forms. In Proceedings of PADL.
25. [Vagena et al. 2004] Vagena, Z., Moro, M. M., and Tsotras, V. J. (2004). Supporting branched versions on xml documents. In Proceedings of RIDE, pages 137-144.
26. [W3C XML Work Group 2006] W3C XML Work Group (2006). XML - extensible markup language. http://www.w3.org/XML.
27. [Welsh et al. 2002] Welsh, N., Solsona, F., and Glover, I. (2002). SchemeUnit and SchemeQL: Two litle languages. In Proceedings of Workshop on Scheme and functional programming.
28. [Westfechtel et al. 2001] Westfechtel, B., Munch, B. P., and Conradi, R. (2001). A layered architecture for uniform version management. IEEE Trans. Software Eng., 27(12):1111-1133.
29. [Wrembel and Morzy 2005] Wrembel, R. and Morzy, T. (2005). Multiversion data warehouses: Challenges and solutions. In Proceedings of ICCC, pages 137-144.
30. [Wright and Felleisen 1994] Wright, A. K. and Felleisen, M. (1994). A syntactic approach to type soundness. Information and Computation, 115(1):38-94.
31. [Zamulin 2003] Zamulin, A. V. (2003). Formal semantics of the ODMG 3.0 object query language. In ADBIS, pages 293-307.