Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems.

Zurab Khasidashvili Mizuhito Ogawa Vincent van Oostrom

Published in: Inf. Comput. (2001)

Keyphrases

rewrite systems
term rewriting
quantifier free
active rules
knuth bendix
theorem prover
normalization method
database
information systems
data structure
relational databases
data model
database management systems
active databases