Querying a Multilevel Database: A Logical Analysis.
Frédéric Cuppens:
Querying a Multilevel Database: A Logical Analysis.
VLDB 1996: 484-494@inproceedings{DBLP:conf/vldb/Cuppens96,
author = {Fr{\'e}d{\'e}ric Cuppens},
editor = {T. M. Vijayaraman and
Alejandro P. Buchmann and
C. Mohan and
Nandlal L. Sarda},
title = {Querying a Multilevel Database: A Logical Analysis},
booktitle = {VLDB'96, Proceedings of 22th International Conference on Very
Large Data Bases, September 3-6, 1996, Mumbai (Bombay), India},
publisher = {Morgan Kaufmann},
year = {1996},
isbn = {1-55860-382-4},
pages = {484-494},
ee = {db/conf/vldb/Cuppens96.html},
crossref = {DBLP:conf/vldb/96},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
This paper proposes a new formal model and semantics for answering queries in a
multilevel polyinstantiated database. A polyinstantiated database may contain
some contradictory facts distinguished by their classification. The main
objective of this paper is then to provide the user cleared at a given level
with a consistent and complete view of the multilevel database corresponding
to his clearance level.
In our model, a multilevel database is simply viewed as a set of ordinary
single-level databases. This model is based on propositional logic and each
single-level database is associated with its logical models, as in the model-
theoretic approach. It includes the possibility to hide some parts of the
database schema. Finally, it may be used as a formal semantics for multiple
deductive databases.
Copyright © 1996 by the VLDB Endowment.
Permission to copy without fee all or part of this material is granted provided that the copies are not made or
distributed for direct commercial advantage, the VLDB
copyright notice and the title of the publication and
its date appear, and notice is given that copying
is by the permission of the Very Large Data Base
Endowment. To copy otherwise, or to republish, requires
a fee and/or special permission from the Endowment.
Online Paper
CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
Printed Edition
T. M. Vijayaraman, Alejandro P. Buchmann, C. Mohan, Nandlal L. Sarda (Eds.):
VLDB'96, Proceedings of 22th International Conference on Very Large Data Bases, September 3-6, 1996, Mumbai (Bombay), India.
Morgan Kaufmann 1996, ISBN 1-55860-382-4
Contents BibTeX
Electronic Edition
References
- [BCC93]
- ...
- [BCC94]
- ...
- [BL75]
- ...
- [CC95]
- Laurence Cholvy, Frédéric Cuppens:
Providing Consistent Views in a Polyinstantiated Database.
DBSec 1994: 277-296 BibTeX
- [CD89]
- Frédéric Cuppens, Robert Demolombe:
How to recognize interesting topics to provide cooperative answering.
Inf. Syst. 14(2): 163-173(1989) BibTeX
- [DLS+87]
- ...
- [DLS+88]
- Teresa F. Lunt, Dorothy E. Denning, Roger R. Schell, Mark Heckman, William R. Shockley:
The SeaView Security Model.
IEEE Trans. Software Eng. 16(6): 593-607(1990) BibTeX
- [GLQS92]
- Thomas D. Garvey, Teresa F. Lunt, Xiaolei Qian, Mark E. Stickel:
Toward a Tool to Detect and Eliminate Inference Problems in the Design of Multilevel Databases.
DBSec 1992: 149-168 BibTeX
- [JSS90]
- ...
- [KM88]
- Hirofumi Katsuno, Alberto O. Mendelzon:
Propositional Knowledge Base Revision and Minimal Change.
Artif. Intell. 52(3): 263-294(1992) BibTeX
- [Lun91]
- ...
- [Rei83]
- ...
- [SJ91]
- ...
- [SJ92]
- ...
- [Spa94]
- Adrian Spalka:
Secure Logic Databases Allowed to Reveal Indefinite Information on Secrets.
DBSec 1994: 297-316 BibTeX
- [SW92]
- Kenneth Smith, Marianne Winslett:
Entity Modeling in the MLS Relational Model.
VLDB 1992: 199-210 BibTeX
- [Thu91]
- ...
Referenced by
- Hasan M. Jamil:
Belief Reasoning in MLS Deductive Databases.
SIGMOD Conference 1999: 109-120
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:46:12 2009