Deductive Databases for Genomic Mapping (Extended Abstract).
Shalom TsurFrank OlkenDalit NaorPublished in: Workshop on Deductive Databases (1990)
Keyphrases
- extended abstract
- deductive databases
- integrity constraints
- fixpoint
- logic programming
- semantic query optimization
- query evaluation
- integrity checking
- declarative language
- closed world assumption
- disjunctive deductive databases
- constraint checking
- logic programs
- declarative semantics
- stable models
- model theoretic
- high throughput
- databases
- hypothetical reasoning
- software engineering
- datalog programs
- ontology mapping
- multi valued
- fixpoint semantics
- knowledge representation
- data mining