Please use this identifier to cite or link to this item:
https://doi.org/10.1109/ASWEC.2008.4483213
DC Field | Value | |
---|---|---|
dc.title | Correctness criteria for normalization of semistructured data | |
dc.contributor.author | Lee, S.U.-J. | |
dc.contributor.author | Sun, J. | |
dc.contributor.author | Dobbie, G. | |
dc.contributor.author | Groves, L. | |
dc.contributor.author | Li, Y.F. | |
dc.date.accessioned | 2013-07-04T08:09:23Z | |
dc.date.available | 2013-07-04T08:09:23Z | |
dc.date.issued | 2008 | |
dc.identifier.citation | Lee, S.U.-J.,Sun, J.,Dobbie, G.,Groves, L.,Li, Y.F. (2008). Correctness criteria for normalization of semistructured data. Proceedings of the Australian Software Engineering Conference, ASWEC : 248-257. ScholarBank@NUS Repository. <a href="https://doi.org/10.1109/ASWEC.2008.4483213" target="_blank">https://doi.org/10.1109/ASWEC.2008.4483213</a> | |
dc.identifier.isbn | 0769531008 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/40658 | |
dc.description.abstract | The rapid increase in semistructured data usage has lead to the development of various database systems for semistructured data. Web services and applications that utilize large amounts of semistructured data require data to remain consistent and be stored efficient. Several normalization algorithms for semistructured database systems have been developed to satisfy these needs. However, these algorithms lack the verification that would ensure that data and constraints among the data are not lost or corrupted during normalization. In this paper, we propose a set of correctness criteria for normalization of semistructured data, which require that functional dependencies are preserved, data is not lost, and spurious data is not created during normalization. We use the Z specification language to provide a precise and declarative definition of our criteria. Formal Specification, Semistructured Data, Normalization, ORA-SS, Z. © 2008 IEEE. | |
dc.description.uri | http://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1109/ASWEC.2008.4483213 | |
dc.source | Scopus | |
dc.type | Conference Paper | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.description.doi | 10.1109/ASWEC.2008.4483213 | |
dc.description.sourcetitle | Proceedings of the Australian Software Engineering Conference, ASWEC | |
dc.description.page | 248-257 | |
dc.identifier.isiut | NOT_IN_WOS | |
Appears in Collections: | Staff Publications |
Show simple item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.