Zerendatu Informatika Fakultatea honen arabera: egilea"Navarro Gómez, María Luisa"
-
Procedimiento de refutación para un conjunto de restricciones sobre documentos XML
Albors Iruretagoyena, Javier (2014-10-15)We present a prototype that implements a set of logical rules to prove the satis ability for a class of speci cations on XML documents. Speci cations are given by means of constraints built on Boolean XPath patterns. ...