31 0

Verifying Semistructured Data Normalization using PVS

Title
Verifying Semistructured Data Normalization using PVS
Author
Lee, Scott Uk-Jin
Keywords
Computing and Processing; Database systems; Formal languages; XML; Relational databases; Computer science; Multimedia databases; Data engineering; Sun; Mathematics; Statistics; PVS; Formal Verification; Semistructured Data; Normalization; ORA-SS
Issue Date
2008-03
Publisher
IEEE Computer Society
Citation
13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008), Article no. 4492875, Page. 15-24
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.
URI
https://ieeexplore.ieee.org/document/4492875http://repository.hanyang.ac.kr/handle/20.500.11754/104357
ISBN
978-0-7695-3139-7; 0-7695-3139-3
DOI
10.1109/ICECCS.2008.23
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