23201 search results - page 62 / 4641 » Rewriting Systems with Data |
191
click to vote
VLDB
2007
ACM
16 years 1 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...
CADE
2003
Springer
16 years 1 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...
93
Voted
XIMEP
2005
ACM
15 years 6 months 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...
79
Voted
ENTCS
2008
15 years 27 days 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...
108
Voted
FROCOS
2007
Springer
15 years 7 months 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...