Constraint Semantics for Abstract Read Permissions.
John Tang BoylandPeter MüllerMalte SchwerhoffAlexander J. SummersPublished in: FTfJP@ECOOP (2014)
Keyphrases
- formal semantics
- access control
- logic programming
- propositional dynamic logic
- high level
- semantic information
- low level
- constraint networks
- linear constraints
- constraint language
- information systems
- logic programs
- higher level
- database
- distributed databases
- data model
- semantic representation
- model theoretic
- semantic constraints