Developing XML Documents with Guaranteed “Good” Properties
Many XML documents are being produced, but there are no agreed-upon standards formally defining what it means for complying XML documents to have “good” properties. In this paper we present a formal definition for a proposed canonical normal form for XML documents called XNF. XNF guarantees that complying XML documents have maximally compact connectivity while simultaneously guaranteeing that the data in complying XML documents cannot be redundant. Further, we present a conceptual-model-based methodology that automatically generates XNF-compliant DTDs and prove that the algorithms, which are part of the methodology, produce DTDs to ensure that all complying XML documents satisfy the properties of XNF.
KeywordsGrad Student Model Instance Object Role Inclusion Constraint Compact Connectivity
Unable to display preview. Download preview PDF.
- [BGH00]L. Bird, A. Goodchild, and T. Halpin. Object role modelling and xmlschema. In Proceedings of the Ninteenth International Conference on Conceptual Modeling (ER2000), pages 309–322, Salt Lake City, Utah, October 2000.Google Scholar
- [BR00]V. Bisová and K. Richta. Transformation of uml models into xml. In Proceedings the 2000 ADBIS-DASFAA Symposium on Advances in Databases and Information Systems, pages 33–45, Prague, Czech Republic, September 2000.Google Scholar
- [CSF00]R. Conrad, Deiter Scheffner, and J.C. Freytag. XML conceptual modeling using UML. In Proceedings of the Ninteenth International Conference on Conceptual Modeling (ER2000), Salt Lake City, Utah, October 2000. 558–571.Google Scholar
- [EKW92]D.W. Embley, B.D. Kurtz, and S.N. Woodfield. Object-oriented Systems Analysis: A Model-Driven Approach. Prentice Hall, Englewood Cliffs, New Jersey, 1992.Google Scholar
- [Emb98]D.W. Embley. Object Database Development: Concepts and Principles. Addison-Wesley, Reading, Massachusetts, 1998.Google Scholar
- [Hal99]T. Halpin. Conceptual Schema & Relational Database Design. WytLytPub, revised 2nd edition, 1999.Google Scholar
- [Mok]W.Y. Mok. A comparative study of various nested normal forms. IEEE Transactions on Knowledge and Data Engineering. (to appear).Google Scholar