Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases (Abstract).
Leopoldo BertossiPublished in: SOQE@KR (2021)
Keyphrases
- quantifier elimination
- consistent query answering
- databases
- database
- constraint propagation
- integrity constraints
- constraint databases
- high level
- relational databases
- cardinality constraints
- functional programming
- first order logic
- data model
- database systems
- data warehouse
- database applications
- data integration
- indexing techniques
- query processing
- relational database systems