Foundations of Information and Knowledge Systems

DOI10.1007/11663881zbMATH Open1177.68064OpenAlexW4212786759MaRDI QIDQ5898537FDOQ5898537

Authors Joachim Biskup, P. A. Bonatti 

Publication date 12 February 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11663881

zbMATH Keywords

Finite model theoryRelational databaseFirst-order logicConfidentialityGuarded fragmentCompleteness testControlled query evaluationDomain-independent queryImplication problemLyingOpen queryRefusalSafe queryBernays-Schönfinkel classComplete information system

Mathematics Subject Classification ID

Database theory (68P15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Logic in computer science (03B70)

Recommendations

• Controlled query evaluation with open queries for a decidable relational submodel
• Confidentiality policies and their enforcement for controlled query evaluation
• Controlled query evaluation for known policies by combining lying and refusal
• scientific article; zbMATH DE number 2080022
• Reducing inference control to access control for normalized database schemas

Cited In (4)

• Confidentiality policies and their enforcement for controlled query evaluation
• On the finite controllability of conjunctive query answering in databases under open-world assumption
• Controlled query evaluation for known policies by combining lying and refusal
• Controlled query evaluation with open queries for a decidable relational submodel

This page was built for publication: Foundations of Information and Knowledge Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5898537)