Hide metadata

dc.date.accessioned2013-03-12T08:15:21Z
dc.date.available2013-03-12T08:15:21Z
dc.date.issued2012en_US
dc.date.submitted2012-09-26en_US
dc.identifier.urihttp://hdl.handle.net/10852/9113
dc.description.abstractNode selecting tree automata (NSTAs) constitute a general formalism defining unary queries over trees. Basically, a node is selected by an NSTA when it is visited in a selecting state during an accepting run. We consider twig patterns as an abstraction of XPath. Since the queries definable by NSTAs form a strict superset of twig-definable queries, we study the complexity of the problem to decide whether the query by a given NSTA is twig-definable. In particular, we obtain that the latter problem is EXPTIME-complete. In addition, we show that it is also EXPTIME-complete to decide whether the query by a given NSTA is definable by a node selecting string automaton. Copyright ACM, 2012. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 15th International Conference on Database Theory.eng
dc.language.isoengen_US
dc.titleDeciding Twig-definability of Node Selecting Tree Automataen_US
dc.typeChapteren_US
dc.date.updated2012-09-26en_US
dc.creator.authorAntonopoulos, Timosen_US
dc.creator.authorHovland, Dagen_US
dc.creator.authorMartens, Wimen_US
dc.creator.authorNeven, Franken_US
dc.subject.nsiVDP::420en_US
dc.identifier.cristin945066en_US
dc.identifier.startpage61
dc.identifier.endpage73
dc.identifier.doi10.1145/2274576.2274584
dc.identifier.urnURN:NBN:no-32389en_US
dc.type.documentBokkapittelen_US
dc.identifier.duo169424en_US
dc.type.peerreviewedPeer revieweden_US
dc.identifier.fulltextFulltext https://www.duo.uio.no/bitstream/handle/10852/9113/1/institution_archive_copy.pdf
dc.type.versionAcceptedVersion
cristin.btitle15th International Conference on Database Theory, ICDT '12, Berlin, Germany, March 26-29, 2012


Files in this item

Appears in the following Collection

Hide metadata