882 search results - page 57 / 177 » A Taste of Rewrite Systems |
PODS
2003
ACM
16 years 21 days ago
2003
ACM
In this paper we consider general path constraints for semistructured databases. Our general constraints do not suffer from the limitations of the path constraints previously stud...
107
Voted
AAECC
2007
Springer
15 years 21 days ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
170
click to vote
CONPAR
1994
15 years 4 months ago
1994
The Rewrite Rule Machine (RRM) is a massively parallel MIMD/SIMD computer designed with the explicit purpose of supporting veryhigh-level parallel programming with rewrite rules. T...
130
click to vote
WISE
2007
Springer
15 years 6 months ago
2007
Springer
We study and present our findings on two closely related problems on xpath rewriting using views when both the view and the query are tree patterns involving /,// and []. First, g...
118
Voted
VLDB
2011
ACM
14 years 7 months ago
2011
ACM
Schema mappings are high-level specifications that describe the relationship between two database schemas. They are an important tool in several areas of database research, notab...