Maximal Set of XML Functional Dependencies for the Integration of Multiple Systems

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.

[1]  Gregory R. Crane,et al.  What Do You Do with a Million Books? , 2006, D Lib Mag..

[2]  Cristina Dutra de Aguiar Ciferri,et al.  XML Data Fusion , 2010, DaWak.

[3]  Ende Zhang,et al.  XML Functional Dependency and Schema Normalization , 2009, 2009 Ninth International Conference on Hybrid Intelligent Systems.

[4]  Tok Wang Ling,et al.  Designing semistructured databases using ORA-SS model , 2001, Proceedings of the Second International Conference on Web Information Systems Engineering.

[5]  Patrick Valduriez,et al.  Public data integration with WebSmatch , 2012, WOD.

[6]  Chengfei Liu,et al.  Functional Dependencies, from Relational to XML , 2003, Ershov Memorial Conference.

[7]  Rada Chirkova,et al.  Tractable XML data exchange via relations , 2011, CIKM '11.

[8]  Klaus-Dieter Schewe,et al.  Transactions on Large-Scale Data- and Knowledge-Centered Systems VI , 2012, Lecture Notes in Computer Science.

[9]  Tok Wang Ling,et al.  Designing Functional Dependencies for XML , 2002, EDBT.

[10]  Chengfei Liu,et al.  Strong functional dependencies and their application to normal forms in XML , 2004, TODS.

[11]  Jixue Liu,et al.  Preserving Functional Dependency in XML Data Transformation , 2008, ADBIS.

[12]  Mukesh K. Mohania,et al.  The implication problem for 'closest node' functional dependencies in complete XML documents , 2012, J. Comput. Syst. Sci..

[13]  Béatrice Bouchou-Markhoff,et al.  A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates , 2012, Trans. Large Scale Data Knowl. Centered Syst..

[14]  Tadeusz Pankowski,et al.  Reconciling Inconsistent Data in Probabilistic XML Data Integration , 2008, BNCOD.

[15]  Junhu Wang,et al.  Removing XML Data Redundancies Using Functional and Equality-Generating Dependencies , 2005, ADC.

[16]  Béatrice Bouchou-Markhoff,et al.  Efficient Constraint Validation for Updated XML Database , 2007, Informatica.

[17]  Béatrice Bouchou-Markhoff,et al.  Contraintes d'intégrité pour XML. Visite guidée par une syntaxe homogène , 2009, Tech. Sci. Informatiques.

[18]  Hicham Idabal,et al.  Regular tree patterns: a uniform formalism for update queries and functional dependencies in XML , 2010, EDBT '10.

[19]  Tok Wang Ling,et al.  Extending and inferring functional dependencies in schema transformation , 2004, CIKM '04.

[20]  Marcelo Arenas,et al.  A normal form for XML documents , 2004, TODS.

[21]  Lucja Kot,et al.  Characterization of the Interaction of XML Functional Dependencies with DTDs , 2007, ICDT.

[22]  Mirian Halfeld Ferrari Alves,et al.  Conservative Type Extensions for XML Data , 2013, Trans. Large Scale Data Knowl. Centered Syst..

[23]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .