Foundations of Information and Knowledge Systems

DOI10.1007/11663881zbMath1177.68064OpenAlexW4212786759MaRDI QIDQ5898537

Piero A. Bonatti, Joachim Biskup

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 fragmentBernays-Schönfinkel classCompleteness testControlled query evaluationDomain-independent queryImplication problemLyingOpen queryRefusalSafe queryComplete information system

Mathematics Subject Classification ID

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

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