期刊文献+
共找到137篇文章
< 1 2 7 >
每页显示 20 50 100
基于描述逻辑的模糊ER模型 被引量:30
1
作者 蒋运承 汤庸 王驹 《软件学报》 EI CSCD 北大核心 2006年第1期20-30,共11页
分析了描述逻辑ALNUI与ER模型的关系,特别是如何将ER模型转化为ALNUI的知识库,从而利用ALNUI的推理机制对ER模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊ER模型.针对模糊ER模型的特点和需求,在描述逻辑ALNUI的... 分析了描述逻辑ALNUI与ER模型的关系,特别是如何将ER模型转化为ALNUI的知识库,从而利用ALNUI的推理机制对ER模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊ER模型.针对模糊ER模型的特点和需求,在描述逻辑ALNUI的基础上,对描述逻辑ALNUI进行了模糊化推广,提出了一种新的描述逻辑,即模糊描述逻辑FALNUI.研究了基于FALNUI的模糊ER模型,即研究了如何将模糊ER模型转化为FALNUI的知识库,并利用FALNUI的推理机制研究了模糊ER模型的可满足性、冗余性和包含关系等自动推理问题,证明了这些推理问题的正确性. 展开更多
关键词 模糊数据库 模糊ER模型 描述逻辑 模糊描述逻辑
下载PDF
基于R树的方向关系查询处理 被引量:17
2
作者 肖予钦 张巨 +1 位作者 景宁 李军 《软件学报》 EI CSCD 北大核心 2004年第1期103-111,共9页
方向关系描述了对象间的空间顺序关系.近年来,方向关系查询处理逐渐受到空间数据挖掘和地理信息系统等空间数据库应用领域研究者的关注.方向关系查询处理需要执行方向连接操作,目前有关空间连接的研究主要集中在拓扑关系和距离关系方面... 方向关系描述了对象间的空间顺序关系.近年来,方向关系查询处理逐渐受到空间数据挖掘和地理信息系统等空间数据库应用领域研究者的关注.方向关系查询处理需要执行方向连接操作,目前有关空间连接的研究主要集中在拓扑关系和距离关系方面,而较少考虑方向关系.研究了基于R树的方向关系查询处理方法,定义了四元组模型表示对象MBR间的方向关系,提出了基于R树的处理方向关系查询过滤(filter)步骤的方法,并将提炼(refinement)步骤细化为3种不同的操作.所提出的方法能够高效处理任意对象间的方向关系查询.考虑到空间数据挖掘中方向关系查询通常是在满足一定距离约束条件的对象之间进行,还提出了一种同时利用方向和距离约束限制R树搜索空间的查询处理算法.实验证明,与不利用R树的方向关系查询处理方法相比,所提出的方法在I/O开销和CPU开销两方面都具有很高的性能. 展开更多
关键词 方向关系 方向连接 空间数据库 空间数据挖掘 地理信息系统
下载PDF
地学空间数据模型的研究 被引量:15
3
作者 黄文斌 肖克炎 +2 位作者 宋国耀 陈郑辉 姜作勤 《物探化探计算技术》 CAS CSCD 2001年第1期55-62,共8页
以美国、加拿大、澳大利亚等国家地质调查局建立的地学空间数据库为基础 ,阐述了建立地学空间数据模型的重要意义。归纳了地学空间数据模型的设计原则 ,认为图层与属性表的实体关系、图层及属性表多少为佳是着重要解决的问题。通过对地... 以美国、加拿大、澳大利亚等国家地质调查局建立的地学空间数据库为基础 ,阐述了建立地学空间数据模型的重要意义。归纳了地学空间数据模型的设计原则 ,认为图层与属性表的实体关系、图层及属性表多少为佳是着重要解决的问题。通过对地学空间数据模型概念设计的深入研究 ,可以使地学空间数据模型设计人员正确地理解地学专家领域的问题 ,而逻辑设计则是地学空间数据模型的核心。地学逻辑数据模型研究的主要任务有图层的划分、属性表定义及关联、空间图形数据图层与属性数据的关联等。 展开更多
关键词 空间数据模型 空间数据库 逻辑设计 GIS 图层 属性
下载PDF
基于时态数据库的极小子结构逻辑系统 被引量:19
4
作者 刘冬宁 汤庸 +1 位作者 滕少华 林哲 《计算机学报》 EI CSCD 北大核心 2013年第8期1592-1601,共10页
逻辑是知识表达的重要方法,但由于时序性知识与时间属性知识交叉应用的复杂性,其对时态数据库支撑一直不尽如人意.目前时态数据运算体系不完备,时态关系演算缺乏系统和有力的逻辑与代数理论支持.为此,文中从子结构逻辑出发,针对时态数... 逻辑是知识表达的重要方法,但由于时序性知识与时间属性知识交叉应用的复杂性,其对时态数据库支撑一直不尽如人意.目前时态数据运算体系不完备,时态关系演算缺乏系统和有力的逻辑与代数理论支持.为此,文中从子结构逻辑出发,针对时态数据库及其信息处理中关键的知识推理、时态操作与函数依赖等内容,构建了一个极小的(最小的)子结构逻辑系统TDLmin,其恰好等价于传统的数据库函数依赖Armstrong规则.TDLmin系统能在逻辑语义模型中对时序性、时间属性进行表达,而在句法逻辑系统将时间剥离,从而既表达了时态知识,对时态操作进行处理,又降低了逻辑系统的复杂度,使得逻辑系统的时间复杂度为P-time(O(n2)).而该逻辑系统还可与传统的Allen方法进行对接,使得相关时态查询所需的时间代价为传统非时态查询的时间加上一个复杂度仅为O(n)的线性时间,从而使得系统具有更强的普适性和应用前景. 展开更多
关键词 时态数据库 子结构逻辑 时态查询 函数依赖
下载PDF
时态数据库时间轴的动态逻辑模型 被引量:8
5
作者 刘冬宁 汤庸 《软件学报》 EI CSCD 北大核心 2010年第4期694-701,共8页
尽管在1994年,Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的,但是仍需要通过对时间轴的公理化建模,利用公理化系统的可靠和完全等性质对时间轴作"细精度"的语义刻画.只有这样才能准... 尽管在1994年,Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的,但是仍需要通过对时间轴的公理化建模,利用公理化系统的可靠和完全等性质对时间轴作"细精度"的语义刻画.只有这样才能准确地在数据库中反映时间和时间属性的本质特点,并应用于与时间轴模型直接相关的时态查询语言.因此,从分析时间轴的性质出发,对时间轴的序关系和谓词逻辑性质进行了研究和阐述.随后分别用经典的时态逻辑Tense Logic和动态逻辑对时态数据库的时间轴进行了公理化建模,这样刻画的目的是为了"细精度"地体现时间轴的特点,并借助逻辑的方法对其分析.在TDB(temporal database)时间轴的动态逻辑建模部分,相对于原时态逻辑系统较为静态,着重处理了时间的动态性,并参照了TenseLogic中的Lin.Z系统,将其转化为动态Lin.Z系统,在其中添加了参数化处理.该参数化的处理是基于动作执行的,主要工作在动作指数的数值化和函数化两个方面,其结果体现了时态数据库中规则生存周期和"Now"节点的一些特点以及知识表达和解决方法,研究结果将对后续时态知识表达和时态数据库查询语言的研究起到积极的作用. 展开更多
关键词 时态数据库 时间轴 TENSE logic 动态逻辑 动作参数
下载PDF
基于逻辑规则的语义缓存查询处理优化技术 被引量:7
6
作者 郝小卫 章陶 李磊 《计算机学报》 EI CSCD 北大核心 2005年第7期1096-1103,共8页
语义缓存在移动计算环境中有着非常广阔的应用前景.查询处理是语义缓存的一个关键问题,但是现有的查询处理算法在时空效率和裁剪结果的复杂度两个方面存在很大的局限性,这在一定程度上限制了语义缓存的实用性.为了克服这些缺陷,作者首... 语义缓存在移动计算环境中有着非常广阔的应用前景.查询处理是语义缓存的一个关键问题,但是现有的查询处理算法在时空效率和裁剪结果的复杂度两个方面存在很大的局限性,这在一定程度上限制了语义缓存的实用性.为了克服这些缺陷,作者首先给出并证明了用于优化查询裁剪的逻辑规则;基于这些规则,给出了剩余查询的裁剪算法;最终给出了只需进行剩余查询裁剪的优化查询处理算法.算法分析从理论上证明了该优化机制的有效性,同时,仿真实验的性能比较也表明该优化方法在提高查询裁剪时空效率和降低剩余查询复杂度等方面都要明显优于没有优化的方法. 展开更多
关键词 语义缓存 查询处理 查询裁减 逻辑规则 优化
下载PDF
高校图书管理系统的数据库设计 被引量:9
7
作者 吴锋珍 《湖南邮电职业技术学院学报》 2016年第2期32-35,共4页
对高校图书管理系统使用对象的借阅行为和管理功能进行了分析研究,对系统的功能模块进行了划分,对系统的数据库进行了概念设计,绘制E-R图,最后对其进行逻辑设计,分析该系统的数据库中各数据表的结构。
关键词 数据库 图书管理 概念设计 逻辑设计
下载PDF
规范与反规范在数据库设计中的应用 被引量:6
8
作者 阳波 《电脑开发与应用》 2003年第4期47-49,共3页
在数据库设计中规范与反规范通常是一对相互对立的矛盾体,困扰着数据库关系模型的建立,从合理的关系模型及提高数据库操作性能两个角度分析了他们各自的优缺点,并提出了几种合理有效策略来协调处理它们的关系,进行了深入分析,较好地改... 在数据库设计中规范与反规范通常是一对相互对立的矛盾体,困扰着数据库关系模型的建立,从合理的关系模型及提高数据库操作性能两个角度分析了他们各自的优缺点,并提出了几种合理有效策略来协调处理它们的关系,进行了深入分析,较好地改善了数据库的关系设计,在实际数据库设计中具有一定的指导价值。 展开更多
关键词 规范 反规范 数据库 设计 关系运算 数据冗余 关系模型 优化策略 逻辑优化
下载PDF
基于云数据库的低成本RFID认证协议 被引量:8
9
作者 童嘉庆 董庆宽 霍伟光 《密码学报》 CSCD 2015年第4期333-341,共9页
随着物联网的广泛部署以及云计算的快速发展,越来越多的物体之间需要相互识别、通信.一方面,海量的物品将依靠RFID技术进行识别和认证以接入互联网来完成彼此之间的通信,这将会形成RFID应用大数据,而传统的基于后台数据库的认证方案,由... 随着物联网的广泛部署以及云计算的快速发展,越来越多的物体之间需要相互识别、通信.一方面,海量的物品将依靠RFID技术进行识别和认证以接入互联网来完成彼此之间的通信,这将会形成RFID应用大数据,而传统的基于后台数据库的认证方案,由于后端计算和搜索能力的限制将无法满足此需求;另一方面,部署和维护一个RFID后台数据库需要较高的成本,不太适合中小企业的应用需求,而云数据库可以采用按需租用、按时付费的方式来减小中小企业的部署成本,因此基于云数据库的RFID系统有着更好的适应性.然而,基于云数据库的RFID系统中,用户持有的阅读器是移动的,而且RFID标签的隐私不能暴露给云数据库,相比于基于传统后台数据库的RFID系统面临更为严重的安全威胁,因此传统的RFID认证方案在云环境下不再适用.文章提出了一种基于云数据库的低成本RFID认证方案,方案基于单向哈希函数实现,满足低成本的要求.该方案不仅提供了标签与阅读器及标签与云后台数据库之间的相互认证,而且满足不可跟踪性、前向安全性、抵抗重放攻击、抗去同步攻击以及抗拒绝服务攻击等安全特性.基于BAN逻辑的分析表明,所设计的协议是安全的. 展开更多
关键词 RFID认证 云数据库 BAN逻辑
下载PDF
基于关系数据库的模糊查询技术 被引量:8
10
作者 樊新华 《计算机与数字工程》 2009年第10期149-152,156,共5页
在关系数据库中,SQL只能处理精确查询,而现实中存在许多模糊查询的问题。在模糊逻辑理论的基础上,提出了关系数据库的模糊查询思路,并详细地讨论了在数值和字符属性上的实现方法。实现方法不仅对数据库的查询进行了扩展,而且对实际系统... 在关系数据库中,SQL只能处理精确查询,而现实中存在许多模糊查询的问题。在模糊逻辑理论的基础上,提出了关系数据库的模糊查询思路,并详细地讨论了在数值和字符属性上的实现方法。实现方法不仅对数据库的查询进行了扩展,而且对实际系统的开发也有一定的借鉴作用。 展开更多
关键词 关系数据库 模糊逻辑 模糊查询 SQL查询
下载PDF
数据库逻辑设计阶段的优化策略 被引量:6
11
作者 伊凤新 《辽宁科技学院学报》 2008年第2期23-24,共2页
通过对数据库从概念结构到逻辑结构的设计的分析,阐述了数据库设计开发阶段性优化的一些策略和方法。
关键词 数据库 概念设计 逻辑设计 策略
下载PDF
基于云的轻量级RFID群组标签认证协议 被引量:7
12
作者 李璐璐 董庆宽 陈萌萌 《计算机科学》 CSCD 北大核心 2019年第1期182-189,共8页
射频识别技术(Radio Frequency Identification,RFID)作为物联网中标识物品的关键技术,其因低成本、易携带等优势而得到了广泛的应用。基于云存储的RFID技术相较于传统RFID技术更具有应用市场,但其安全隐私问题也更为严重。另外,现有的... 射频识别技术(Radio Frequency Identification,RFID)作为物联网中标识物品的关键技术,其因低成本、易携带等优势而得到了广泛的应用。基于云存储的RFID技术相较于传统RFID技术更具有应用市场,但其安全隐私问题也更为严重。另外,现有的很多群组标签认证协议不仅不符合轻量级要求,还具有密钥失同步的问题。文中提出一种基于云的轻量级RFID群组标签认证协议。该协议基于Hash函数而设计,它不仅解决了上述安全隐患,还能在群组认证过程中筛除无效标签和假冒标签。最后,利用BAN逻辑对该协议进行了分析。安全目标分析表明,该协议可以抗多重DOS攻击以及其他基本攻击,并满足前向安全性。 展开更多
关键词 云数据库 RFID 轻量级认证协议 群组认证 BAN逻辑
下载PDF
移动计算系统中的自适应位置更新策略(英文) 被引量:1
13
作者 李国徽 刘云生 《软件学报》 EI CSCD 北大核心 2002年第2期185-192,共8页
移动计算系统中一个很重要的问题就是管理移动客户机的实时位置.在现有商业的移动计算系统中,采用一种两层的体系结构.这种两层的结构不具有可扩展性,因而不能适应具有大量移动用户的新型移动计算应用.人们提出了一种新的层次结构的位... 移动计算系统中一个很重要的问题就是管理移动客户机的实时位置.在现有商业的移动计算系统中,采用一种两层的体系结构.这种两层的结构不具有可扩展性,因而不能适应具有大量移动用户的新型移动计算应用.人们提出了一种新的层次结构的位置数据库结构,系统中的位置数据库组成一个树形结构以方便移动用户位置查找.尽管这种结构把位置更新及查询的任务在系统中的所有位置数据库中进行了分摊,它也有其自身的弱点:位置更新的代价较大及位置查询的延迟较长.研究了树形位置数据库结构中的位置更新策略,给出了一个位置变更的阈值计算方法,以使得位置管理的代价最少. 展开更多
关键词 移动计算系统 自适应位置更新策略 数据库 体系结构
下载PDF
基于云的RFID相互认证协议 被引量:4
14
作者 陈萌萌 董庆宽 李璐璐 《密码学报》 CSCD 2018年第3期231-241,共11页
随着物联网及云计算的发展,大量物品依靠RFID技术接入互联网.基于云的RFID系统采用按需租用云数据库的方式,可以降低系统维护成本,较好的适应了中小企业的需要,因而得到广泛的关注.然而,在基于云的RFID系统中,安全和隐私问题更为严重,... 随着物联网及云计算的发展,大量物品依靠RFID技术接入互联网.基于云的RFID系统采用按需租用云数据库的方式,可以降低系统维护成本,较好的适应了中小企业的需要,因而得到广泛的关注.然而,在基于云的RFID系统中,安全和隐私问题更为严重,阅读器和云数据库之间的链路不再安全,标签身份以及RFID数据的隐私都不能暴露给云服务提供商.本文提出了一种基于云的RFID相互认证协议,该协议基于Hash函数设计,既实现了阅读器对标签的认证,也实现了标签对阅读器的认证,同时保障了阅读器和云数据库之间数据传输的安全性,还可以保护阅读器的匿名性,降低标签的计算复杂度.安全性分析表明,该协议满足不可追踪性、前向安全性、抗重放攻击、抗去同步化攻击、抗拒绝服务攻击等安全特性.BAN逻辑的形式化分析进一步表明该协议满足相互认证性,且可以抵抗重放攻击,同时,本文对其他几个安全特性进行了分析证明.与其他几个基于云的方案比较,该方案在标签计算量以及整个协议的通信量上有较好的性能优势. 展开更多
关键词 RFID 云数据库 认证协议 BAN逻辑
下载PDF
基于数据库应用的计算逻辑的实现 被引量:3
15
作者 吴振宇 罗军 《计算机工程与设计》 CSCD 北大核心 2007年第2期280-282,共3页
在基于数据库的应用系统中,存在着许多数据间的关系,一部分可以通过数据库本身的机制来实现,如主外码引用关系,而另一部分关系是数据库无法维护的,如“进销存”计算关系,目前都是程序员编写代码去实现所需要的这部分关系,而基于代码的... 在基于数据库的应用系统中,存在着许多数据间的关系,一部分可以通过数据库本身的机制来实现,如主外码引用关系,而另一部分关系是数据库无法维护的,如“进销存”计算关系,目前都是程序员编写代码去实现所需要的这部分关系,而基于代码的实现不利于计算关系的变更和扩展,需要有一种好的便于后期维护的实现方法。 展开更多
关键词 数据库 触发器 标准完整性约束 定制完整性约束 计算逻辑
下载PDF
城市交通基础信息数据库的设计与实现 被引量:3
16
作者 杨波 刘海洲 《西华大学学报(自然科学版)》 CAS 2007年第6期97-99,共3页
在对所设计的城市交通基础信息数据库进行需求分析、逻辑设计和物理设计的基础上,结合delphi数据库技术,设计出城市交通基础信息数据库,结合一个实例,运用所设计的数据库进行了验证和客观评价。
关键词 城市交通 信息数据库 需求分析 逻辑设计 物理设计
下载PDF
Oracle数据库性能及优化分析 被引量:3
17
作者 翁平 《信息与电脑》 2019年第3期163-164,共2页
云计算发展过程中,系统软硬件资源的弹性供给能力不断提升。笔者主要阐述了Oracle数据库性能的优化目标,明确了响应时间、吞吐量、命中率、磁盘处理、内存利用率以及CPU资源等相关模块在Oracle数据库中的重要作用,确定了优化Oracle数据... 云计算发展过程中,系统软硬件资源的弹性供给能力不断提升。笔者主要阐述了Oracle数据库性能的优化目标,明确了响应时间、吞吐量、命中率、磁盘处理、内存利用率以及CPU资源等相关模块在Oracle数据库中的重要作用,确定了优化Oracle数据库性能的主要目的,提出了优化软硬件、SQL逻辑等优化路径,探讨了Oracle数据库性能优化的主要方式,为相关人员提供参考。 展开更多
关键词 ORACLE数据库 性能优化 SQL逻辑
下载PDF
FIRST ORDER LANGUAGE FOR ENTITY-ROLES MODEL^+
18
作者 Pan Jiuhui Liu Zhimin Wang Yunyi(Department of Computer Science, Central South University of Technology. Changsha, 410083. China) 《Journal of Central South University》 SCIE EI CAS 1995年第1期59-63,共5页
With respect to the mathematical structure supposed by theEntity-Roles Model. a first order (three--valued) logic language is constructured. A world to be modelled can be logically specified in this language. The inte... With respect to the mathematical structure supposed by theEntity-Roles Model. a first order (three--valued) logic language is constructured. A world to be modelled can be logically specified in this language. The integrity constraints on the database and 展开更多
关键词 knowledge/data model EXPERT database OBJECT-ORIENTATION database logic deductive QUERY
下载PDF
基于数据库的RAE树推理方法 被引量:1
19
作者 陈应波 钟珞 李桂青 《微电子学与计算机》 CSCD 北大核心 1996年第4期40-42,共3页
本文给出了一种能在数据库中执行推理的RAE树,并给出了将规则转换为RAE树的方法。文中以几个例子说明本方法的使用。
关键词 数据库 推理 RAE树 程序设计
下载PDF
校园网数据库性能优化技术 被引量:2
20
作者 高敬媛 赵克宝 《煤炭技术》 CAS 北大核心 2011年第7期226-228,共3页
校园网中数据库有异构、数据量大、多媒体、查询频繁等特点,怎样实施校园网数据库优化以提高数据库的服务性能,具有非常重要的意义。本文主要是在数据库逻辑设计方面着手,进行优化分析,以使数据库结构设计符合第三范式标准。为了避免密... 校园网中数据库有异构、数据量大、多媒体、查询频繁等特点,怎样实施校园网数据库优化以提高数据库的服务性能,具有非常重要的意义。本文主要是在数据库逻辑设计方面着手,进行优化分析,以使数据库结构设计符合第三范式标准。为了避免密集运用聚集函数,降低数据库多表连接,提出了采用反范式的设计方法,实施采用结构化数据组建的校园网数据库的优化。实践表明,该方法性能良好,操作简单,有效地提升了校园网的数据库性能。 展开更多
关键词 校园网 数据库 逻辑设计 反范式
下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部