Modal definability of first-order formulas with free variables and query answering.
Stanislav KikotEvgeny ZolinPublished in: J. Appl. Log. (2013)
Keyphrases
- query answering
- logical formulas
- data exchange
- real numbers
- unions of conjunctive queries
- universally quantified
- integrity constraints
- answering queries
- conjunctive queries
- incomplete information
- data complexity
- horn clauses
- first order logic
- data integration
- propositional logic
- inconsistent databases
- query answers
- modal logic
- dl lite
- relational calculus
- xml data exchange
- database
- nonmonotonic logics
- business intelligence
- special case
- databases