ACM SIGMOD Anthology VLDB dblp.uni-trier.de

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

ACM SIGMOD Anthology

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

  1. 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