Keyphrases
- normal form
- propositional formulas
- multi valued
- relational calculus
- horn clauses
- truth values
- database design
- relational algebra
- disjunctive normal form
- semantics for logic programs
- relational databases
- functional dependencies
- logic programming
- information content
- nested relations
- logic programs
- deductive databases
- predicate logic
- databases
- data dependencies
- relational database theory
- conjunctive normal form
- null values
- knowledge compilation
- fixpoint
- set of functional dependencies
- inference rules
- integrity constraints