Abstract
A logic based language, called MultiLog, for multi level secure relational databases has recently been proposed. It has been shown that MultiLog is capable of capturing the notion of user belief, of filtering unwanted and “useless” information in its proof theory. Additionally, it can guard against a previously unknown security breach — the so called surprise. stories. In this paper, we outline a possible approach to a declarative characterization of belief queries in MultiLog in a very informal manner. We show that for “simple programs” with belief queries, the semantics is rather straight forward. Semantics for the general Horn programs may be developed based on the understanding of the model theoretic characterization of belief queries developed in this paper.
Chapter PDF
References
M. Bugliesi and H. M. Jamil. A stable model semantics for behavioral inheritance in deductive object oriented languages. In Proc ICDT, pages 222–237, 1995.
F. Cuppens. Querying a multilevel database: A logical analysis. In VLDB Proc., pages 484–494, 1996.
S. Jajodia and R. Sandhu. Toward a multilevel secure relational data model. In ACM SIGMOD, pages 50–59, 1991.
Hasan M. Jamil. Belief reasoning in MLS deductive databases. In ACM SIGMOD, pages 109–120, 1999.
H. M. Jamil. A logic based language for parametric inheritance. In Proc KR’ 2000.
Hasan M. Jamil and Gillian Dobbie. Logical characterization of multi-level secure databases. Technical report, Department of Computer Science, Mississippi State University, USA, October 2000.
Hasan M. Jamil and L. V. S. Lakshmanan. A declarative semantics for behavioral inheritance and conflict resolution. In Proc ILPS, pages 130–144, December 1995.
N. A. Jukic and S. V. Vrbsky. Asserting beliefs in MLS relational models. In SIGMOD Record, pages 30–35, Ithaca, NY, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Kluwer Academic Publishers
About this chapter
Cite this chapter
Jamil, H.M. (2002). Declarative Semantics of Belief Queries in Mls Deductive Databases. In: Thuraisingham, B., van de Riet, R., Dittrich, K.R., Tari, Z. (eds) Data and Application Security. IFIP International Federation for Information Processing, vol 73. Springer, Boston, MA. https://doi.org/10.1007/0-306-47008-X_28
Download citation
DOI: https://doi.org/10.1007/0-306-47008-X_28
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-7923-7514-2
Online ISBN: 978-0-306-47008-0
eBook Packages: Springer Book Archive