Normal Forms for the One-Variable Fragment of Hájek's Basic Logic.
Stefano AguzzoliBrunella GerlaPublished in: ISMVL (2005)
Keyphrases
- normal form
- multi valued
- database design
- functional dependencies
- relational databases
- information content
- database theory
- nested relations
- relational algebra
- prime implicates
- modal logic
- formal definitions
- data dependencies
- logic programming
- automated reasoning
- function symbols
- case study
- efficient processing
- horn clauses