A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis.

Preey Shah Aman Bansal S. Akshay Supratik Chakraborty

Published in: LICS (2021)

Keyphrases

normal form
multi valued
database design
boolean expressions
relational databases
functional dependencies
nested relations
relational algebra
disjunctive normal form
real valued
information content
decision rules
first order logic
boolean functions
prime implicates