Abstract
Recently, the issue of functional dependencies in XML (XFDs) have been investigated. In this paper we consider the problem of checking the satisfaction of an XFD in an XML document. We present an efficient algorithm for the problem that is linear in the size of the XML document and linear in the number of XFDs to be checked. Also, our technique can be easily extended to efficiently incrementally check XFD satisfaction.
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
Arenas, M., Libkin, L.: A normal form for XML documents. In: Proc. ACM PODS Conference, pp. 85–96 (2002)
Arenas, M., Libkin, L.: An information-theoretic approach to normal forms for relational and XML data. In: Proc. ACM PODS Conference, pp. 15–26 (2003)
Arenas, M., Libkin, L.: A normal form for XML documents. TODS 29(1), 195–232 (2004)
Atzeni, P., DeAntonellis, V.: Foundations of databases. Benjamin Cummings (1993)
Bray, T., Paoli, J., Sperberg-McQueen, C.M.: Extensible markup language (XML) 1.0. Technical report (1998), http://www.w3.org/Tr/1998/REC-XML-19980819
Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.: Reasoning about keys for XML. Information Systems 28(8), 1037–1063 (2003)
Buneman, P., Fan, W., Simeon, J., Weinstein, S.: Constraints for semistructured data and XML. ACM SIGMOD Record 30(1), 45–47 (2001)
Buneman, P., Fan, W., Weinstein, S.: Path constraints on structured and semistructured data. In: Proc. ACM PODS Conference, pp. 129–138 (1998)
Chen, Y., Davidson, S., Zheng, Y.: Xkvalidator: a constraint validator for xml. In: CIKM, pp. 446–452 (2002)
Fan, W., Libkin, L.: On XML integrity constraints in the presence of DTDs. Journal of the ACM 49(3), 368–406 (2002)
Fan, W., Simeon, J.: Integrity constraints for XML. Journal of Computer and System Sciences 66(1), 254–291 (2003)
Vincent, M.W., Liu, J.: Multivalued dependencies and a 4NF for XML. In: Eder, J., Missikoff, M. (eds.) CAiSE 2003. LNCS, vol. 2681, pp. 14–29. Springer, Heidelberg (2003)
Vincent, M.W., Liu, J., Liu, C.: Multivalued dependencies and a redundancy free 4NF for XML. In: International XML database symposium (Xsym). Lecture Notes in Computer Science, vol. 2824, pp. 254–266. Springer, Heidelberg (2003)
Vincent, M.W., Liu, J., Liu, C.: Strong functional dependencies and their application to normal forms in XML. ACM Transactions on Database Systems 29(3), 445–462 (2004)
Vincent, M.W., Liu, J., Liu, C., Mohania, M.: On the definition of functional dependencies in XML. In: Submitted to ACM Transactions on Internet Technology (2004)
Widom, J.: 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
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vincent, M.W., Liu, J. (2005). Checking Functional Dependency Satisfaction in XML. In: Bressan, S., et al. Database and XML Technologies. XSym 2005. Lecture Notes in Computer Science, vol 3671. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11547273_2
Download citation
DOI: https://doi.org/10.1007/11547273_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28583-0
Online ISBN: 978-3-540-31968-9
eBook Packages: Computer ScienceComputer Science (R0)