收藏本站
《计算机应用与软件》 2011年06期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

用关系谓词推演实现复杂全称量词的结构化查询

钱哨  
【摘要】:关系谓词推演是集合论在关系数据库的逻辑查询中的理论基石,而SQL是具体实现该逻辑查询的标准计算机语言。特别是对于复杂全称量词的查询问题,很多情况下仅仅是集合论理论层面的推导,通过对复杂全称量词的结构化查询研究,利用集合论的关系谓词逻辑语义推演,通过实际案例对语言中复杂全称量词的分析和集合论推演,得到SQL的具体实现方法。
【作者单位】交通运输部管理干部学院计算机系;
【基金】:湖北省杰出青年人才基金项目(2005ABB017)
【分类号】:TP311.138

手机知网App
【参考文献】
中国期刊全文数据库 前10条
1 裴道武,姜慧;一个新的模糊谓词演算形式系统[J];东北师大学报(自然科学版);2003年01期
2 卢延鑫;;谓词逻辑在关系数据库中的应用[J];电脑知识与技术(学术交流);2007年17期
3 宗恒;关系演算和SQL中使用量词和实现蕴涵的教学方法探讨[J];高师理科学刊;2005年01期
4 孟小峰,王珊;中文数据库自然语言查询系统Nchiql设计与实现[J];计算机研究与发展;2001年09期
5 于思江;;再论元组关系演算与SQL[J];计算机与信息技术;2008年06期
6 杨波;薛锦云;;开发等式比较SQL查询语句的一种模型推理方法[J];计算机工程与应用;2007年22期
7 吴栋,滕育平;中文信息检索引擎中的分词与检索技术[J];计算机应用;2004年07期
8 王小兵;;元组关系演算的语义研究[J];计算机应用;2007年S1期
9 常帅;;浅谈限定从属分句、非限定分句和无动词分句[J];科技信息(科学教研);2008年14期
10 吕光楣,陈清波;关系数据库汉语查询接口的设计与实现[J];中文信息学报;1991年04期
【共引文献】
中国期刊全文数据库 前10条
1 王清泉;;高职计算机专业学生学习编程时内容的选择及学习策略[J];安徽电子信息职业技术学院学报;2010年03期
2 刘任;范卫晋;刘杰;连剑波;程东美;;基于Web的果蔬病虫害诊治专家系统设计与开发[J];安徽农业科学;2011年11期
3 戴小平;周兵;;数据库概论课程教学改革研究[J];安徽工业大学学报(社会科学版);2012年02期
4 杨鸿雁;耿新青;;数据库系统原理课程群建设与实践[J];鞍山师范学院学报;2010年06期
5 徐琼瑶;刘琪璟;;北京市重要植物种质资源信息查询系统初探[J];北京林业大学学报;2010年S1期
6 冷强奎;秦玉平;;一种典型的模式分解算法分析与应用[J];赤峰学院学报(自然科学版);2010年07期
7 王利军;李永树;;工程图文管理系统中数据安全性研究[J];测绘工程;2010年02期
8 徐爱萍;边馥苓;;GIS中文查询系统中SQL语句的形成[J];测绘科学;2006年05期
9 史冲;张林科;雷朝峰;;浅谈数据库设计与建设[J];中国城市经济;2010年05期
10 郭爽;;网络燃气收费管理系统的设计与实现[J];中国城市经济;2011年30期
中国重要会议论文全文数据库 前10条
1 朱辉;周亚建;钮心忻;;数据库SQL注入攻击与防御研究[A];2011年通信与信息技术新进展——第八届中国通信学会学术年会论文集[C];2011年
2 刘丽;;《Visual FoxPro数据库程序设计》教材改革[A];探索的脚步——“十一五”北京高等教育教材建设论文集[C];2010年
3 刘丽;;探索高职《数据库程序设计》教材开发建设新思路[A];探索的脚步——“十一五”北京高等教育教材建设论文集[C];2010年
4 张永妹;党德鹏;刘吉夫;;应急平台重大自然灾害数据库的设计和实现[A];图像图形技术与应用进展——第三届图像图形技术与应用学术会议论文集[C];2008年
5 金笃荣;;关于班级各类奖学金(助学金)评定系统中数据库设计[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
6 谭坚;屈婉霞;庞征斌;徐炜遐;;基于SMT求解器的谓词抽象[A];中国电子学会第十六届信息论学术年会论文集[C];2009年
7 张朝阳;宁洪;王挺;郭超;;多数据库系统查询计划优化研究[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
8 马春雷;;基于向量空间模型的中文文本检索研究[A];2007年河北省电子学会、河北省计算机学会、河北省自动化学会、河北省人工智能学会、河北省计算机辅助设计研究会、河北省软件行业协会联合学术年会论文集[C];2007年
9 陈乐乐;;二次量化算法的设计与实现[A];晋冀鲁豫鄂蒙川云贵甘沪湘渝十三省区市机械工程学会2009年学术年会论文集(河南、贵州、重庆分册)[C];2009年
10 成科扬;;基于集对分析的模糊逻辑及其推理方法研究[A];第二十三届中国控制会议论文集(下册)[C];2004年
中国博士学位论文全文数据库 前10条
1 李滨;自然空间查询语言解译机制研究[D];解放军信息工程大学;2009年
2 付戈;数据库动态恢复研究[D];华中科技大学;2011年
3 刘志锋;模型检测中关键技术的研究及其应用[D];南京大学;2011年
4 郑逢斌;关于计算机理解自然查询语言的研究[D];西南交通大学;2004年
5 孙越恒;基于统计的NLP技术在中文信息检索中的应用研究[D];天津大学;2005年
6 熊文新;信息检索Query语言分析[D];北京语言大学;2006年
7 孟小峰;中文数据库自然语言查询处理研究[D];中国科学院研究生院(计算技术研究所);1999年
8 王树西;基于文本模式推理的问答系统研究[D];中国科学院研究生院(计算技术研究所);2005年
9 姜韶华;科研项目管理中的文本挖掘方法研究及应用[D];大连理工大学;2006年
10 于洋;肝癌中医临床信息数据库系统的构建及应用[D];第二军医大学;2009年
中国硕士学位论文全文数据库 前10条
1 张成雷;地层三维建模空间数据组织与查询优化[D];山东科技大学;2010年
2 常春艳;矿山土地复垦方案论证管理系统研究[D];山东农业大学;2010年
3 刘洋;基于本体的医保审计知识库构建研究[D];哈尔滨工程大学;2010年
4 刘云斐;游泳网络互动教学法的构建与应用研究[D];哈尔滨工程大学;2010年
5 宋乃飞;新一代数据库查询优化策略应用研究[D];大连理工大学;2010年
6 王虹;辽河油田油井远程监控服务系统[D];大连理工大学;2010年
7 胡金辉;基于模糊结构元的模糊数直觉模糊集理论及其应用研究[D];辽宁工程技术大学;2009年
8 李达;基于无线局域网的集装箱业务管理系统[D];大连海事大学;2010年
9 卢海波;大港油田消防通信指挥系统设计研究[D];大连海事大学;2010年
10 胡滨;基于ASP的家教平台的设计与实现[D];大连海事大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 邓安生,关伟洲;布尔算子模糊逻辑中的广义半锁归结原理[J];东北师大学报(自然科学版);2000年03期
2 孙绍权,谷文祥;Fuzzy商代数与同态基本定理[J];东北师大学报(自然科学版);2002年02期
3 宗恒;关系演算和SQL中使用量词和实现蕴涵的教学方法探讨[J];高师理科学刊;2005年01期
4 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑:技术科学;1999年01期
5 裴道武,王国俊;形式系统~*的完备性及其应用[J];中国科学E辑:技术科学;2002年01期
6 丁宝康;SQL语言中量词和空值的使用技术[J];计算机研究与发展;1994年03期
7 严威,赵政;开发中文搜索引擎汉语处理的关键技术[J];计算机工程;1999年06期
8 刘智斌;关系演算运行机制的分析与研究[J];计算机应用研究;2003年10期
9 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期
10 裴道武;形式演绎系统L~*中的运算与演绎定理[J];模糊系统与数学;2001年01期
【相似文献】
中国期刊全文数据库 前10条
1 郝靖坤,汪建新,李强;PowerBuiler7.0中谓词逻辑演算功能分析[J];齐齐哈尔大学学报;2002年02期
2 邢泉;;含有全部值语义的SQL查询[J];计算机系统应用;2010年01期
3 于思江;;再论元组关系演算与SQL[J];计算机与信息技术;2008年06期
4 许志芳,王耀才,黄树成;AutoCAD应用系统的数据存取模式与SQL技术[J];电子计算机与外部设备;2000年04期
5 吴淑菊,侯晓兵,林碧琴;Visual Basic的数据库功能及应用[J];计算机系统应用;1997年07期
6 蒋加伏,叶吉祥;AUTHORWARE与数据库的通信[J];计算机应用;1998年10期
7 邵立兵;数据库在WWW上的访问[J];微计算机应用;1998年01期
8 郑志雄,欧毓毅;PowerBuilder中的检索方法[J];计算机时代;1999年12期
9 邵明;学籍计算机管理系统中通用查询的设计与实现[J];青岛建筑工程学院学报;1999年03期
10 李慧娟,曹阳,谢剑英;综合查询系统的设计与实现[J];微计算机应用;1999年02期
中国重要会议论文全文数据库 前10条
1 朱辉;周亚建;钮心忻;;数据库SQL注入攻击与防御研究[A];2011年通信与信息技术新进展——第八届中国通信学会学术年会论文集[C];2011年
2 高明;辛阳;;SQL注入攻击防范方案的分析与设计[A];2011年通信与信息技术新进展——第八届中国通信学会学术年会论文集[C];2011年
3 尹朝万;汪小男;李贵;王志勇;;面向SQL3的多数据源互操作系统技术的研究[A];数据库研究进展97——第十四届全国数据库学术会议论文集(上)[C];1997年
4 秦军;;数据库设计中SQL优化策略和技巧[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
5 陈彤兵;;用数据挖掘方法分析SQL注入攻击[A];第二十三届中国数据库学术会议论文集(技术报告篇)[C];2006年
6 王报国;;基于SQL查询的表查询优化[A];第十五届全国数据库学术会议论文集[C];1998年
7 施振夏;袁捷;邵伟民;陈毛狗;陆菊康;黄征;;SQL语言注记——从SEQUEL 2到SQL[A];第九届全国数据库学术会议论文集(上)[C];1990年
8 彭成宝;张霞;;OpenBASE嵌入式SQL预编译器的设计与实现[A];数据库研究进展97——第十四届全国数据库学术会议论文集(上)[C];1997年
9 高朝瑞;熊伟;吴秋云;陈宏盛;;GKD-Base PL/SQL存储子程序和包的设计与实现[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
10 熊婧;曹忠升;朱虹;冯玉才;;基于构造路径的存储过程SQL注入检测[A];第二十五届中国数据库学术会议论文集(二)[C];2008年
中国重要报纸全文数据库 前10条
1 ;结构化查询语言SQL[N];人民邮电;2009年
2 ;如何提高SQL Server的安全性?[N];网络世界;2008年
3 本报记者 孙昭荣;SQL Server 2000:铸造雄心[N];中国计算机报;2001年
4 本报记者 马文方;给SQL Server一个参赛机会[N];中国计算机报;2001年
5 方仲良;Sybase推综合程序包最新版本SQL Anywhere 12[N];通信信息报;2011年
6 ;SQL Server为零售建“仓库”[N];中国计算机报;2002年
7 ;选择SQL Server 2008=选择成功[N];网络世界;2008年
8 记者 李国敏;微软推出SQL Server Fast Track数据仓库[N];科技日报;2009年
9 本报记者 袁越;质量造就市场《Microsoft.NET 之 SQL Server2000全面解析篇》[N];中华读书报;2001年
10 ;灵活、可靠与易用[N];网络世界;2008年
中国博士学位论文全文数据库 前10条
1 张臻;西南季节性干旱区农业资源与环境要素数据库设计与应用[D];西南大学;2011年
2 徐小双;基于路径概要的XML查询研究[D];华中科技大学;2010年
3 孟小峰;中文数据库自然语言查询处理研究[D];中国科学院研究生院(计算技术研究所);1999年
4 陈一稀;基于关系数据库的遗留系统向语义Web移植的研究[D];浙江大学;2010年
5 王丹;黑龙江省农业气象信息服务平台构建研究[D];东北农业大学;2012年
6 潘锦山;基于3G混合网络和GPS技术的果树移动专家系统(FMES)的构建[D];福建农林大学;2010年
7 马亚明;嵌入式空间数据库理论与技术研究[D];解放军信息工程大学;2011年
8 戴华;可生存性数据库关键技术研究[D];南京航空航天大学;2011年
9 周平;基于格蕴涵代数的格值逻辑中的近似推理研究[D];西南交通大学;2007年
10 刘雪梅;服务器端软件性能分析和诊断方法研究[D];哈尔滨工程大学;2010年
中国硕士学位论文全文数据库 前10条
1 潘娜;不完全信息系统的理论研究[D];南京航空航天大学;2005年
2 王德安;党校函授教务管理系统的研究和实现[D];山东大学;2005年
3 杜大志;面向图书市场的电子商务网站的设计与实现[D];华北电力大学(河北);2006年
4 周问宇;网上购物系统的设计与实现[D];山东大学;2007年
5 谭建鑫;基于网络的CAD测试服务器端与数据库技术研究[D];华北电力大学(河北);2006年
6 李海凤;库存管理信息系统的设计与实现[D];天津大学;2006年
7 马泽生;分布式数据库在流域信息管理中的应用研究[D];河海大学;2006年
8 韩旭;水务集团网站新闻管理系统的设计与实现[D];吉林大学;2008年
9 任晓英;基于Web的电力安装管理系统设计及实现[D];浙江工业大学;2005年
10 刘永伟;基于Web服务的SQL到XQuery查询转换系统的研究[D];燕山大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026