Knowledge Discovery in Deductive Databases with Large Deduction Results: the First Step.
Chien-Le GohMasahiko TsukamotoShojiro NishioPublished in: IEEE Trans. Knowl. Data Eng. (1996)
Keyphrases
- deductive databases
- knowledge discovery
- integrity constraints
- automated deduction
- logic programming
- query evaluation
- semantic query optimization
- fixpoint
- disjunctive deductive databases
- closed world assumption
- integrity checking
- association rules
- data mining
- declarative language
- hypothetical reasoning
- declarative semantics
- constraint checking
- logical implication
- semantics of logic programs
- model theoretic
- theorem proving
- theorem prover
- inference rules
- fixpoint semantics
- logic programs
- machine learning
- databases
- stable models
- horizontal fragmentation
- general logic programs