Title :
A nonmonotonic typed multilevel logic for multilevel secure data/knowledge base management systems. II
Author :
Thuraisingham, Bhavani
Author_Institution :
The MITRE Corp., Bedford, MA, USA
Abstract :
For pt.I. see Proc. 4th Computer Security Foundations, Franconia, USA (1991). In pt.I the author described a logic called nonmonotonic typed multilevel logic (NTML) for multilevel database applications. They also described various approaches to viewing multilevel databases through NTML. In this paper he continues with his discussion of the applications of NTML. In particular, the use of NTML as a programming language, issues on handling negative information in multilevel databases, and approaches for integrity checking in multilevel database systems are described. His work on NTML will be of significance to multilevel data/knowledge base applications in the same way logic programming has been to the development of data/knowledge base applications
Keywords :
data integrity; database management systems; knowledge based systems; many-valued logics; nonmonotonic reasoning; security of data; integrity checking; knowledge base management systems; multilevel databases; multilevel secure data; nonmonotonic typed multilevel logic; programming language; Application software; Computer languages; Data security; Database systems; Deductive databases; Energy management; Knowledge management; Logic programming; Relational databases; Spatial databases;
Conference_Titel :
Computer Security Foundations Workshop V, 1992. Proceedings.
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-2850-2
DOI :
10.1109/CSFW.1992.236781
