Recursive Axioms in Deductive Databases: The Query/Subquery Approach.
Laurent VieillePublished in: Expert Database Conf. (1986)
Keyphrases
- deductive databases
- query evaluation
- semantic query optimization
- recursive queries
- query optimization
- query processing
- fixpoint
- integrity constraints
- datalog programs
- logical implication
- logic programming
- xml data
- data management
- disjunctive deductive databases
- query language
- conjunctive queries
- semantics of logic programs
- data complexity
- database
- closed world assumption
- integrity checking
- view definitions
- constraint checking
- declarative language
- declarative semantics
- knowledge base
- range queries
- model theoretic
- logic programs
- xpath queries
- software engineering
- complex objects
- answering queries
- cost model
- database queries
- transitive closure