Paper 1

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

Authors: Joshua Amavi, Mirian Halfeld Ferrari

Volume 14 (2014)

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 con- straints 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.