Deduction and Deductive Databases for Geographic Data Handling.
Alia I. AbdelmotyM. Howard WilliamsNorman W. PatonPublished in: SSD (1993)
Keyphrases
- deductive databases
- data handling
- automated deduction
- data management
- data processing
- integrity constraints
- query evaluation
- data analysis
- logic programming
- disjunctive deductive databases
- fixpoint
- inference rules
- semantic query optimization
- closed world assumption
- constraint checking
- declarative language
- integrity checking
- theorem proving
- model theoretic
- declarative semantics
- database
- general purpose
- database systems