A (Gentle) Introduction to Deductive Databases.
Shalom TsurPublished in: Logic Programming Summer School (1992)
Keyphrases
- deductive databases
- gentle introduction
- integrity constraints
- learning red hat linux
- logic programming
- fixpoint
- query evaluation
- functional programming
- semantic query optimization
- declarative language
- integrity checking
- disjunctive deductive databases
- model theoretic
- closed world assumption
- microsoft windows
- database design
- declarative semantics
- active rules
- database technology
- databases
- datalog programs
- constraint checking
- operating system
- fixpoint semantics
- natural language
- data mining