Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form.

Kristian Støvring

Published in: Nord. J. Comput. (2006)

Keyphrases

normal form
higher order
relational databases
database design
nested relations
functional dependencies
relational algebra
optimal solution
information content
data dependencies
expressive power
relational database theory
database
boolean expressions