677 search results - page 90 / 136 » The XML Typechecking Problem |
150
Voted
CATA
2003
15 years 3 months ago
2003
The problems of accessing and integrating heterogeneous information sources are becoming centerstage problems. One problem arising from accessing heterogeneous sources is semantic...
129
Voted
DASFAA
2007
IEEE
15 years 8 months ago
2007
IEEE
Twig pattern matching problem has been widely studied in recent years. Give an XML tree T . A twig-pattern matching query, Q, represented as a query tree, is to find all the occur...
113
Voted
FSTTCS
2008
Springer
15 years 3 months ago
2008
Springer
Tight connections between leafs languages and strings compressed via straight-line programs (SLPs) are established. It is shown that the compressed membership problem for a languag...
99
Voted
ICDE
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
109
click to vote
WEBDB
2009
Springer
15 years 9 months ago
2009
Springer
The question whether a given set of views, defined by queries, can be used to answer another query, arises in several contexts such as query optimization, data integration and se...