Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/83966

Título:	Satisfiability of constraint specifications on XML documents
Autor/a:	Navarro Gómez, Marisa; Orejas Valdés, Fernando; Pino Blanco, Elvira
Otros autores:	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Abstract:	Jose Meseguer is one of the earliest contributors in the area of Algebraic Specification. In this paper, which we are happy to dedicate to him on the occasion of his 65th birthday, we use ideas and methods coming from that area with the aim of presenting an approach for the specification of the structure of classes of XML documents and for reasoning about them. More precisely, we specify the structure of documents using sets of constraints that are based on XPath and we present inference rules that are shown to define a sound and complete refutation procedure for checking satisfiability of a given specification using tableaux.
Abstract:	Peer Reviewed
Materia(s):	-Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica -Computer science -- Mathematics -Formal methods (Computer science) -Informàtica -- Matemàtica -Mètodes formals (Informàtica)
Derechos:
Tipo de documento:	Artículo - Versión presentada Objeto de conferencia
Editor:	Springer
Compartir:

Mostrar el registro completo del ítem