662 search results - page 102 / 133 » Trees, Automata and XML |
267
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
In this article, we propose a new approach for querying and indexing a database of trees with specific applications to XML datasets. Our approach relies on representing both the q...
147
click to vote
ICDE
2006
IEEE
16 years 6 hour ago
2006
IEEE
It is important to process the updates when nodes are inserted into or deleted from the XML tree. All the existing labeling schemes have high update cost, thus in this paper we pr...
162
click to vote
PVLDB
2010
15 years 4 months ago
2010
Independence analysis is the problem of determining whether an update affects the result of a query, e.g. a constraint or materialized view. We develop a new, modular framework fo...
154
click to vote
ICDT
2007
ACM
16 years 3 days ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
140
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...