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}
}

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

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Electronic Edition

References

[BCC93]
...
[BCC94]
...
[BL75]
...
[CC95]
Laurence Cholvy, Frédéric Cuppens: Providing Consistent Views in a Polyinstantiated Database. DBSec 1994: 277-296 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CD89]
Frédéric Cuppens, Robert Demolombe: How to recognize interesting topics to provide cooperative answering. Inf. Syst. 14(2): 163-173(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[JSS90]
...
[KM88]
Hirofumi Katsuno, Alberto O. Mendelzon: Propositional Knowledge Base Revision and Minimal Change. Artif. Intell. 52(3): 263-294(1992) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Lun91]
...
[Rei83]
...
[SJ91]
...
[SJ92]
...
[Spa94]
Adrian Spalka: Secure Logic Databases Allowed to Reveal Indefinite Information on Secrets. DBSec 1994: 297-316 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SW92]
Kenneth Smith, Marianne Winslett: Entity Modeling in the MLS Relational Model. VLDB 1992: 199-210 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Thu91]
...

Copyright © Tue Mar 16 02:22:06 2010 by Michael Ley (ley@uni-trier.de)