Skolem Normal Forms Concerning the Least Fixpoint.
Elias DahlhausPublished in: Computation Theory and Logic (1987)
Keyphrases
- fixpoint
- normal form
- first order logic
- horn clauses
- logic programs
- deductive databases
- database design
- relational databases
- functional dependencies
- nested relations
- database theory
- relational algebra
- finite state machines
- expressive power
- stable models
- inference rules
- answer sets
- sql queries
- data dependencies
- propositional logic
- datalog programs
- nonmonotonic reasoning
- incomplete information
- null values
- recursive queries
- logic programming
- transitive closure
- model checking
- object oriented
- probabilistic reasoning
- knowledge representation
- background knowledge
- prime implicates
- database