Integrity Constraint Checking in Deductive Databases Using a Rule/Goal Graph.
Bern MartensMaurice BruynooghePublished in: Expert Database Conf. (1988)
Keyphrases
- constraint checking
- deductive databases
- integrity constraints
- active rules
- integrity checking
- logic programming
- query evaluation
- fixpoint
- semantic query optimization
- disjunctive deductive databases
- closed world assumption
- model theoretic
- distributed databases
- active databases
- high level
- execution model
- conjunctive queries
- data mining