Answer Counting under Guarded TGDs.
Cristina FeierCarsten LutzMarcin PrzybylkoPublished in: CoRR (2021)
Keyphrases
- answering queries
- query answering
- inclusion dependencies
- data exchange
- tuple generating dependencies
- integrity constraints
- schema mappings
- conjunctive queries
- databases
- dl lite
- data complexity
- query answers
- functional dependencies
- data integration
- relational databases
- first order logic
- data dependencies
- probabilistic databases
- incomplete information
- finite sets
- desirable properties
- query rewriting
- function symbols
- database
- description logics
- inconsistent databases
- decision procedures
- normal form
- database systems
- fixed point