Advanced Query Formulation in Deductive Databases.
Timo NiemiKalervo JärvelinPublished in: Inf. Process. Manag. (1992)
Keyphrases
- deductive databases
- query formulation
- integrity constraints
- logic programming
- query reformulation
- disjunctive deductive databases
- query evaluation
- fixpoint
- semantic query optimization
- integrity checking
- declarative language
- closed world assumption
- query generation
- hypothetical reasoning
- constraint checking
- declarative semantics
- interactive query expansion
- semantics of logic programs
- general purpose
- multiple inheritance
- conjunctive queries
- high level