多级安全空间数据库的语义

摘要

本文提出了为每一元素(数据项)赋予安全级时的多级关系-层次数据模型,该模型能处理多级空间数据.在该模型下,引入了上下层关系完整性.在吸收基于信赖的语义[5]和基于事实的语义[1]思想的基础上,修改了SELECT语句的格式和语义,扩充了MLR[6]中基于数据的语义.为防止数据模型引入的隐通道,我们修改了MLR中其它SQL语句的语义和处理,最后证明了多级关系-层次数据模型是安全的.