RI UFLA (Universidade Federal de Lavras) >
Revistas UFLA >
Infocomp >

Please use this identifier to cite or link to this item: http://repositorio.ufla.br/jspui/handle/1/10069

Title: Checking satisfiability of tree pattern queries for active XML documents
???metadata.dc.creator???: Ma, Hai-Tao
Hao, Zhong-Xiao
Zhu, Yan
Keywords: Active XML
Tree pattern queries
Tree automata
XML ativo
Consultas padrão de árvore
Autómato de árvore
Publisher: Editora da UFLA
???metadata.dc.date???: 1-Mar-2008
Citation: MA, H.; HAO, Z.; ZHU, Y. Checking satisfiability of tree pattern queries for active XML documents. INFOCOMP: Journal of Computer Science, Lavras, v. 7, n. 1, p. 11-18, Mar. 2008.
Abstract: Satisfiability is an important problem of queries for XML documents. This paper focuses on the satisfiability of tree pattern queries for Active XML(AXML for short) documents conforming to a given AXML schema. An AXML document is an XML document where some data is given explicitly and other parts are defined intensionally by means of embedded calls to Web services, which can be invoked to generate data. For the efficient evaluation of a query over an AXML document, one should check whether there exists an (A)XML document obtained from the original one by invoking some Web services, on which the query has a non-empty answer. An algorithm for checking satisfiability of tree pattern queries for AXML documents that runs polynomial time is proposed based on tree automata theory. Then experiments were made to verify the utility of satisfiability checking as a preprocessing step in queries procession. Our results show that the check takes a negligible fraction of the time needed for processing the query while often yielding substantial savings.
Other Identifiers: http://www.dcc.ufla.br/infocomp/index.php/INFOCOMP/article/view/201
???metadata.dc.language???: eng
Appears in Collections:Infocomp

Files in This Item:

There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

View Statistics


DSpace Software Copyright © 2002-2010  Duraspace - Feedback