Sciweavers

106 search results - page 20 / 22
» Regular expression filters for XML
Sort
View
MFCS
2009
Springer
14 years 24 days ago
Query Automata for Nested Words
We study visibly pushdown automata (VPA) models for expressing and evaluating queries, expressed using MSO formulas, on words with a nesting structure (like XML documents). We deļ...
P. Madhusudan, Mahesh Viswanathan
CONCUR
2004
Springer
13 years 11 months ago
Characterizing EF and EX Tree Logics
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages deļ¬nable...
Mikolaj Bojanczyk, Igor Walukiewicz
ASPLOS
2009
ACM
14 years 6 months ago
Architectural support for SWAR text processing with parallel bit streams: the inductive doubling principle
Parallel bit stream algorithms exploit the SWAR (SIMD within a register) capabilities of commodity processors in high-performance text processing applications such as UTF8 to UTF-...
Robert D. Cameron, Dan Lin
DBPL
1999
Springer
114views Database» more  DBPL 1999»
13 years 10 months ago
Structured Document Transformations Based on XSL
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is deļ¬ned. First the instantiation DTLreg is considere...
Sebastian Maneth, Frank Neven
ICDE
2008
IEEE
142views Database» more  ICDE 2008»
14 years 7 months ago
An Inflationary Fixed Point Operator in XQuery
ct The backbone of the XML data model, namely ordered, unranked trees, is inherently recursive and it is natural to equip the associated languages with constructs that can query su...
Loredana Afanasiev, Torsten Grust, Maarten Marx, J...