Towards 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-23T20:04:56Z | - |
dc.date.available | 2021-06-23T20:04:56Z | - |
dc.date.created | 2021-02-18 | - |
dc.date.issued | 2007-01 | - |
dc.identifier.uri | https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/43917 | - |
dc.description.abstract | Semistructured data is now widely used in both web applications and database systems. There are many research challenges in this area, such as data integration, change management, view definition, and data normalization. Traditionally in these areas a formalism is defined for the database model, and properties of the algorithms can be reasoned about, such as the dependency preserving property of the normalization algorithm in the relational data model. Because research into semistructured data is still in its infancy, many algorithms have been defined in this area and a number of formalisms have been proposed but there is no widely accepted formalism that is generally accepted to reason about the properties of the algorithms. Such a formalism must capture all the necessary semantics required to model the algorithms, should not be too complex, and should be easy to use. | - |
dc.language | 영어 | - |
dc.language.iso | en | - |
dc.publisher | Australian Computer Society, Inc. | - |
dc.title | Towards Verifying Semistructured Data | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | Lee, Scott Uk-Jin | - |
dc.identifier.bibliographicCitation | Proceedings of the 4th Asia-Pacific conference on Comceptual modelling, pp.11 - 14 | - |
dc.relation.isPartOf | Proceedings of the 4th Asia-Pacific conference on Comceptual modelling | - |
dc.citation.title | Proceedings of the 4th Asia-Pacific conference on Comceptual modelling | - |
dc.citation.startPage | 11 | - |
dc.citation.endPage | 14 | - |
dc.type.rims | ART | - |
dc.description.journalClass | 3 | - |
dc.description.isOpenAccess | N | - |
dc.description.journalRegisteredClass | other | - |
dc.identifier.url | https://dl.acm.org/doi/10.5555/1274453.1274457 | - |
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.