Title :
A nonmonotonic typed multilevel logic for multilevel secure data/knowledge base management systems
Author :
Thuraisingham, Bhavani
Author_Institution :
Mitre Corp., Bedford, MA, USA
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;
Conference_Titel :
Computer Security Foundations Workshop IV, 1991. Proceedings
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-2215-6
DOI :
10.1109/CSFW.1991.151579
