Irredundant Normal Forms and Minimal Dependece Sets of a Boolean Function.
Constantine HalatsisNikolaos GaitanisPublished in: IEEE Trans. Computers (1978)
Keyphrases
- normal form
- boolean functions
- disjunctive normal form
- database design
- uniform distribution
- database theory
- functional dependencies
- relational databases
- nested relations
- relational algebra
- multi valued
- propositional formulas
- formal definitions
- prime implicates
- databases
- relevant variables
- membership queries
- functional properties
- pseudo boolean functions
- stack filters
- data dependencies
- knowledge compilation
- rough sets
- xml documents