A normal form algorithm for the Brieskorn lattice.

Mathias Schulze

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

Keyphrases

normal form
np hard
computational complexity
relational databases
database design
database
functional dependencies
data dependencies
lattice structure
boolean expressions