Belnap-Dunn Logic and Query Answering in Inconsistent Databases with Null Values.
Cornelis A. MiddelburgPublished in: Sci. Ann. Comput. Sci. (2023)
Keyphrases
- query answering
- inconsistent databases
- null values
- integrity constraints
- incomplete information
- consistent answers
- conjunctive queries
- deductive databases
- predicate logic
- answering queries
- data complexity
- consistent query answering
- tuple generating dependencies
- functional dependencies
- normal form
- data exchange
- query rewriting
- database schema
- data integration
- datalog programs
- relational algebra
- automated reasoning
- relational model
- xml documents
- logic programming
- data dependencies
- modal logic
- multi valued
- inclusion dependencies
- object oriented
- data mining
- query containment
- dl lite
- query answers
- unions of conjunctive queries
- xml schema