Strong functional dependencies and their application to normal forms in XML

ACM Transactions on Database Systems

Volumn 29, Issue 3, 2004, Pages 445-462

  Vincent, Millist W ^a   Liu, Jixue ^a   Liu, Chengfei ^a  

^a UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

Functional dependency; Normalization; XML

Indexed keywords

AXIOMATIZATION; FUNCTIONAL DEPENDENCY; NORMALIZATION; XML DOCUMENTS (XMLD);

ALGORITHMS; COMPUTER SCIENCE; INFORMATION THEORY; PROBLEM SOLVING; RELATIONAL DATABASE SYSTEMS;

XML;

EID: 7544221362     PISSN: 03625915     EISSN: None     Source Type: Journal    
DOI: 10.1145/1016028.1016029     Document Type: Review

References (23)

1. ARENAS, M. AND LIBKIN, L. 2002. A normal form for XML documents. In Proceedings of the ACM PODS Conference. 85-96.
2. ARENAS, M. AND LIBKIN, L. 2003. An information-theoretic approach to normal forms for relational and XML data. In Proceedings of the ACM PODS Conference. 15-26.
3. ATZENI, P. AND DEANTONELLIS, V. 1993. Foundations of Databases. Benjamin Cummings, San Francisco, CA.
4. BRAY, T., PAOLI, J., AND SPERBERG-MCQUEEN, C. 1998a. Extensible Markup Language (XML) 1.0. Technical rep. Available online at http://www.w3.org/Tr/1998/REC-XML-19980819.
5. BRAY, T., PAOLI, J., AND SPERBERG-MCQUEEN, C. M. 1998b. XML-data. W3C Note, Available online at http://www.w3.org/Tr/1998/Note-XML-data.
6. BUNEMAN, P., DAVIDSON, S., FAN, W., AND HARA, C. 2001a. Reasoning about keys for XML. In International Workshop on Database Programming Languages.
7. BUNEMAN, P., DAVIDSON, S., FAN, W., HARA, C., AND TAN, W. 2003. Reasoning about keys for XML. Inform. Syst. 28, 8, 1037-1063.
8. BUNEMAN, P., FAN, W., SIMEON, J., AND WEINSTEIN, S. 2001b. Constraints for semistructured data and XML. ACM SIGMOD Rec. 30, 1, 45-47.
9. BUNEMAN, P., FAN, W., AND WEINSTEIN, S. 1998. Path constraints on structured and semistructured data. In Proceedings of the ACM PODS Conference. 129-138.
10. COVER, T. AND THOMAS, J. 1991. Elements of Information Theory. Wiley-Interscience, New York, NY.
11. FAGIN, R. 1979. Normal forms and relational database operators. In ACM SIGMOD International Conference on the Management of Data. 123-134.
12. FAN, W. AND LIBKIN, L. 2002. On XML integrity constraints in the presence of DTDs. J. ACM 49, 3, 368-406.
13. FAN, W. AND SIMEON, J. 2003. Integrity constraints for XML. J. Comput. Syst. Sci. 66, 1, 254-291.
14. LEHORS, A., LEHGARET, P., WOOD, L., NICOL, G., ROBIE, J., CHAMPION, M., AND BYRNE, S. 2003. Document object model (dom) level 3 core specifications. Technical rep. Available online at http://www.w3.org/TR/2003/WD-DOM-Level-3-Core-20030609/.
15. LEVENE, M. AND VINCENT, M. W. 2000. Justification for inclusion dependency normal form. IEEE Trans. Knowl. Data Eng. 12, 281-291.
16. THOMPSON, H. S., BEECH, D., MALONEY, M., AND MENDELSOHN, N. 2001. XML schema part 1:structures. W3C Working Draft. Available online at http://www.w3.org/Tr/1998/XMLschema-1.
17. VINCENT, M., LIU, J., AND LIU, C. 2003a. The implication problem for unary functional dependencies in XML. Submitted for publication.
18. VINCENT, M., LIU, J., AND LIU, C. 2003b. Strong functional dependencies and a redundancy free normal form for XML. Research rep. ACRC-03-011. School of Computer and Information Science, University of South Australia, Mawson Lakes, Adelaide, Australia. Available online at http://www.cis.unisa.edu.au/cismwv/papers/index.html.
19. VINCENT, M. W. 1994. Semantic foundations of normal forms in relational database design. Ph.D. dessirtation. Department of Computer Science, Monash University, Melbourne, Victoria, Australia.
20. VINCENT, M. W. 1997. A corrected 5NF definition for relational database design. Theoret. Comput. Sci. 185, 379-391.
21. VINCENT, M. W. 1998. A new redundancy free normal form for relational database design. In Database Semantics, B. Thalheim and L. Libkin, Eds. Springer Verlag, Berlin, Germany, 247-264.
22. VINCENT, M. W. 1999. Semantic foundations of 4NF in relational database design. Acta Informatica 36, 1-41.
23. WIDOM, J. 1999. Data management for XMI - research directions. IEEE Data Eng. Bull. 22, 3, 44-52.