889 search results - page 9 / 178 » Problems in Rewriting III |
LPAR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
PODS
2005
ACM
14 years 10 months ago
2005
ACM
We investigate the question of whether a query can be answered using a set V of views. We first define the problem in information-theoretic terms: we say that V determines if V pr...
ICDT
2005
ACM
14 years 3 months ago
2005
ACM
We study the problem of rewriting queries using views in the presence of access patterns, integrity constraints, disjunction, and negation. We provide asymptotically optimal algori...
AGTIVE
2003
Springer
14 years 3 months ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...
HPDC
2002
IEEE
14 years 2 months ago
2002
IEEE