Keyphrases
- modal logic
- logic programming
- formal semantics
- conditional logic
- functional dependencies
- nonmonotonic logics
- conceptual model
- database languages
- fixpoint semantics
- database design
- temporal logic
- semantic information
- conceptual graphs
- data sets
- decision procedures
- dynamic logic
- relaxation algorithm
- finite state automaton