Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases.
Leopoldo BertossiPublished in: CoRR (2021)
Keyphrases
- quantifier elimination
- consistent query answering
- databases
- database
- constraint propagation
- integrity constraints
- constraint databases
- functional programming
- relational databases
- database systems
- cardinality constraints
- data management
- database applications
- query answering
- consistent answers
- first order logic
- xml documents
- user defined
- knowledge base