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

fYear

1992

fDate

16-18 Jun 1992

Firstpage

135

Lastpage

146

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Security Foundations Workshop V, 1992. Proceedings.

Conference_Location

Franconia, NH

Print_ISBN

0-8186-2850-2

Type

conf

DOI

10.1109/CSFW.1992.236781

Filename

236781