Brun Normal Forms for Co-atomic Lukasiewicz Logics.
Stefano AguzzoliOttavio M. D'AntonaVincenzo MarraPublished in: ECSQARU (2005)
Keyphrases
- normal form
- modal logic
- prime implicates
- truth values
- inference rules
- temporal logic
- database design
- multi valued
- relational databases
- functional dependencies
- database theory
- nested relations
- expressive power
- relational algebra
- data dependencies
- default logic
- formal definitions
- database schema
- information content
- databases
- case study