Abstract
This paper presents an object-oriented representation of the core structural and constraint-related features of XML Schema. The structural features are represented within the limitations of object-oriented type systems including particles (elements and groups) and type hierarchies (simple and complex types and type derivations). The applicability of the developed representation is demonstrated through a collection of complex object-oriented queries. The main novelty is that features of XML Schema that are not expressible in object-oriented type systems such as range constraints, keys and referential integrity, and type derivation by restriction are specified in an object-oriented assertion language Spec#. An assertion language overcomes major problems in the object-oriented/XML mismatch. It allows specification of schema integrity constraints and transactions that are required to preserve those constraints. Most importantly, Spec# technology comes with automatic static verification of code with respect to the specified constraints. This technology is applied in the paper to transaction verification.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alagić, S., Royer, M., Briggs, D.: Verification technology for object-oriented/XML transactions. In: Norrie, M.C., Grossniklaus, M. (eds.) ICOODB 2009. LNCS, vol. 5936, pp. 23–40. Springer, Heidelberg (2010)
Alagić, S., Bernstein, P.: An object-oriented core for XML Schema, Microsoft Research Technical Report MSR-TR-2008-182 (December 2008), http://research.microsoft.com/apps/pubs/default.aspx?id=76533
Alagić, S., Bernstein, P.: Mapping XSD to OO schemas. In: Norrie, M.C., Grossniklaus, M. (eds.) ICOODB 2009. LNCS, vol. 5936, pp. 149–166. Springer, Heidelberg (2010)
Alagić, S., Royer, M., Briggs, D.: Verification theories for XML Schema. In: Bell, D.A., Hong, J. (eds.) BNCOD 2006. LNCS, vol. 4042, pp. 262–265. Springer, Heidelberg (2006)
Alagić, S., Logan, J.: Consistency of Java transactions. In: Lausen, G., Suciu, D. (eds.) DBPL 2003. LNCS, vol. 2921, pp. 71–89. Springer, Heidelberg (2004)
Benzanken, V., Schaefer, X.: Static integrity constraint management in object-oriented database programming languages via predicate transformers. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 60–84. Springer, Heidelberg (1997)
Data Contracts, http://msdn2.microsoft.com/en-us/library/ms123402.aspx
Document Object Model (DOM), http://www.w3.org/TR/REC-DOM-Level-1/
Lammel, R., Meijer, E.: Revealing the X/O impedance mismatch, Datatype-Generic Programming. In: Backhouse, R., Gibbons, J., Hinze, R., Jeuring, J. (eds.) SSDGP 2006. LNCS, vol. 4719, pp. 285–367. Springer, Heidelberg (2007)
Language Integrated Query, Microsoft Corporation, http://msdn.microsoft.com/en-us/vbasic/aa904594.aspx
Microsoft Corp., LINQ to XML, http://msdn.microsoft.com/en-us/library/bb387098.aspx
Microsoft Corp., LINQ to XSD Alpha 0.2 (2008), http://blogs.msdn.com/xmlteam/archive/2006/11/27/typed-xml-programmer-welcome-to-LINQ.aspx
Microsoft Corp., Spec#, http://research.microsoft.com/specsharp/
Microsoft Corp., XML.: Schema Object Model (SOM) (vs.71).aspx, http://msdn2.microsoft.com/en-us/library/bs8hh90b
Shariar, Md.S., Liu, J.: Checking satisfaction of XML referential integrity constraints. In: Liu, J., Wu, J., Yao, Y., Nishida, T. (eds.) AMT 2009. LNCS, vol. 5820, pp. 148–159. Springer, Heidelberg (2009)
Sheard, T., Stemple, D.: Automatic verification of database transaction safety. ACM Transactions on Database Systems 14, 322–368 (1989)
Spelt, D., Even, S.: A theorem prover-based analysis tool for object-oriented databases. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol. 1579, pp. 375–389. Springer, Heidelberg (1999)
W3C: XML Schema 1.1, http://www.w3.org/XML/Schema
XML Data Binder, http://www.liquid-technologies.com/XmlStudio/Xml-Data-Binder.aspx
XMLBeans, http://xmlbeans.apache.org
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alagić, S., Bernstein, P.A., Jairath, R. (2010). Object-Oriented Constraints for XML Schema. In: Dearle, A., Zicari, R.V. (eds) Objects and Databases. ICOODB 2010. Lecture Notes in Computer Science, vol 6348. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16092-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-16092-9_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16091-2
Online ISBN: 978-3-642-16092-9
eBook Packages: Computer ScienceComputer Science (R0)