Research into verifying semistructured data
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Dobbie, Gillian | - |
dc.contributor.author | Sun, Jing | - |
dc.contributor.author | Li, Yuan Fang | - |
dc.contributor.author | Lee, Scott UK-Jin | - |
dc.date.accessioned | 2021-06-23T22:39:04Z | - |
dc.date.available | 2021-06-23T22:39:04Z | - |
dc.date.issued | 2006-12 | - |
dc.identifier.uri | https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/45365 | - |
dc.description.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. | - |
dc.format.extent | 14 | - |
dc.language | 영어 | - |
dc.language.iso | ENG | - |
dc.publisher | Springer Verlag | - |
dc.title | Research into verifying semistructured data | - |
dc.type | Article | - |
dc.publisher.location | 미국 | - |
dc.identifier.doi | 10.1007/11951957_32 | - |
dc.identifier.scopusid | 2-s2.0-85101294813 | - |
dc.identifier.wosid | 000244776900032 | - |
dc.identifier.bibliographicCitation | Distributed Computing and Internet Technology Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006, v.4317, pp 375 - 388 | - |
dc.citation.title | Distributed Computing and Internet Technology Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006 | - |
dc.citation.volume | 4317 | - |
dc.citation.startPage | 375 | - |
dc.citation.endPage | 388 | - |
dc.type.docType | Proceedings Paper | - |
dc.description.isOpenAccess | N | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Information Systems | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Theory & Methods | - |
dc.subject.keywordPlus | XML | - |
dc.subject.keywordAuthor | data model | - |
dc.subject.keywordAuthor | semistructured data | - |
dc.subject.keywordAuthor | automatic verification | - |
dc.identifier.url | https://link.springer.com/chapter/10.1007/11951957_32 | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
55 Hanyangdeahak-ro, Sangnok-gu, Ansan, Gyeonggi-do, 15588, Korea+82-31-400-4269 sweetbrain@hanyang.ac.kr
COPYRIGHT © 2021 HANYANG UNIVERSITY. ALL RIGHTS RESERVED.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.