收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

空值环境下NFD—NMVD混合强保持逻辑蕴涵问题

郝忠孝  洪涛  刘国华  
【摘要】:本文讨论了空值环境下的NFD-NMVD混合强保持依赖基的定义和求解算法,并讨论了算法的有效性和完备性,给出了NFD-NMVD混合推导公理、强保持集属性闭包的求解算法,从而解决了NFD-NMVD混合情况下的强保持逻辑蕴涵问题。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 刘国华,郝忠孝,洪涛;空值环境下模板依赖(NTD)的研究[J];计算机研究与发展;1994年08期
2 郝忠孝,刘长林,刘国华;空值环境下嵌入多值依赖的研究[J];计算机研究与发展;1994年03期
3 刘国华,郝忠孝;含有空值的多值依赖强保持条件的进一步研究[J];计算机研究与发展;1994年06期
4 郝忠孝,洪涛,刘延民;空值环境下NMVD公理系统存在性的进一步研究[J];计算机研究与发展;1994年03期
5 郝忠孝;空值环境下函数依赖公理系统存在性研究[J];计算机工程;1990年05期
6 叶仰明;空值环境下关系模式无损连接分解为(N)BCNF的必要条件和算法[J];厦门大学学报(自然科学版);2000年01期
7 郝忠孝,刘国华,洪涛;空值环境下的NJD及其推导规则的研究[J];计算机研究与发展;1994年08期
8 刘永山,郝忠孝;空值环境下(N)4NF、(N)5NF的研究[J];计算机研究与发展;1995年02期
9 郝忠孝,马龙生,邓成玉;空值环境下子集依赖(NSD)的研究[J];计算机研究与发展;1994年08期
10 谈子敬,庞引明,施伯乐;XML上的函数依赖推理[J];软件学报;2003年09期
11 郝忠孝;空值环境下函数依赖公理系统的完备性[J];计算机研究与发展;1991年08期
12 郝忠孝;空值环境下函数依赖集最小覆盖求法[J];计算机研究与发展;1991年08期
13 徐洪丽;史斌;;解析基于逻辑蕴涵的sql语言[J];科技咨询导报;2007年22期
14 王艳琴,邝继顺,周哲;基于静态逻辑蕴涵的电路功耗优化[J];微电子学与计算机;2005年03期
15 邱长春;;XML键及推理规则[J];武汉科技学院学报;2006年11期
16 郝忠孝,刘国华,马龙生;空值环境下广义连接依赖(NGJD)及推导规则的研究[J];计算机研究与发展;1994年08期
17 姚春龙,郝忠孝;一个具有多时间粒度时态函数依赖集的成员籍算法[J];计算机研究与发展;2002年03期
18 胡舜耕;一种新的O型模糊推理方法[J];重庆邮电学院学报;1996年03期
19 吴国林;论知识的客观性[J];科学学与科学技术管理;2000年06期
20 姚春龙,郝忠孝;具有全序时态类型集时态函数依赖集的研究[J];软件学报;2003年02期
中国重要会议论文全文数据库 前10条
1 邓春玲;;马克思经济危机理论的逻辑蕴涵与当代价值[A];全国高等财经院校《资本论》研究会2009年度(第26届)学术年会论文集[C];2009年
2 吴坚;;两种不同的蕴涵[A];1995年逻辑研究专辑[C];1995年
3 诸葛殷同;;试谈金岳霖先生解放后的逻辑思想[A];金岳霖学术思想研究——金岳霖学术思想研讨会论文集[C];1985年
4 陈晓华;;逻辑全能问题研究述评[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年
5 诸葛殷同;;金岳霖的逻辑学说[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年
6 宋文淦;;问题逻辑系统E[A];1996年逻辑研究专辑[C];1996年
7 荣凌燕;刘国华;沈兵红;李现伟;;基于树元组的XML多值依赖推理[A];2006年全国理论计算机科学学术年会论文集[C];2006年
8 施元春;马智刚;冯平;宋宏洲;;以加涅的学习过程理论为指导,精心设计课堂教学[A];电工理论与新技术2004年学术研讨会论文集[C];2004年
9 赵相国;王国仁;张恩德;丁大斌;霍欢;;XML函数依赖的定义及分析[A];第二十三届中国数据库学术会议论文集(研究报告篇)[C];2006年
10 郝忠孝;;空值环境下NMVD公理系统存在性研究[A];第九届全国数据库学术会议论文集(上)[C];1990年
中国博士学位论文全文数据库 前4条
1 陈益智;半环上矩阵的若干研究[D];西北大学;2012年
2 张忠平;基于约束的XML数据库模式规范化研究[D];复旦大学;2004年
3 李广元;LTLC:面向实时与混成系统的连续时序逻辑[D];中国科学院软件研究所;2001年
4 谈子敬;XML的完整性约束[D];复旦大学;2003年
中国硕士学位论文全文数据库 前10条
1 杨雅琴;矩阵空间保持秩可交换的加法映射[D];黑龙江大学;2006年
2 张广玲;不完全信息下XML文档的函数依赖及推理规则研究[D];哈尔滨理工大学;2007年
3 王艳琴;基于静态逻辑蕴涵的组合电路功耗优化[D];湖南大学;2005年
4 李红海;非负半环上线性保持问题的若干研究[D];福州大学;2004年
5 顾建忠;保持高校党的先进性长效机制建设研究[D];苏州大学;2008年
6 张立;基于包含度和形式概念分析抽取模糊语言命题[D];西华大学;2008年
7 孟丽娜;关于几类保持问题的研究[D];哈尔滨工业大学;2007年
8 张贵红;赖欣巴哈的概率哲学述评[D];复旦大学;2009年
9 沈刚;语义驱动的XML规范化研究[D];重庆大学;2009年
10 常晓娟;XML文档完整性约束中关键问题的研究[D];哈尔滨工程大学;2008年
中国重要报纸全文数据库 前10条
1 李宝滨 朱殿峰;采取系列措施 做好充分准备[N];边防警察报;2005年
2 张藜藜;加强学习创业创新做大做强保持领先[N];杭州日报;2008年
3 葛韶峰;建立健全保持党员先进性长效机制的思考[N];海南日报;2006年
4 李锡明 胡娟萍;一局一一九队党员先进性教育活动边整边改见实效[N];中煤地质报;2005年
5 荆留明 作者系丹阳市农林局局长;坚持科学发展 促进“两个率先”[N];江苏经济报;2005年
6 曹文;“搅局者”功不可没[N];中国质量报;2003年
7 本报记者 何仑;大众与通用——角逐中国谁更强?[N];国际商报;2004年
8 汪标 贺宛男;2003年上市公司百强[N];证券日报;2003年
9 ;严禁借子女升学操办敛财 不得参加升学宴请活动[N];鞍山日报 ;2006年
10 通讯员 邬跃飞 石路;“深化党员先进性教育工程”[N];东方城乡报;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978