Research into Verifying Semistructured Data

  • Gillian Dobbie
  • Jing Sun
  • Yuan Fang Li
  • Scott UK-Jin Lee
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4317)


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.


data model semistructured data automatic verification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    Arenas, M., Libkin, L.: A Normal Form for XML Documents. ACM Transactions on Database Systems 29(1), 195–232 (2004)CrossRefGoogle Scholar
  6. 6.
    Wang, J., Topor, R.: Removing XML Data Redundancies Using Functional and Equality Generating Dependencies. In: Proceedings of the Australasian Database Conference (2005)Google Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Milo, T., Suciu, D., Vianu, V.: Typechecking for XML Transformers. J. Comput. Syst. Sci. 66(1), 66–97 (2003)zbMATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    Ling, T.W., Lee, M.L., Dobbie, G.: Semistructured Database Design. Springer, Heidelberg (2005)zbMATHGoogle Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    Brickley, D., Guha, R. (eds.): Resource description framework (rdf) schema specification 1.0 (2004),
  16. 16.
    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),
  17. 17.
    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)Google Scholar
  18. 18.
    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)Google Scholar
  19. 19.
    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)Google Scholar
  20. 20.
    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)Google Scholar
  21. 21.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Gillian Dobbie
    • 1
  • Jing Sun
    • 1
  • Yuan Fang Li
    • 2
  • Scott UK-Jin Lee
    • 1
  1. 1.Department of Computer ScienceThe University of AucklandNew Zealand
  2. 2.School of ComputingNational University of SingaporeRepublic of Singapore

Personalised recommendations