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

连接依赖的有效完备公理系统

马垣  
【摘要】:自从1979年Rissanen首先提出了连接依赖的概念以来[1],许多文献(例如[2,3,4,5,6,7,8]等)都对连接依赖的有关问题进行了讨论,本文目的是借助连接依赖有效完备的公理系统研究一种5NF的判定方法。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 程录庆;;数据依赖的语义分析[J];南阳师范学院学报;2011年09期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 马垣;;连接依赖的有效完备公理系统[A];第十届全国数据库学术会议论文集[C];1992年
2 邓成玉;郝忠孝;德六柱;;最简连接依赖及5NF的条件判定方法[A];第十届全国数据库学术会议论文集[C];1992年
3 张宏;盛剑秋;耿洪刚;李爱琴;韩英;李世荣;;多重连接依赖的探针扩增技术检测中国人遗传性非息肉病性结直肠癌错配修复基因大片段缺失[A];中华医学会第七次全国消化病学术会议论文汇编(下册)[C];2007年
4 陈自立;;直觉主义逻辑的新公理系统RH[A];1995年逻辑研究专辑[C];1995年
5 周栢乔;;我国传统科学观的现代诠释:寓理于算[A];落实科学发展观——2006中国科技创新发展论坛学术论文汇编[C];2006年
6 李娜;;模型~R△~(β)的一些性质[A];1997年逻辑研究专辑[C];1997年
7 许涤非;;二重命题逻辑系统■_(T4)[A];2001年逻辑研究专辑[C];2001年
8 张冠军;姜豪;;BCK代数的简化公理系统不能成立[A];数学·物理·力学·高新技术研究进展——1998(7)卷——中国数学力学物理学高新技术交叉研究会第7届学术研讨会论文集[C];1998年
9 苏愉仁;贾春华;;《金匮要略》临床诊疗“实质公理”集[A];仲景医学求真(续二)——中华中医药学会第十六届仲景学说学术研讨会论文集[C];2008年
10 陈自立;桂起权;;辩证逻辑公理系统DLA及DLB[A];1995年逻辑研究专辑[C];1995年
中国博士学位论文全文数据库 前10条
1 舒新峰;投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2010年
2 刘万伟;扩展时序逻辑的推理及符号化模型检验技术[D];国防科学技术大学;2009年
3 张南;命题投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2012年
4 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年
5 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年
6 李明泉;模糊描述逻辑F-SHIQ公理体系及其推理机制的研究[D];天津大学;2008年
7 朱涵;模型独立的移动演算理论[D];上海交通大学;2009年
8 肖文洁;知识表示与推理的若干问题研究[D];南京航空航天大学;2010年
9 孙健;金融资产的离散过程动态风险度量研究[D];哈尔滨工业大学;2007年
10 杨德仁;面向复杂自适应系统的本体构造方法及其若干关键技术研究[D];华东师范大学;2008年
中国硕士学位论文全文数据库 前10条
1 谭琳;代数规格说明的半自动化辅助构造工具的设计和实现[D];暨南大学;2008年
2 董护斌;面向实时系统的实时区域时态逻辑:RRTL[D];西北大学;2002年
3 荣昆;认证逻辑系统的可靠性研究[D];解放军信息工程大学;2006年
4 徐仁义;RBAC模型的形式化研究[D];解放军信息工程大学;2006年
5 陆志浩;多Agent系统合作认知逻辑的研究[D];南京航空航天大学;2008年
6 强毅;欧几里德几何体系中运动与中学教学[D];首都师范大学;2009年
7 马朋云;本体公理推理及其在交通领域中的应用[D];大连交通大学;2010年
8 李晟;命题逻辑公理系统内定理证明的技巧和方法研究[D];燕山大学;2012年
9 俞育才;几类广义Rough集模型的代数性质及其公理化[D];宁波大学;2012年
10 黄萍;解读赖欣巴哈的逻辑哲学思想[D];西南大学;2006年
中国重要报纸全文数据库 前6条
1 熊伟华;NAS存储技术[N];中国化工报;2002年
2 王华悟王忠勋;由“达维多定律”引发的思考[N];解放军报;2008年
3 张文修(本文作者系西安交通大学经济与金融学院教授);经济学与数学联姻[N];中国财经报;2002年
4 ;爱普生数码相机推DIY一把[N];中国计算机报;2003年
5 丁一;关于哥德巴赫猜想的三个悖论[N];光明日报;2002年
6 记者 胡其峰;社科院哲学研究所研究员王树人:象思维是文化创新的原动力[N];光明日报;2010年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978