Formal Semantics of Rights and Confidentiality in Definite Deductive Databases
Adrian SpalkaPublished in: CSFW (1994)
Keyphrases
- deductive databases
- formal semantics
- integrity constraints
- logic programming
- disjunctive deductive databases
- semantic query optimization
- query evaluation
- logical language
- operational semantics
- fixpoint
- model theoretic
- modeling language
- first order logic
- access control
- ontology languages
- closed world assumption
- speech acts
- modelling language
- database
- data management
- semantics of logic programs
- owl dl ontology
- theorem prover
- query language