Keyphrases
- deductive databases
- datalog programs
- logic programming
- integrity constraints
- transitive closure
- query evaluation
- fixpoint
- query answering
- datalog programs with negation
- logic programs
- containment of conjunctive queries
- expressive power
- complex objects
- neural network
- query language
- fixpoint semantics
- disjunctive datalog
- closed form
- case study
- machine learning
- data sets
- real time
- predicate logic
- database