A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis.

Preey Shah Aman Bansal S. Akshay Supratik Chakraborty

Published in: CoRR (2021)

Keyphrases

normal form
multi valued
relational databases
functional dependencies
boolean expressions
relational algebra
nested relations
database design
information content
data dependencies
prime implicates
disjunctive normal form
management system
database management systems
first order logic