Flavio Ferrarotti, Sven Hartmann, Sebastian Link, Mauricio Marín, Emir Muñoz. The Finite Implication Problem for Expressive XML Keys: Foundations, Applications, and Performance Evaluation. T. Large-Scale Data- and Knowledge-Centered Systems, 10:60-94, 2013. [doi]
Abstract is missing.