8 search results - page 2 / 2 » Bi-rewriting, a Term Rewriting Technique for Monotonic Order... |
RTA
1995
Springer
13 years 8 months ago
1995
Springer
We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation ...
SIGMOD
2007
ACM
14 years 4 months ago
2007
ACM
Increasing monitoring of transactions, environmental parameters, homeland security, RFID chips and interactions of online users rapidly establishes new data sources and applicatio...
CIKM
2005
Springer
13 years 10 months ago
2005
Springer
Modern query optimizers select an efficient join ordering for a physical execution plan based essentially on the average join selectivity factors among the referenced tables. In ...