On the Complexity of Minimizing Median Normal Forms of Monotone Boolean Functions and Lattice Polynomials.
Miguel CouceiroPierre MercurialiRomain PéchouxAbdallah SaffidinePublished in: J. Multiple Valued Log. Soft Comput. (2019)
Keyphrases
- normal form
- database design
- formal definitions
- functional dependencies
- relational databases
- monotone boolean functions
- nested relations
- prime implicates
- database theory
- relational algebra
- uniform distribution
- information content
- data dependencies
- database schema
- decision problems
- object oriented
- relational database theory
- data model
- expressive power
- boolean expressions