Research into Verifying Semistructured Data

  • Gillian Dobbie
  • Jing Sun
  • Yuan Fang Li
  • Scott UK-Jin Lee
Conference paper

DOI: 10.1007/11951957_32

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4317)
Cite this paper as:
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

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.

Keywords

data model semistructured data automatic verification 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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