Extrema Predicates in Deductive Databases.
Sumit GangulySergio GrecoCarlo ZanioloPublished in: J. Comput. Syst. Sci. (1995)
Keyphrases
- deductive databases
- datalog programs
- integrity constraints
- logic programming
- scale space
- query evaluation
- fixpoint
- semantic query optimization
- disjunctive deductive databases
- integrity checking
- multiscale
- declarative language
- constraint checking
- user defined
- declarative semantics
- semantics of logic programs
- fixpoint semantics
- closed world assumption
- stable models
- hypothetical reasoning
- model theoretic
- data mining
- horn clauses
- expert systems
- metadata