23201 search results - page 74 / 4641 » Rewriting Systems with Data |
208
click to vote
SIGMOD
2007
ACM
16 years 1 months ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...
129
click to vote
CIKM
2011
Springer
14 years 1 months ago
2011
Springer
We present Nyaya, a system for the management of Semantic-Web data which couples a general-purpose and extensible storage mechanism with efficient ontology reasoning and querying ...
102
click to vote
PODS
2003
ACM
16 years 1 months 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...
109
click to vote
AAECC
2007
Springer
15 years 1 months 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...
181
click to vote
CONPAR
1994
15 years 5 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...