Abstract
Semistructured data is now widely used in both web applications and database systems. Much of the research into this area defines algorithms that transform the data and schema, such as data integration, change management, view definition, and data normalization. While some researchers have defined a formalism for the work they have undertaken, there is no widely accepted formalism that can be used for the comparison of algorithms within these areas. The requirements of a formalism that would be helpful in these situations are that it must capture all the necessary semantics required to model the algorithms, it should not be too complex and it should be easy to use. This paper describes a first step in defining such a formalism. We have modelled the semantics expressed in the ORA-SS (Object Relationship Attribute data model for SemiStructured data) data modelling notation in two formal languages that have automatic verification tools. We compare the two models and present the findings.
This is a preview of subscription content, log in via an institution to check access.
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
Li, Y.F., Sun, J., Dobbie, G., Sun, J., Wang, H.H.: Validating Semistructured Data Using OWL. In: Yu, J.X., Kitsuregawa, M., Leong, H.-V. (eds.) WAIM 2006. LNCS, vol. 4016, Springer, Heidelberg (2006)
Lee, S., Dobbie, G., Sun, J.: PVS Approach to Verifying ORA-SS Data Models. In: Proceedings of the 18th International Conference on Software Engineering and Knowledge Engineering (2006)
Embley, D.W., Mok, W.Y.: Developing XML Documents with Guaranteed ”Good” Properties. In: Kunii, H.S., Jajodia, S., Sølvberg, A. (eds.) ER 2001. LNCS, vol. 2224, Springer, Heidelberg (2001)
Wu, X., Ling, T.W., Lee, M.L., Dobbie, G.: Designing Semistructured Databases Using the ORA-SS Model. In: WISE 2001: Proceedings of 2nd International Conference on Web Information Systems Engineering, Kyoto, Japan, IEEE Computer Society, Los Alamitos (2001)
Arenas, M., Libkin, L.: A Normal Form for XML Documents. ACM Transactions on Database Systems 29(1), 195–232 (2004)
Wang, J., Topor, R.: Removing XML Data Redundancies Using Functional and Equality Generating Dependencies. In: Proceedings of the Australasian Database Conference (2005)
Mani, M., Lee, D., Muntz, R.R.: Semantic Data Modeling Using XML Schemas. In: Kunii, H.S., Jajodia, S., Sølvberg, A. (eds.) ER 2001. LNCS, vol. 2224, Springer, Heidelberg (2001)
Vincent, M.W., Liu, J., Liu, C.: Strong Functional Dependencies and their Application to Normal Forms in XML. ACM Transactions on Database Systems 29(3), 445–462 (2004)
Neven, F., Schwentick, T., Suciu, D. (eds.): Foundations of Semistructured Data. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), vol. 05061. Schloss Dagstuhl, Germany (2005)
Milo, T., Suciu, D., Vianu, V.: Typechecking for XML Transformers. J. Comput. Syst. Sci. 66(1), 66–97 (2003)
Jagadish, H.V., Lakshmanan, L.V.S., Srivastava, D., Thompson, K.: TAX: A Tree Algebra for XML. In: Ghelli, G., Grahne, G. (eds.) DBPL 2001. LNCS, vol. 2397, pp. 149–164. Springer, Heidelberg (2002)
Dobbie, G., Wu, X., Ling, T., Lee, M.: ORA-SS: Object-Relationship-Attribute Model for Semistructured Data. Technical Report TR 21/00, School of Computing, National University of Singapore (2001)
Ling, T.W., Lee, M.L., Dobbie, G.: Semistructured Database Design. Springer, Heidelberg (2005)
Nardi, D., Brachman, R.: An introduction to description logic. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.) The description logic handbook: theory, implementation, and applications, pp. 1–40. Cambridge University Press, Cambridge (2003)
Brickley, D., Guha, R. (eds.): Resource description framework (rdf) schema specification 1.0 (2004), http://www.w3.org/TR/rdf-schema/
Connolly, D., van Harmelen, F., Horrocks, I., McGuiness, D., Patel-Schneider, P., Stein, L. (eds.): Reference description of the DAML+OIL ontology markup language (2001), http://www.w3.org/TR/daml+oil-reference
Horrocks, I., Patel-Schneider, P.F., v.H.F.: From SHIQ and RDF to OWL: The making of a web ontology language. J.of Web Semantics 1(1), 7–26 (2003)
Owre, S., Rushby, J.M., Shankar, N.: PVS: A Prototype Verification System. In: Kapur, D. (ed.) CADE 1992. LNCS, vol. 607, pp. 748–752. Springer, Heidelberg (1992)
Lawford, M., Wu, H.: Verification of real-time control software using PVS. In: Ramadge, P., Verdu, S. (eds.) Proceedings of the 2000 Conference on Information Sciences and Systems, Princeton, NJ, Dept.of Electrical Engineering, Princeton University, vol. 2, TP1–13–TP1–17 (2000)
Srivas, M., Rueß, H., Cyrluk, D.: Hardware Verification Using PVS. In: Kropf, T. (ed.) Formal Hardware Verification. LNCS, vol. 1287, pp. 156–205. Springer, Heidelberg (1997)
Vitt, J., Hooman, J.: Assertional Specification and Verification Using PVS of the Steam Boiler Control System. In: Abrial, J.-R., Börger, E., Langmaack, H. (eds.) Dagstuhl Seminar 1995. LNCS, vol. 1165, pp. 453–472. Springer, Heidelberg (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dobbie, G., Sun, J., Li, Y.F., Lee, S.UJ. (2006). Research into Verifying Semistructured Data. In: Madria, S.K., Claypool, K.T., Kannan, R., Uppuluri, P., Gore, M.M. (eds) Distributed Computing and Internet Technology. ICDCIT 2006. Lecture Notes in Computer Science, vol 4317. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11951957_32
Download citation
DOI: https://doi.org/10.1007/11951957_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68379-7
Online ISBN: 978-3-540-68380-3
eBook Packages: Computer ScienceComputer Science (R0)