Sciweavers

655 search results - page 7 / 131
» Automata, Logic, and XML
Sort
View
CSR
2007
Springer
15 years 3 months ago
Marrying Words and Trees
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...
Rajeev Alur
JAPLL
2008
95views more  JAPLL 2008»
14 years 9 months ago
A note on an extension of PDL
Recently visibly pushdown automata have been extended to so called k-phase multistack visibly pushdown automata (k-MVPAs). On the occasion of introducing kMVPAs, it has been asked...
Stefan Göller, Dirk Nowotka
ADC
2008
Springer
146views Database» more  ADC 2008»
15 years 4 months ago
A Typed Higher-Order Calculus for Querying XML Databases
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
Qing Wang, Klaus-Dieter Schewe
CADE
2010
Springer
14 years 10 months ago
A Decision Procedure for CTL* Based on Tableaux and Automata
Oliver Friedmann, Markus Latte, Martin Lange
ADBIS
2006
Springer
131views Database» more  ADBIS 2006»
15 years 3 months ago
X-Warehousing: An XML-Based Approach for Warehousing Complex Data
XML is suitable for structuring complex data coming from different sources and supported by heterogeneous formats. It allows a flexible formalism capable to represent and store d...
Omar Boussaid, Riadh Ben Messaoud, Rémy Cho...