Abstract
In this paper we address the problem of how to extend the definition of functional dependencies (FDs) in incomplete relations to XML documents. An incomplete relation is said to strongly satisfy a FD if every completion of the relation, obtained by replacing all null values by data values, satisfies the FD in the ordinary sense. We propose a syntactic definition of strong FD satisfaction in a XML document (called a XFD) and then justify it by proving that for a very general class of mappings of a relation into a XML document, a relation strongly satisfies a unary FD if and only if the XML document also strongly satisfies the equivalent XFD.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Abiteboul, P. Buneman, and D. Suciu. Data on the Web. Morgan Kauffman, 2000.
M. Arenas, W. Fan, and L. Libkin. On verifying consistency of xml specifications. In Proc. ACM PODS Conference, pages 259–270, 2002.
M. Arenas and L. Libkin. A normal form for xml documents. In Proc. ACM PODS Conference, pages 85–96, 2002.
P. Atzeni and V. DeAntonellis. Foundations of databases. Benjamin Cummings, 1993.
P. Buneman, S. Davidson, W. Fan, and C. Hara. Reasoning about keys for xml. In International Workshop on Database Programming Languages, 2001.
P. Buneman, S. Davidson, W. Fan, C. Hara, and W. Tan. Keys for xml. Computer Networks, 39(5): 473–487, 2002.
P. Buneman, W. Fan, and S. Weinstein. Interaction between type and path constraints. In Proc. ACM PODS Conference, pages 129–138, 1999.
W. Fan and L. Libkin. On xml integrity constraints in the presence of dtds. Journal of the ACM, 49(3):368–406, 2002.
W. Fan and J. Simeon. Integrity constraints for xml. In Proc. ACM PODS Conference, pages 23–34, 2000.
M. Levene and G. Loizu. Axiomatization of functional dependencies in incomplete relations. Theoretical Computer Science, 206:283–300, 1998.
S.J. Thomas and P.C. Fischer. Nested relational structures. In P. Kanellakis, editor, The theory of databases, pages 269–307. JAI Press, 1986.
M.W. Vincent and J. Liu. Strong functional dependencies and a redundancy free normal form for xml. Submitted for publication, 2002.
J. Widom. Data management for xml — research directions. IEEE data Engineering Bulletin, 22(3):44–52, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vincent, M.W., Liu, J. (2003). Functional Dependencies for XML. In: Zhou, X., Orlowska, M.E., Zhang, Y. (eds) Web Technologies and Applications. APWeb 2003. Lecture Notes in Computer Science, vol 2642. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36901-5_3
Download citation
DOI: https://doi.org/10.1007/3-540-36901-5_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-02354-8
Online ISBN: 978-3-540-36901-1
eBook Packages: Springer Book Archive