Decidability and Expressiveness Aspects of Logic Queries.
Oded ShmueliPublished in: XP7.52 Workshop on Database Theory (1986)
Keyphrases
- computational properties
- monadic second order logic
- expressive power
- query language
- description logics
- query containment
- efficient processing
- query evaluation
- query answering
- data model
- database
- user queries
- response time
- query formulation
- logic programming
- data sources
- range queries
- nonmonotonic logics
- query processing
- database queries
- classical logic
- algebraic operators
- query logs
- modal logic
- web search engines
- automated reasoning
- multi valued
- query rewriting
- result set
- search queries
- predicate logic
- first order logic