Applications of Annotated Predicate Calculus to Querying Inconsistent Databases.
Marcelo ArenasLeopoldo E. BertossiMichael KiferPublished in: Computational Logic (2000)
Keyphrases
- predicate calculus
- inconsistent databases
- query answering
- consistent query answering
- formal model
- first order logic
- semantic network
- predicate logic
- theorem proving
- datalog programs
- integrity constraints
- databases
- database
- query language
- data exchange
- theorem prover
- data complexity
- knowledge representation and reasoning
- data mining
- incomplete information
- knowledge sources
- conjunctive queries
- domain knowledge
- data model
- query processing
- keywords