24 0

Research into Verifying Semistructured Data

Title
Research into Verifying Semistructured Data
Author
Lee, Scott Uk-Jin
Keywords
data model; semistructured data; automatic verification
Issue Date
2006-12
Publisher
Springer Berlin Heidelberg
Citation
International Conference on Distributed Computing and Internet Technology; ICDCIT 2006: Distributed Computing and Internet Technology, Page. 361-374
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.
URI
https://link.springer.com/chapter/10.1007/11951957_32http://repository.hanyang.ac.kr/handle/20.500.11754/109959
ISBN
978-3-540-68379-7
DOI
10.1007/11951957_32
Appears in Collections:
COLLEGE OF COMPUTING[E] > COMPUTER SCIENCE(소프트웨어학부) > Articles
Files in This Item:
There are no files associated with this item.
Export
RIS (EndNote)
XLS (Excel)
XML


qrcode

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

BROWSE