Answer Counting under Guarded TGDs.
Cristina FeierCarsten LutzMarcin PrzybylkoPublished in: Log. Methods Comput. Sci. (2023)
Keyphrases
- answering queries
- query answering
- inclusion dependencies
- data exchange
- tuple generating dependencies
- integrity constraints
- schema mappings
- dl lite
- conjunctive queries
- query answers
- data complexity
- functional dependencies
- relational databases
- first order logic
- databases
- inconsistent databases
- data dependencies
- incomplete information
- inference rules
- data integration
- query rewriting
- data management
- description logics
- query processing
- relational model
- fixed point
- finite sets
- logical equivalence
- decision procedures
- np hard
- database