Abstract
A web application expected to deal with XML documents conceived on the basis of divers sets of (local) constraints would be expected to test documents with respect to all non contradictory constraints imposed by these original (local) sources. The goal of this paper is to introduce an optimized algorithm for computing the maximal set of XML functional dependencies (XFD) over multiple systems. The basis of our method is a sound and complete axiom system which is provided for relative XFD allowing two kinds of equality: value or node equality.
Partially supported by CAPES-Stic/AmSud Project 052/2014 (SWANS).
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
Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley Publishing Company (1995)
Amavi, J., Halfeld Ferrari, M.: An axiom system for XML and an algorithm for filtering XFD. Tech. Rep. RR-2012-03, LIFO/Université d’Orléans (2012). http://www.univ-orleans.fr/lifo/rapports.php?lang=fr&annee=2012
Arenas, M., Libkin, L.: A normal form for XML documents. ACM Transactions on Database Systems (TODS) 29 No.1 (2004)
Bouchou, B., Cheriat, A., Halfeld Ferrari, M., Laurent, D., Lima, M.A., Musicante, M.: Efficient constraint validation for updated XML databases. Informatica 31(3), 285–310 (2007)
Bouchou, B., Halfeld Ferrari, M., Lima, M.: Contraintes d’intégrité pour XML. visite guidée par une syntaxe homogène. Technique et Science Informatiques 28(3), 331–364 (2009)
Bouchou, B., Halfeld-Ferrari, M., Lima, M.A.V.: A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates. In: Hameurlain, A., Küng, J., Wagner, R., Liddle, S.W., Schewe, K.-D., Zhou, X. (eds.) Transactions on Large-Scale Data- and Knowledge-Centered Systems VI. LNCS, vol. 7600, pp. 167–197. Springer, Heidelberg (2012)
Castanier, E., Coletta, R., Valduriez, P., Frisch, C.: Public data integration with websmatch. In: BDA 2012 (2012)
Cecchin, F., de Aguiar Ciferri, C.D., Hara, C.S.: XML data fusion. In: DaWak. pp. 297–308 (2010)
Chabin, J., Halfeld Ferrari, M., Musicante, M.A., Réty, P.: Conservative Type Extensions for XML Data. In: Hameurlain, A., Küng, J., Wagner, R. (eds.) TLDKS IX. LNCS, vol. 7980, pp. 65–94. Springer, Heidelberg (2013)
Chirkova, R., Libkin, L., Reutter, J.L.: Tractable XML data exchange via relations. In: Proceedings of the 20th ACM Conference on Information and Knowledge Management, CIKM 2011. pp. 1629–1638 (2011)
Crane, G.: What do you do with a million books? D-Lib Magazine 12(3) (March 2006)
Gire, F., Idabal, H.: Regular tree patterns: a uniform formalism for update queries and functional dependencies in XML. In: EDBT/ICDT Workshops (2010)
Hartmann, S., Trinh, T.: Axiomatising Functional Dependencies for XML with Frequencies. In: Dix, J., Hegner, S.J. (eds.) FoIKS 2006. LNCS, vol. 3861, pp. 159–178. Springer, Heidelberg (2006)
He, Q., Ling, T.W.: Extending and inferring functional dependencies in schema transformation. In: Proceedings of the 2004 ACM CIKM International Conference on Information and Knowledge Management. pp. 12–21 (2004)
Kot, Ł., White, W.: Characterization of the Interaction of XML Functional Dependencies with DTDs. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol. 4353, pp. 119–133. Springer, Heidelberg (2006)
Li Lee, M., Ling, T.-W., Low, W.L.: Designing Functional Dependencies for XML. In: Jensen, C.S., Jeffery, K., Pokorný, J., Šaltenis, S., Bertino, E., Böhm, K., Jarke, M. (eds.) EDBT 2002. LNCS, vol. 2287, p. 124. Springer, Heidelberg (2002)
Liu, J., Vincent, M.W., Liu, C.: Functional dependencies, from relational to XML. In: Ershov Memorial Conference. pp. 531–538 (2003)
Pankowski, T.: Reconciling Inconsistent Data in Probabilistic XML Data Integration. In: Gray, A., Jeffery, K., Shao, J. (eds.) BNCOD 2008. LNCS, vol. 5071, pp. 75–86. Springer, Heidelberg (2008)
Shahriar, M.S., Liu, J.: Preserving Functional Dependency in XML Data Transformation. In: Atzeni, P., Caplinskas, A., Jaakkola, H. (eds.) ADBIS 2008. LNCS, vol. 5207, pp. 262–278. Springer, Heidelberg (2008)
Vincent, M.W., Liu, J., Liu, C.: Strong functional dependencies and their application to normal forms in XML. ACM Trans. Database Syst. 29(3), 445–462 (2004)
Vincent, M., Liu, J., Mohania, M.: The implication problem for ’closest node’ functional dependencies in complete XML documents. Journal of Computer and System Sciences 78(4), 1045–1098 (2012)
Wang, J., Topor, R.: Removing XML data redundancies using functional and equality-generating dependencies. In: ADC 2005: Proceedings of the 16th Australasian database conference. pp. 65–74. Australian Computer Society Inc., Darlinghurst, Australia (2005)
Wu, X., Ling, T.W., Lee, M.L., Dobbie, G.: Designing semistructured databases using ORA-SS model. In: Proceedings of the 2nd International Conference on Web Information Systems Engineering, WISE (1) (2001)
Zhao, X., Xin, J., Zhang, E.: XML functional dependency and schema normalization. In: HIS 2009: Proceedings of the 9th International Conference on Hybrid Intelligent Systems. pp. 307–312 (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Amavi, J., Halfeld Ferrari, M. (2014). Maximal Set of XML Functional Dependencies for the Integration of Multiple Systems. In: Hameurlain, A., Küng, J., Wagner, R. (eds) Transactions on Large-Scale Data- and Knowledge-Centered Systems XIV. Lecture Notes in Computer Science(), vol 8800. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-45714-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-662-45714-6_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-45713-9
Online ISBN: 978-3-662-45714-6
eBook Packages: Computer ScienceComputer Science (R0)