Solving the Implication Problem for XML Functional Dependencies with Properties.

Sven Hartmann, Sebastian Link, Thu Trinh

Browse the full WoLLIC paper archive.