On normal forms in Lukasiewicz logic.
Antonio Di NolaAda LettieriPublished in: Arch. Math. Log. (2004)
Keyphrases
- normal form
- modal logic
- prime implicates
- multi valued
- truth values
- database design
- functional dependencies
- relational databases
- database theory
- nested relations
- formal definitions
- description logic alc
- inference rules
- relational algebra
- temporal logic
- data dependencies
- logic programming
- null values
- relational database theory
- default logic
- integrity constraints
- databases
- situation calculus
- complex objects
- data model