The expressive power of first-order topological languages.
Ernest DavisPublished in: J. Log. Comput. (2013)
Keyphrases
- expressive power
- first order logic
- data complexity
- knowledge representation
- relational algebra
- transitive closure
- propositional logic
- computational properties
- query language
- quantifier elimination
- horn clauses
- relational query languages
- constraint query languages
- theorem prover
- database query languages
- databases
- description logics
- expert systems
- machine learning