Formal semantics of rights and confidentiality in definite deductive databases | IEEE Conference Publication | IEEE Xplore