Belnap-Dunn logic and query answering in inconsistent databases with null values.
Cornelis A. MiddelburgPublished in: CoRR (2023)
Keyphrases
- query answering
- inconsistent databases
- null values
- integrity constraints
- incomplete information
- consistent query answering
- consistent answers
- conjunctive queries
- deductive databases
- predicate logic
- functional dependencies
- data complexity
- answering queries
- data exchange
- logic programming
- tuple generating dependencies
- inclusion dependencies
- modal logic
- query rewriting
- database schema
- query answers
- data integration
- relational databases
- relational model
- automated reasoning
- database
- xml schema
- first order logic
- np complete
- data model
- databases