Intensional First-Order Logic for P2P Database Systems.
Zoran MajkicPublished in: J. Data Semant. (2009)
Keyphrases
- first order logic
- database systems
- expressive power
- theorem proving
- propositional logic
- probabilistic reasoning
- inductive logic programming
- knowledge representation
- inference rules
- markov networks
- probabilistic graphical models
- query optimization
- representation language
- databases
- database technology
- theorem prover
- higher order
- database design
- database
- relational database systems
- data management
- markov logic networks
- predicate calculus
- relational algebra
- transitive closure
- horn clauses
- data integration
- data model
- query processing
- quantifier elimination
- quantifier free
- data complexity
- query evaluation