Welcome to the InfoSci Platform
Formal Framework of XML Document Schema Design

Formal Framework of XML Document Schema Design

Zurinahni Zainol, Bing Wang
Copyright: © 2012 |Volume: 2 |Issue: 1 |Pages: 44
ISSN: 2155-6377|EISSN: 2155-6385|EISBN13: 9781466612617|DOI: 10.4018/ijirr.2012010103
Cite Article Cite Article

MLA

Zainol, Zurinahni, and Bing Wang. "Formal Framework of XML Document Schema Design." IJIRR vol.2, no.1 2012: pp.21-64. http://doi.org/10.4018/ijirr.2012010103

APA

Zainol, Z. & Wang, B. (2012). Formal Framework of XML Document Schema Design. International Journal of Information Retrieval Research (IJIRR), 2(1), 21-64. http://doi.org/10.4018/ijirr.2012010103

Chicago

Zainol, Zurinahni, and Bing Wang. "Formal Framework of XML Document Schema Design," International Journal of Information Retrieval Research (IJIRR) 2, no.1: 21-64. http://doi.org/10.4018/ijirr.2012010103

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Designing “good” XML documents is a very difficult task for a database designer. Although many theories for XML database design have proposed, none of commercial design tool for XML document design has been developed to assist the XML document designer. In this paper, the authors present a formal framework of XML document design by incorporating a conceptual model of XML schema called Graph-Document Type Definition (G-DTD) with a theory of database normalization. This framework is designed as a blueprint to help the XML database designers to perform the XML document schema design quickly and accurately. The G-DTD is used to describe the structure of XML documents at the schema level. A set of normal forms for G-DTD on the basis of rules proposed by Arenas and Libkin and Lv. et al is used to provide a guideline to a well-designed schema for XML documents. They develop a prototype of XML document schema design using a Z formal specification language. Finally, using a case study, this formal specification is validated to check for correctness and consistency of the specification. Thus, this gives a confidence that the authors’ prototype can be implemented successfully to generate an automatic XML document design.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.