Sciweavers

662 search results - page 3 / 133
» Trees, Automata and XML
Sort
View
ICALP
2005
Springer
15 years 3 months ago
Logics for Unranked Trees: An Overview
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...
Leonid Libkin
JAPLL
2010
124views more  JAPLL 2010»
14 years 8 months ago
Reasoning about XML with temporal logics and automata
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...
Leonid Libkin, Cristina Sirangelo
CIKM
2008
Springer
14 years 11 months ago
Rewriting of visibly pushdown languages for xml data integration
In this paper, we focus on XML data integration by studying rewritings of XML target schemas in terms of source schemas. Rewriting is very important in data integration systems wh...
Alex Thomo, Srinivasan Venkatesh
ADBIS
2004
Springer
111views Database» more  ADBIS 2004»
15 years 2 months ago
A High-Level Language for Specifying XML Data Transformations
Abstract. We propose a descriptive high-level language XDTrans devoted to specify transformations over XML data. The language is based on unranked tree automata approach. In contra...
Tadeusz Pankowski
60
Voted
PODS
2004
ACM
95views Database» more  PODS 2004»
15 years 9 months ago
Trees, Automata and XML
Thomas Schwentick