Filtering XFD Toward Interoperability (short paper)
Résumé
This paper describes an algorithm for computing the maximal set of XML functional dependencies (XFD) that is guaranteed to hold across a set of local systems, each with its own defined set of XFD. Our method is based on an axiom system that we have proved to be sound and complete. An implementation demonstrates its feasibility.