Storage and Retrieval of First Order Logic Terms in a Database.
Peter GurskýPublished in: DATESO (2004)
Keyphrases
- first order logic
- storage and retrieval
- database
- expressive power
- propositional logic
- inference rules
- data storage
- probabilistic reasoning
- theorem proving
- inductive logic programming
- knowledge representation
- markov networks
- representation language
- transitive closure
- probabilistic graphical models
- horn clauses
- relational algebra
- theorem prover
- databases
- function symbols
- data management
- query processing
- database systems
- database management systems
- relational databases
- relational calculus
- relational database systems
- data model
- constraint databases
- object oriented
- query language
- natural language
- markov logic networks
- quantifier elimination