Login / Signup
A New One-Pass Transformation into Monadic Normal Form.
Olivier Danvy
Published in:
CC (2003)
Keyphrases
</>
normal form
database design
relational databases
functional dependencies
relational algebra
nested relations
information content
data dependencies
multi valued
deductive databases
prime implicates
disjunctive normal form
boolean expressions
sensor networks
set of functional dependencies