Efficient Visual Queries for Deductive Databases.
Dimitra VistaPeter T. WoodPublished in: Workshop on Programming with Logic Databases (Informal Proceedings), ILPS (1993)
Keyphrases
- deductive databases
- query evaluation
- semantic query optimization
- logic programming
- integrity constraints
- constraint checking
- query processing
- query language
- declarative language
- disjunctive deductive databases
- closed world assumption
- hypothetical reasoning
- database
- model theoretic
- declarative semantics
- query optimization
- xml data
- data sources
- integrity checking
- conjunctive queries
- fixpoint