A normal form for precisely characterizing redundancy in nested relations
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Constraints for semistructured data and XML
ACM SIGMOD Record
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
A semantic network-based design methodology for XML documents
ACM Transactions on Information Systems (TOIS)
Storing and Querying XML Data in Object-Relational DBMSs
EDBT '02 Proceedings of the Worshops XMLDM, MDDE, and YRWS on XML-Based Data Management and Multimedia Engineering-Revised Papers
Developing XML Documents with Guaranteed ``Good'' Properties
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Designing Good Semi-Structured Databases and Conceptual Modeling
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Semantic Data Modeling Using XML Schemas
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Information Systems
A normal form for XML documents
ACM Transactions on Database Systems (TODS)
Strong functional dependencies and their application to normal forms in XML
ACM Transactions on Database Systems (TODS)
An information-theoretic approach to normal forms for relational and XML data
Journal of the ACM (JACM)
Redundancy, dependencies and normal forms for XML databases
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
Removing XML data redundancies using functional and equality-generating dependencies
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
ACM SIGMOD Record
Dependency-preserving normalization of relational and XML data
Journal of Computer and System Sciences
Fuzzy XML data modeling with the UML and relational data models
Data & Knowledge Engineering
XML schema refinement through redundancy detection and normalization
The VLDB Journal — The International Journal on Very Large Data Bases
GN-DTD: Graphical Notations for Describing XML Documents
DBKDA '10 Proceedings of the 2010 Second International Conference on Advances in Databases, Knowledge, and Data Applications
Theorem prover approach to semistructured data design
Formal Methods in System Design
XSym'07 Proceedings of the 5th international conference on Database and XML Technologies
XML Documents Normalization Using GN-DTD
International Journal of Information Retrieval Research
Hi-index | 0.00 |
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.