Compact Normalisation Trace via Lazy Rewriting.

Quang Huy Nguyen

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

rewriting rules
queries using views
databases
e learning
clustering algorithm
database systems
bayesian networks
data structure
xml documents
compact representations