收藏本站
《数字技术与应用》 2011年06期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

强时态初等关键字范式的研究

汤明伟  
【摘要】:提出了时态初等函数依赖、强时态初等关键字、强时态初等主属性等概念,在此基础上利用时态函数依赖(TFD)约束对时态数据库进行了规范化研究,提出了强时态初等关键字范式(TEKNF),证明了其规范程度高于时态三范式低于时态Boyce-Code范式,给出了保持函数依赖和无损连接性的分解算法,对算法的可终止性、正确性进行了证明,为时态数据库的进一步规范化奠定了基础。

【参考文献】
中国期刊全文数据库 前2条
1 姚春龙,郝忠孝;一个具有多时间粒度时态函数依赖集的成员籍算法[J];计算机研究与发展;2002年03期
2 姚春龙,郝忠孝;具有全序时态类型集时态函数依赖集的研究[J];软件学报;2003年02期
【共引文献】
中国期刊全文数据库 前10条
1 李艳娟,郝忠孝;属性集的有限闭包和有限依赖基算法[J];哈尔滨理工大学学报;2005年02期
2 刘宁,郝忠孝;时态数据库初等关键字范式问题的研究[J];哈尔滨理工大学学报;2005年03期
3 王会英;万静;;全序时态模式中的多值依赖问题[J];哈尔滨理工大学学报;2007年01期
4 李维宏;张忠平;祝精荟;;多时间粒度约束的时态多值依赖推理[J];浙江大学学报(理学版);2006年01期
5 姚春龙,郝忠孝;一个多时间粒度下时态函数依赖的有限属性闭包算法[J];计算机研究与发展;2005年03期
6 郝忠孝;李艳娟;;时态函数依赖多值依赖混合集的成员籍问题研究[J];计算机研究与发展;2006年07期
7 郝忠孝;李艳娟;;具有多时间粒度的时态多值依赖及时态模式分解方法研究[J];计算机研究与发展;2007年05期
8 万静;郝忠孝;;具有多时间粒度的强全序时态模式中多值依赖问题研究[J];计算机研究与发展;2008年06期
9 万静;王晓宇;郝忠孝;;强全序时态模式中混合依赖集成员籍问题的研究[J];计算机研究与发展;2009年06期
10 郝忠孝,姚春龙;多时间粒度下时态函数依赖集的成员籍算法[J];计算机工程与应用;2004年35期
中国博士学位论文全文数据库 前3条
1 万静;全序偏序时态数据库的研究[D];哈尔滨理工大学;2009年
2 王宏勇;空间运动对象时空数据模型的研究[D];解放军信息工程大学;2005年
3 赵龄强;关系数据库数据组织中无α环的分解问题的研究[D];哈尔滨理工大学;2007年
中国硕士学位论文全文数据库 前8条
1 杨玉军;时态索引技术及算法的研究[D];中南林业科技大学;2007年
2 王磊;时态数据库偏序时态模式中多值依赖问题研究[D];哈尔滨理工大学;2010年
3 王晓宇;强全序时态模式下函数依赖多值依赖混合集问题研究[D];哈尔滨理工大学;2009年
4 杨洪玉;全序时态模式下函数依赖集覆盖问题的研究[D];哈尔滨理工大学;2009年
5 李楠;基于UML和关系模型的时态数据库设计方法研究[D];武汉理工大学;2010年
6 李艳娟;时态数据库数据依赖理论研究[D];哈尔滨理工大学;2005年
7 刘宁;时态数据库多时间粒度问题的研究[D];哈尔滨理工大学;2005年
8 王会英;时态数据库全序时态模式中数据依赖问题研究[D];哈尔滨理工大学;2007年
【二级参考文献】
中国期刊全文数据库 前1条
1 刘文远,郝忠孝;无冲突满足P_4的无U环数据库模式分解条件的研究[J];计算机研究与发展;2000年02期
【相似文献】
中国期刊全文数据库 前10条
1 秦元庆;;浅析网络民主的概念[J];金卡工程(经济与法);2011年01期
2 张晓敏;;浅析加入WTO与中国的知识产权保护[J];金卡工程(经济与法);2010年01期
3 张一力;;略论旅游文献的概念与特点[J];时代教育(教育教学版);2010年02期
4 宋凯;;云计算[J];才智;2010年06期
5 李楠;;一种基于UML的双时态概念模型[J];电脑知识与技术;2010年04期
6 翟杰全;;技术传播:概念、渠道和企业实践[J];北京理工大学学报(社会科学版);2010年01期
7 马一丁;;透过应用看物联网发展前景[J];中国电子商情(基础电子);2010年Z1期
8 朱军路;;刑事违法性问题初论[J];金卡工程(经济与法);2010年03期
9 王晴;;浅析行政“乱”收费现象[J];金卡工程(经济与法);2010年03期
10 刘冬宁;汤庸;;时态数据库时间轴的动态逻辑模型[J];软件学报;2010年04期
中国重要会议论文全文数据库 前10条
1 黄艳丽;;农村留守学生教育存在的问题及教育对策[A];国家教师科研基金十一五阶段性成果集(湖北卷)[C];2010年
2 胡如奎;;学校文化建设问题探究[A];国家教师科研基金十一五阶段性成果集(湖北卷)[C];2010年
3 袁威;;基于Winsock SPI的数据包解析研究[A];2010国际信息技术与应用论坛论文集[C];2010年
4 颜宇甲;程国建;毛书君;;基于多Agent系统的生态系统建模和仿真[A];第十二届中国青年信息与管理学者大会论文集[C];2010年
5 孙学刚;贠超;安振刚;;一类限幅约束下的最少拍控制[A];中国计量协会冶金分会2010年会论文集[C];2010年
6 张威;张博刚;廖飞雄;陈月宁;;基于软件运行记录的交互测试研究[A];第六届中国测试学术会议论文集[C];2010年
7 牟彦双;姜丹丹;李慧;尹智;刘忠华;;猪Myostatin基因双干扰载体的构建[A];中国畜牧兽医学会动物解剖学及组织胚胎学分会第十六次学术研讨会论文集[C];2010年
8 罗瑞静;何建成;周阿高;;帕金森病中医证候规范化研究[A];第四次全国中西医结合诊断学术研讨会论文集[C];2010年
9 魏宇波;;浅析与IP板相关的CR图像伪影[A];第十一次全国中西医结合影像学术研讨会暨全国中西医结合影像学研究进展学习班资料汇编[C];2010年
10 李智;白跃彬;;基于Adhoc网络服务发现的多媒体会议系统[A];第六届和谐人机环境联合学术会议(HHME2010)、第19届全国多媒体学术会议(NCMT2010)、第6届全国人机交互学术会议(CHCI2010)、第5届全国普适计算学术会议(PCC2010)论文集[C];2010年
中国重要报纸全文数据库 前10条
1 吴鑫 新疆总队一支队;“会议决定”注重理顺关系[N];人民武警报;2011年
2 媒体评论员 舒圣祥;向左是约束 向右是卸责[N];人民法院报;2011年
3 记者 李风;浙江完成乡级土地规划数据库建设[N];中国国土资源报;2011年
4 四川省发展改革委巡视员 漆先望;科学确定约束指标 合理控制能源消费总量[N];中国经济导报;2011年
5 特约评论员 刘晓忠;“青鸟”的交易约束命题[N];21世纪经济报道;2011年
6 本报记者 田川;2010:增长约束唤醒中国民营经济[N];民营经济报;2011年
7 深圳市委党校教授 卞苏微;廉洁城市需从约束权力做起[N];深圳特区报;2011年
8 复旦大学教授 葛剑雄;怀疑和想象是创新的前提[N];文汇报;2011年
9 本报记者 张聪;炮制学在继承与创新中焕发生机[N];中国中医药报;2011年
10 山东莘县供电公司副总经理 王卫东;以约束培养方式锤炼人才[N];中国电力报;2010年
中国博士学位论文全文数据库 前10条
1 王竹兰;《伤寒论》汤剂煎煮法与汤剂制备规范化研究[D];北京中医药大学;2010年
2 罗洪林;带锥约束的优化问题的弱尖锐性研究[D];复旦大学;2010年
3 李峨;中医挂线疗法治疗高位肛瘘技术参数的规范化研究[D];中国中医科学院;2010年
4 马艳芳;软件的近似正确性及与环境交互度量模型研究[D];华东师范大学;2010年
5 许亮;牛蒡子生态适宜性及质量规范化研究[D];辽宁中医药大学;2010年
6 戴霞;老年高血压病肾气亏虚证诊断规范化研究[D];山东中医药大学;2010年
7 陈楠;时空数据库中移动对象的索引和查询技术研究[D];浙江大学;2010年
8 马明娟;一类共轭梯度方法及其收敛性[D];吉林大学;2009年
9 崔国华;盾构管片拼装机的设计及动态性能研究[D];吉林大学;2009年
10 刘铭;诉讼事实与纠纷事实的关系[D];吉林大学;2009年
中国硕士学位论文全文数据库 前10条
1 苗树明;NS方程在GPU上的并行实现[D];上海交通大学;2011年
2 贾春风;IP网络合法监听规则的研究和实现[D];北京交通大学;2011年
3 郑姜;基于WS-CDL的贸易协同流程建模工具的研究与实现[D];华东理工大学;2011年
4 李岚;基于中间件的B2X协同电子商务平台及其订单分解算法研究[D];浙江工商大学;2011年
5 张阿东;基于UPML边界的车载多天线系统FDTD研究[D];西安电子科技大学;2011年
6 黄文君;子带EMD信号分解算法[D];西安电子科技大学;2011年
7 李延红;基于Pi演算的Web服务组合技术研究[D];山东经济学院;2011年
8 韩景通;基于FPGA的数字合路算法的研究和实现[D];西安电子科技大学;2011年
9 陈佳;H.264/AVC视频编码核的验证技术研究[D];西安电子科技大学;2011年
10 李彦伟;基于关联规则的数据挖掘方法研究[D];江南大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026