Keyphrases
- deductive databases
- integrity constraints
- logic programming
- disjunctive deductive databases
- fixpoint
- query evaluation
- update propagation
- security requirements
- information security
- integrity checking
- access control
- event calculus
- declarative semantics
- quality of service
- database
- query processing
- expert systems
- artificial intelligence
- machine learning