A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm.

Franz Winkler Bruno Buchberger

Published in: SIGSAM Bull. (1983)

Keyphrases

probabilistic model
database
bayesian networks
relational databases
databases
machine learning
search space
general purpose
space complexity