Saturation, Definability, and Separation for XPath on Data Trees

Sergio Abriola, María Emilia Descotte, Santiago Figueira. Saturation, Definability, and Separation for XPath on Data Trees. In Andrea Calì, Maria-Esther Vidal, editors, Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015. Volume 1378 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]

Abstract

Abstract is missing.