Disjunctive and conjunctive normal forms of pseudo-Boolean functions.
Stephan FoldesPeter L. HammerPublished in: Discret. Appl. Math. (2000)
Keyphrases
- normal form
- pseudo boolean functions
- boolean functions
- database design
- relational databases
- nested relations
- database theory
- information content
- functional dependencies
- aco algorithms
- formal definitions
- combinatorial search
- search space
- answer sets
- objective function
- data dependencies
- databases
- prime implicates
- database applications
- datalog programs
- desirable properties
- optimization problems
- user interface