Lee, Scott Uk-Jin
2019-08-27T02:14:04Z
2019-08-27T02:14:04Z
2006-12
International Conference on Distributed Computing and Internet Technology; ICDCIT 2006: Distributed Computing and Internet Technology, Page. 361-374
978-3-540-68379-7
https://link.springer.com/chapter/10.1007/11951957_32
https://repository.hanyang.ac.kr/handle/20.500.11754/109959
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.
en_US
Springer Berlin Heidelberg
data model
semistructured data
automatic verification
Research into Verifying Semistructured Data
Article
4317
10.1007/11951957_32
361-371
LECTURE NOTES IN COMPUTER SCIENCE
Dobbie, Gillian
Sun, Jing
Li, Yuan Fang
Lee, Scott UK-Jin
2006206327
E
COLLEGE OF COMPUTING[E]
DIVISION OF COMPUTER SCIENCE
scottlee