Finite Acyclic Theories are Unitary.

Satish R. Thatte

Published in: J. Symb. Comput. (1993)

Keyphrases

equational theories
np hard
data sets
theoretical framework
database schemes
series expansion
unit length
join dependencies
database
artificial intelligence
lower bound
finite number
real numbers