On the Expressiveness of Levesque's Normal Form.
Yongmei LiuGerhard LakemeyerPublished in: J. Artif. Intell. Res. (2008)
Keyphrases
- normal form
- expressive power
- functional dependencies
- database design
- nested relations
- relational databases
- relational algebra
- modal logic
- situation calculus
- data dependencies
- information content
- prime implicates
- relational model
- relational database theory
- autoepistemic logic
- database schemes
- database technology
- integrity constraints
- disjunctive normal form
- data model