DocumentCode
2140438
Title
A nonmonotonic typed multilevel logic for multilevel secure data/knowledge base management systems
Author
Thuraisingham, Bhavani
Author_Institution
Mitre Corp., Bedford, MA, USA
fYear
1991
fDate
18-20 Jun 1991
Firstpage
127
Lastpage
138
Abstract
The paper describes nonmonotonic typed multilevel logic (NTML) for multilevel database applications. It also describes various approaches to viewing multilevel databases through NTML and discusses techniques for query evaluation and integrity checking
Keywords
data integrity; database management systems; formal logic; inference mechanisms; security of data; DBMS; KBMS; NTML; integrity checking; logic programming; multilevel database; nonmonotonic reasoning; nonmonotonic typed multilevel logic; query evaluation; Data security; Database systems; Deductive databases; Knowledge based systems; Knowledge management; Logic programming; Multilevel systems; Query processing; Relational databases; Spatial databases;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop IV, 1991. Proceedings
Conference_Location
Franconia, NH
Print_ISBN
0-8186-2215-6
Type
conf
DOI
10.1109/CSFW.1991.151579
Filename
151579
Link To Document