ECA rules for controlling authorisation plan to satisfy dynamic constraints.
Meriam JemelNadia Ben AzzounaKhaled GhédiraPublished in: PST (2015)
Keyphrases
- dynamic constraints
- eca rules
- active rules
- active database systems
- plan execution
- active databases
- integrity constraints
- temporal logic
- object oriented databases
- deductive databases
- plan recognition
- control flow
- functional dependencies
- database technology
- security policies
- business rules
- formal semantics
- information systems
- software engineering