Correctness criteria for normalization of semistructured data

Lee, Scott Uk-Jin, Sun, Jing, Dobbie, Gillian, Groves, Lindsay and Li, Yuan Fang (2008). Correctness criteria for normalization of semistructured data. In: Farookh Khadeer Hussain, Elizabeth Chang and Stephanie Kawada, Australian Software Engineering Conference: Proceedings. 19th Australian Software Engineering Conference: ASWEC 2008. Australian Software Engineering Conference [ASWEC], Perth, WA, Australia, (248-257). 25-28 March 2008. doi:10.1109/ASWEC.2008.4483213


Author Lee, Scott Uk-Jin
Sun, Jing
Dobbie, Gillian
Groves, Lindsay
Li, Yuan Fang
Title of paper Correctness criteria for normalization of semistructured data
Conference name Australian Software Engineering Conference [ASWEC]
Conference location Perth, WA, Australia
Conference dates 25-28 March 2008
Convener Australian Computer Society (ACS); Engineers Australia; Joint Board in Software Engineering
Proceedings title Australian Software Engineering Conference: Proceedings. 19th Australian Software Engineering Conference: ASWEC 2008
Journal name Aswec 2008: 19th Australian Software Engineering Conference, Proceedings
Place of Publication Los Alamitos, CA, U.S.A.
Publisher Institute of Electrical and Electronics Engineers (IEEE)
Publication Year 2008
Sub-type Fully published paper
DOI 10.1109/ASWEC.2008.4483213
ISBN 9780769531007
0769531008
ISSN 1530-0803
Editor Farookh Khadeer Hussain
Elizabeth Chang
Stephanie Kawada
Start page 248
End page 257
Total pages 10
Language eng
Formatted Abstract/Summary
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.
© 2008 IEEE
Subjects 080603 Conceptual Modelling
080203 Computational Logic and Formal Languages
890299 Computer Software and Services not elsewhere classified
EX
0806 Information Systems
Keyword Formal specification
Semistructured data
Normalization
ORA-SS
Z
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Unknown
Additional Notes Presented during the Session "4.Metrics and Management- II".

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in Thomson Reuters Web of Science Article
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Thu, 26 Nov 2009, 13:36:31 EST by Donna Clark on behalf of School of Information Technol and Elec Engineering