23201 search results - page 62 / 4641 » Rewriting Systems with Data |
262
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
The performance of XML database queries can be greatly enhanced by rewriting them using materialized views. We study the problem of rewriting a query using materialized views, whe...
160
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...
166
click to vote
XIMEP
2005
ACM
16 years 5 days ago
2005
ACM
We present in this paper a system for rewriting user-specific XPath queries for higher sharing of common sub-expressions in a streaming environment. We rewrite these queries acco...
143
click to vote
ENTCS
2008
15 years 6 months ago
2008
Rewrite theories and their associated Kripke structures constitute a flexible and executable framework in which a wide range of systems can be studied. We present a general notion...
163
click to vote
FROCOS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...