Formal semantics of confidentiality in multilevel logic databases.
Adrian SpalkaPublished in: NSPW (1994)
Keyphrases
- formal semantics
- databases
- formal language
- operational semantics
- epistemic logic
- logical language
- database
- theorem prover
- relational databases
- modelling language
- modeling language
- er model
- first order logic
- data integration
- data management
- logical reasoning
- modal logic
- database applications
- automated reasoning
- access control
- data sources
- metadata
- relational database systems
- speech acts
- computational properties
- ontology languages
- object oriented
- query processing