期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
关于主动数据库属性依赖及公理系统的研究
1
作者 王瑞祥 郝忠孝 《齐齐哈尔大学学报(自然科学版)》 2004年第1期34-39,共6页
在主动数据库的理论与应用研究中,更新传播算法的应用,保证了系统在属性依赖方面的相容性。本文基于不变式方式和PATH路径公理系统,给出了一种更新传播算法,对该算法的正确性、可终止性进行了论证,并进行了时间复杂度分析。
关键词 主动数据库 属性依赖 公理系统 path公理 不变式
下载PDF
实数集上去倒数拓扑空间的研究 被引量:2
2
作者 刘德金 《吉林师范大学学报(自然科学版)》 2015年第2期40-42,50,共4页
对实数集上的去倒数拓扑空间进行了研究.证明了它是可分空间、Lindelof空间、满足第二可数性公理的空间、连通空间等,并证明它不是局部连通空间、道路连通空间、紧致空间等.
关键词 拓扑空间 实数集上的去倒数拓扑 满足第二可数性公理的空间 连通空间 道路连通空间
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部