The Role of Decidability in First Order Separations over Classes of Finite Structures.
Steven LindellScott WeinsteinPublished in: LICS (2000)
Keyphrases
- unions of conjunctive queries
- data exchange
- conjunctive queries
- query answering
- probabilistic databases
- decision procedures
- number restrictions
- linear temporal logic
- transitive closure
- finitely representable
- description logics
- databases
- relational queries
- dl lite
- query evaluation
- data management
- machine learning
- relational algebra
- first order logic
- data integration
- higher order
- recursive functions
- database
- finite model theory
- modal logic
- database systems
- knowledge base