Research into verifying semistructured data
- Authors
- Dobbie, Gillian; Sun, Jing; Li, Yuan Fang; Lee, Scott UK-Jin
- Issue Date
- Dec-2006
- Publisher
- Springer Verlag
- Keywords
- data model; semistructured data; automatic verification
- Citation
- Distributed Computing and Internet Technology Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006, v.4317, pp 375 - 388
- Pages
- 14
- Indexed
- SCIE
SCOPUS
- Journal Title
- Distributed Computing and Internet Technology Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006
- Volume
- 4317
- Start Page
- 375
- End Page
- 388
- URI
- https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/45365
- DOI
- 10.1007/11951957_32
- 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.
- Files in This Item
-
Go to Link
- Appears in
Collections - COLLEGE OF COMPUTING > ERICA 컴퓨터학부 > 1. Journal Articles
![qrcode](https://api.qrserver.com/v1/create-qr-code/?size=55x55&data=https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/45365)
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.