5499 search results - page 18 / 1100 » Generalized Rewrite Theories |
114
click to vote
EDBT
2006
ACM
16 years 2 months ago
2006
ACM
The problem of rewriting queries using views has received significant attention because of its applications in a wide variety of datamanagement problems. For select-project-join SQ...
127
click to vote
SIGMOD
1999
ACM
15 years 6 months ago
1999
ACM
We address the problem of query rewriting for TSL, a language for querying semistructured data. We develop and present an algorithm that, given a semistructured query q and a set ...
106
click to vote
RTA
1993
Springer
15 years 6 months ago
1993
Springer
We propose an extension of rewriting techniques to derive inclusion relations a ⊆ b between terms built from monotonic operators. Instead of using only a rewriting relation ⊆ â...
121
click to vote
ENTCS
2006
15 years 2 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
217
click to vote
ICDT
2011
ACM
14 years 5 months ago
2011
ACM
Distributed data management systems consist of peers that store, exchange and process data in order to collaboratively achieve a common goal, such as evaluate some query. We study...