Login / Signup

Category-Based Authorisation Models: Operational Semantics and Expressive Power.

Clara BertolissiMaribel Fernández
Published in: ESSoS (2010)
Keyphrases
  • expressive power
  • operational semantics
  • first order logic
  • query language
  • data complexity
  • computational properties
  • transitive closure
  • databases
  • relational calculus
  • database
  • relational algebra
  • activity diagrams