Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lee, Scott Uk-Jin | - |
dc.date.accessioned | 2019-05-16T06:50:42Z | - |
dc.date.available | 2019-05-16T06:50:42Z | - |
dc.date.issued | 2008-03 | - |
dc.identifier.citation | 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008), Article no. 4492875, Page. 15-24 | en_US |
dc.identifier.isbn | 978-0-7695-3139-7 | - |
dc.identifier.isbn | 0-7695-3139-3 | - |
dc.identifier.uri | https://ieeexplore.ieee.org/document/4492875 | - |
dc.identifier.uri | https://repository.hanyang.ac.kr/handle/20.500.11754/104357 | - |
dc.description.abstract | The dramatic expansion of semistructured data has led to the development of database systems for manipulating the data. Despite its huge potential, there is still a lack of formality and verification support in the design of good semistructured databases. Like traditional database systems, developed semistructured database systems should contain minimal redundancies and update anomalies, in order to store and manage the data effectively. Several normalization algorithms have been proposed to satisfy these needs, by transforming the schema of the semistructured data into a better form. It is essential to ensure that the normalized schema remains semantically equivalent to its original form. In this paper, we present tool support for reasoning about the correctness of semistructured data normalization. The proposed approach uses the ORA-SS data modeling notation and defines its correctness criteria and rules in the PVS formal language. It further utilizes the PVS theorem prover to perform automated checking on the normalized schema, checking that functional dependencies are preserved, no data is lost and no spurious data is created. In summary, our approach not only investigates the characteristics of semistructured data normalization, but also provides a scalable and automated first step towards reasoning about the correctness of normalization algorithms on semistructured data. | en_US |
dc.language.iso | en_US | en_US |
dc.publisher | IEEE Computer Society | en_US |
dc.subject | Computing and Processing | en_US |
dc.subject | Database systems | en_US |
dc.subject | Formal languages | en_US |
dc.subject | XML | en_US |
dc.subject | Relational databases | en_US |
dc.subject | Computer science | en_US |
dc.subject | Multimedia databases | en_US |
dc.subject | Data engineering | en_US |
dc.subject | Sun | en_US |
dc.subject | Mathematics | en_US |
dc.subject | Statistics | en_US |
dc.subject | PVS | en_US |
dc.subject | Formal Verification | en_US |
dc.subject | Semistructured Data | en_US |
dc.subject | Normalization | en_US |
dc.subject | ORA-SS | en_US |
dc.title | Verifying Semistructured Data Normalization using PVS | en_US |
dc.type | Article | en_US |
dc.identifier.doi | 10.1109/ICECCS.2008.23 | - |
dc.relation.page | 15-24 | - |
dc.contributor.googleauthor | Lee, Scott Uk-Jin | - |
dc.contributor.googleauthor | Sun, Jing | - |
dc.contributor.googleauthor | Dobbie, Gillian | - |
dc.contributor.googleauthor | Groves, Lindsay | - |
dc.sector.campus | E | - |
dc.sector.daehak | COLLEGE OF COMPUTING[E] | - |
dc.sector.department | DIVISION OF COMPUTER SCIENCE | - |
dc.identifier.pid | scottlee | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.