Remarks on Herbrand normal forms and Herbrand realizations.
Ulrich KohlenbachPublished in: Arch. Math. Log. (1992)
Keyphrases
- function symbols
- normal form
- logic programs
- logic programming
- first order logic
- horn clauses
- relational databases
- database design
- answer set programming
- nested relations
- database theory
- relational algebra
- statistical relational learning
- functional dependencies
- formal definitions
- data dependencies
- consistency checking
- desirable properties
- information content
- expressive power
- reasoning tasks
- databases
- prime implicates
- random variables
- relational database theory