A nonmonotonic typed multilevel logic for multilevel secure data/knowledge base management systems
Bhavani M. Thuraisingham · 2002
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.>