charla de vacante de excelencia: “Satisfiability of XPath”


Compartir
Charlista: 
Diego Figueira, University of Edinburgh
Fecha: 
26 Septiembre, 2012 - 14:00
Sala: 
Auditorio DCC, tercer piso
Organización: 
DCC

 

Abstract:

 

XPath is a node selecting language for XML documents. Although its satisfiability problem is in general undecidable, there are several syntactic restrictions that make the problem decidable. I will present a survey on the existing results on the satisfiability problem for fragments of XPath. I will also mention some open problems and conjectures.