Abstract
The core of a model theory for a functional object-oriented data model extended with XML-like types is presented. The object-oriented component of this integrated paradigm is based on Featherweight Java and XML is represented by regular expression types. The main contributions are in extending both with general logic-based constraints and establishing results on schema and database evolution by inheritance that respects database integrity requirements. The paper shows that formally defined semantics of this integrated paradigm does indeed exist and in fact may be constructed in a model-theoretic fashion. The generality of the developed model theory and its relative independence of a particular logic basis makes it applicable to a variety of approaches to XML (as well as object-oriented) constraints. A pleasing property of this model theory is that it offers specific requirements for semantically acceptable evolution of these sophisticated schemas and their databases.
This material is based upon work supported in part by NSF under grant number IIS-9811452 and in part by the Institute for Information Sciences of the University of Southern Maine.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alagić, S.: Institutions: Integrating objects, XML and databases. Information and Software Technology 44, 207–216 (2002)
Alagić, S., Bernstein, P.A.: A model theory for generic schema management. In: Ghelli, G., Grahne, G. (eds.) DBPL 2001. LNCS, vol. 2397, pp. 228–246. Springer, Heidelberg (2002)
Alagić, S., Kouznetsova, S.: Behavioral compatibility of self-typed theories. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol. 2374, pp. 585–608. Springer, Heidelberg (2002)
Benedikt, M., Chee-Yong, C., Fan, W., Freire, J., Rastog, R.: Capturing both types and constraints in data integration. In: ACM SIGMOD Conference on Management of Data (2003)
Davidson, S., Fan, W., Hara, C., Jing, Q.: Propagating XML constraints to relations. In: The 19th International Conference on Data Engineering, ICDE (2003)
Fan, W., Libkin, L.: On XML constraints in the presence of DTDs. In: Proceedings of ACM PODS, pp. 114–125 (2001); also in Journal of the ACM 49(3), 368–406 (2002)
Fan, W., Simeon, J.: Integrity constraints for XML. Journal of Computer and System Sciences 66, 254–291 (2003)
Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.-C.: Reasoning about keys for XML. In: Ghelli, G., Grahne, G. (eds.) DBPL 2001. LNCS, vol. 2397, pp. 133–148. Springer, Heidelberg (2002)
Cattell, R.G.G., Barry, D., Berler, M., Eastman, J., Jordan, D., Russell, C., Schadow, O., Stanienda, T., Velez, F.: The Object Data Standard: ODMG 3.0. Morgan Kaufmann, San Francisco (2000)
Goguen, J.: Types as theories. In: Reed, G.M., Roscoe, A.W., Wachter, R.F. (eds.) Topology and Category Theory in Computer Science, pp. 357–390. Clarendon Press, Oxford (1991)
Gapeyev, V., Pierce, B.: Regular object types. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743, pp. 151–175. Springer, Heidelberg (2003)
Hosoya, H., Vouillon, J., Pierce, B.: Regular expression types for XML. In: Proceedings of ICFP, pp. 11–22 (2000)
Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal calculus for Java and GJ. In: Proceedings of OOPSLA 2001, and in ACM Transactions on Programming Languages and Systems 23(3) (2001)
JAXB documentation, http://www.oasis-open.org/cover/jaxb.html
JDOM documentation, http://www.jdom.org/
Kuper, G.M., Simeon, J.: Subsumption for XML types. In: Van den Bussche, J., Vianu, V. (eds.) ICDT 2001. LNCS, vol. 1973, pp. 331–345. Springer, Heidelberg (2000)
Liskov, B., Wing, J.M.: A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems 16, 1811–1841 (1994)
Meijer, E., Schulte, W.: Unifying tables, objects and documents, Microsoft Research (2003)
Milo, T., Suciu, D., Vianu, V.: Typechecking for XML transformers. Journal of Computer and Systems Sciences 66, 66–67 (2003)
W3C: XML Schema, http://www.w3c.org/XML/schema
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alagić, S., Briggs, D. (2004). Semantics of Objectified XML Constraints. In: Lausen, G., Suciu, D. (eds) Database Programming Languages. DBPL 2003. Lecture Notes in Computer Science, vol 2921. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24607-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-24607-7_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20896-9
Online ISBN: 978-3-540-24607-7
eBook Packages: Springer Book Archive