检索结果-内蒙古大学图书馆

第十七届全国数据库学术会议

作者：徐洁磐应丽君南京大学软件新技术国家重点实验室南京大学计算机系

1引言Softbase是一个具有自主版权的关系数据库管理系统,它采用SQL‘93作数据子语言,并具有关系数据库系统的数据模式定义、数据操纵及数据控制的功能,其详细情况介绍可参阅

关键词： Data secure subsystem Trusted Database Management System

来源：评论

学校读者我要写书评

暂无评论

MP~*与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性研究

引用

数学杂志 2000年第3期20卷 305-310页

作者：顾红芳白鹏肖奚安朱梧槚南京通信工程学院数学教研室南京210016 解放军信息工程学院基础部郑州450002 空军气象学院数学教研室南京211101 南京大学计算机软件新技术国家级重点实验室

本文基于中介命题逻辑的扩张系统 MP*之命题联结词含量的完全性结果 ,进一步证明了 Lukasiwicz三值逻辑系统 L*3 、Post三值逻辑系统 P*3 、Slupecki三值逻辑系统 S*3 和 Woodruff三值逻辑系统 W*3 等的命题联结词的含量也是完全的 .从... 详细信息

本文基于中介命题逻辑的扩张系统 MP*之命题联结词含量的完全性结果 ,进一步证明了 Lukasiwicz三值逻辑系统 L*3 、Post三值逻辑系统 P*3 、Slupecki三值逻辑系统 S*3 和 Woodruff三值逻辑系统 W*3 等的命题联结词的含量也是完全的 .从而着眼于形式系统 ,可知 MP*、L*3 、P*3 、S*3 、W*3 的语言表达的能力也都是等效的 .又若这些三值系统都是可靠的完备的 ,则可进一步证明这些三值系统立足于形式推理也都是互相等价的 .

关键词：三值逻辑命题联结词语言表达能力等效性

来源：评论

学校读者我要写书评

暂无评论

基于推理规则的OODBMS授权管理机制

基于推理规则的OODBMS授权管理机制

引用

第十七届全国数据库学术会议

作者：应丽君徐洁磐南京大学计算机软件新技术国家重点实验室南京大学计算机系南大谷元石油软件研究所有限公司

1引言随着网络技术的发展以及计算机在社会各个领域的广泛应用,数据的安全性问题已日益被人们所关注。数据库系统作为一个数据的主要存放场所,其安全与否已成为评价它的重要性能指标。目前,大部分数据库系统主要利用强制访问控制、自主... 详细信息

1引言随着网络技术的发展以及计算机在社会各个领域的广泛应用,数据的安全性问题已日益被人们所关注。数据库系统作为一个数据的主要存放场所,其安全与否已成为评价它的重要性能指标。目前,大部分数据库系统主要利用强制访问控制、自主授权控制管理等措施来实现安全性保护。限于篇幅,本文只讨论其中的自主授权控制管理问题。

关键词： Reasoning rule Authorization management Authorization-user Authorization-object

来源：评论

学校读者我要写书评

暂无评论

数据仓库OMNIX中的实现

数据仓库OMNIX中的实现

引用

第十七届全国数据库学术会议

作者：刘伟宏李晋晋何瑷徐洁磐南京南大谷元石油软件研究所有限公司南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系(南京)

来源：评论

学校读者我要写书评

暂无评论