期刊文献+
共找到66篇文章
< 1 2 4 >
每页显示 20 50 100
数据依赖中传递函数依赖的研究与探讨
1
作者 吕俊亚 卢植衡 《安徽农业科学》 CAS 2012年第8期4467-4468,4472,共3页
数据依赖是关系数据理论的核心,是关系模式分解的关键。介绍了码、候选码、主属性、非主属性的概念和数据依赖的相关概念以及数据依赖对规范化的重要性,从数据依赖本质和第1范式到第5范式间的包含关系等不同的角度对传递依赖进行了系统... 数据依赖是关系数据理论的核心,是关系模式分解的关键。介绍了码、候选码、主属性、非主属性的概念和数据依赖的相关概念以及数据依赖对规范化的重要性,从数据依赖本质和第1范式到第5范式间的包含关系等不同的角度对传递依赖进行了系统分析,同时又对当前几个主要的普遍使用的数据库系统原理教材中的传递数据依赖定义进行了分析,从而给出了传递数据依赖的准确的定义,并且提出了部分依赖是特殊的传递依赖的观点,并加以论证。 展开更多
关键词 数据依赖 函数依赖 部分函数依赖 传递函数依赖 候选码
在线阅读 下载PDF
内置谓词函数依赖及其推理规则 被引量:7
2
作者 胡艳丽 张维明 +2 位作者 肖卫东 汤大权 唐九阳 《国防科技大学学报》 EI CAS CSCD 北大核心 2009年第5期58-63,共6页
研究内置谓词函数依赖及其推理规则。首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则... 研究内置谓词函数依赖及其推理规则。首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则集A,证明推理规则集A是可靠且完备的,用于内置谓词函数依赖蕴涵分析的形式化证明;最后讨论了内置谓词函数依赖的应用。 展开更多
关键词 函数依赖 内置谓词 推理规则 逻辑蕴涵 可靠性 完备性
在线阅读 下载PDF
XML的函数依赖 被引量:3
3
作者 赵相国 王国仁 +1 位作者 韩东红 丁大斌 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第1期57-60,共4页
为了表达引起数据冗余的XML函数依赖,研究了XML中存在的复杂的多种形式的函数依赖约束,提出了一种DTD的路径语言,对于导航和定位XML文档的内容具有较强的表达能力.提出了一套XML模式及文档的形式化描述方法,进而提出了一种XML函数依赖(X... 为了表达引起数据冗余的XML函数依赖,研究了XML中存在的复杂的多种形式的函数依赖约束,提出了一种DTD的路径语言,对于导航和定位XML文档的内容具有较强的表达能力.提出了一套XML模式及文档的形式化描述方法,进而提出了一种XML函数依赖(XFD)的定义.与以前的XML函数依赖的定义进行比较,展示了XFD可以表达更多的XML上存在的函数依赖,可以概括以前的基于路径表达式定义的XML函数依赖的约束能力. 展开更多
关键词 XML 函数依赖 规范化 路径语言 数据约束
在线阅读 下载PDF
全序时态模式下函数依赖集的成员籍问题研究 被引量:3
4
作者 万静 杨洪玉 郝忠孝 《高技术通讯》 EI CAS CSCD 北大核心 2009年第11期1148-1152,共5页
时态函数依赖(TFD)约束的全序时态模式下,成员籍问题是设计有效模式分解算法的关键。定义了全序时态模式下全序时态函数依赖集有效闭包、属性集在给定时态类型上的闭包、属性集的闭包等概念,根据这些概念,结合全序时态模式自身的特点,... 时态函数依赖(TFD)约束的全序时态模式下,成员籍问题是设计有效模式分解算法的关键。定义了全序时态模式下全序时态函数依赖集有效闭包、属性集在给定时态类型上的闭包、属性集的闭包等概念,根据这些概念,结合全序时态模式自身的特点,提出求全序时态模式下属性集在给定时态类型上的闭包以及时态函数依赖(TFD)集成员籍问题的算法,证明了算法的可终止性和正确性,分析算法的时间复杂性,为时态函数依赖环境下全序时态模式的进一步规范化提供了理论基础。 展开更多
关键词 多时间粒度 全序时态模式 时态函数依赖(TFD) 成员籍 属性集在给定时态类型上的闭包
在线阅读 下载PDF
基于内容相关的条件函数依赖的一致性清洗方法 被引量:1
5
作者 杜岳峰 申德荣 +1 位作者 张亮 于戈 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2016年第12期1683-1687,共5页
基于条件函数依赖提出了一种内容相关的条件函数依赖,并给出基于内容相关的条件函数依赖的一致性清洗方法.通过分析条件函数依赖之间的关系,将相关联的条件函数依赖合并组成内容相关的条件函数依赖.内容相关的条件函数依赖可以检测多条... 基于条件函数依赖提出了一种内容相关的条件函数依赖,并给出基于内容相关的条件函数依赖的一致性清洗方法.通过分析条件函数依赖之间的关系,将相关联的条件函数依赖合并组成内容相关的条件函数依赖.内容相关的条件函数依赖可以检测多条件值下的数据一致性问题并提供可用于一致性修复的参考值.同时,提出了一种一致性修复的代价模型.模型参考内容相关的条件函数依赖对应元组的实际情况进行修复,实现代价最优,同时保证数据一致性.通过在两组真实数据集上进行试验测试,证明提出的基于内容相关的条件函数依赖的一致性清洗方法能够准确地检测数据的一致性问题并加以修复. 展开更多
关键词 数据清洗 条件函数依赖 内容相关 数据一致性 修复代价模型
在线阅读 下载PDF
一种基于函数依赖的属性相似度调整算法 被引量:1
6
作者 谭明超 刁兴春 +1 位作者 曹建军 冯径 《上海交通大学学报》 EI CAS CSCD 北大核心 2015年第8期1075-1083,1089,共10页
属性相似度的准确性是影响实体分辨准确程度的重要因素之一.为提高属性相似度的准确性,分析了属性相似度与函数依赖的关系,给出了属性相似度调整原则,提出了依据函数依赖进行相似度划分、相似度传递调整和计算相似度调整代价的方法,提... 属性相似度的准确性是影响实体分辨准确程度的重要因素之一.为提高属性相似度的准确性,分析了属性相似度与函数依赖的关系,给出了属性相似度调整原则,提出了依据函数依赖进行相似度划分、相似度传递调整和计算相似度调整代价的方法,提出了通过属性相似度调整提高属性相似度准确性的属性相似度传递调整算法.实验结果表明,该算法能够更好地区分匹配记录对和不匹配记录对,获得更高的查全率、查准率和F1值. 展开更多
关键词 实体分辨 属性相似度 函数依赖
在线阅读 下载PDF
一种函数依赖程序不变量动态检测方法 被引量:2
7
作者 刘树锟 阳小华 《微电子学与计算机》 CSCD 北大核心 2008年第7期205-209,213,共6页
目前软件质量已成为人们广泛关注、高度重视的热点问题之一.为了保证软件质量,建立了程序不变量发现的基本理论模型,并针对简单的函数依赖不变量提出了检测方法.此方法首先是通过关系数据库理论存储程序的运行轨迹,然后利用关联算法分... 目前软件质量已成为人们广泛关注、高度重视的热点问题之一.为了保证软件质量,建立了程序不变量发现的基本理论模型,并针对简单的函数依赖不变量提出了检测方法.此方法首先是通过关系数据库理论存储程序的运行轨迹,然后利用关联算法分析变量间的相关性,最后通过回归分析方法确定具有高相关性的变量之间的函数依赖关系.结果表明这种方法对于简单的函数依赖不变量检测具有很好的效果. 展开更多
关键词 程序不变量 函数依赖 关联属性 动态发现 模型
在线阅读 下载PDF
极小函数依赖集求解方法的缺陷及改进 被引量:2
8
作者 杜祝平 李晓秋 《信息工程大学学报》 2001年第4期17-18,共2页
本文通过一个例子说明极小函数依赖集求解方法存在一定的缺陷 ,并通过与函数依赖集的规范覆盖的求解算法的对比 。
关键词 极小函数依赖 缺陷 求解方法 关系数据库系统 关系模式
在线阅读 下载PDF
XML亚强函数依赖及其推理规则 被引量:1
9
作者 殷丽凤 刘亚欣 田宏 《电子设计工程》 2012年第1期6-9,共4页
为了解决不完全信息环境下XML亚强函数依赖的逻辑蕴涵问题,基于XML Schema研究了XML亚强函数依赖及其推理规则。给出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价、子树信息相容的概念提出了XML亚强函数依赖... 为了解决不完全信息环境下XML亚强函数依赖的逻辑蕴涵问题,基于XML Schema研究了XML亚强函数依赖及其推理规则。给出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价、子树信息相容的概念提出了XML亚强函数依赖的定义和性质;提出了相应的推理规则集,并对其正确性进行了证明。为不完全信息环境下存在XML亚强函数依赖的XML Schema规范化的研究奠定了基础。 展开更多
关键词 不完全信息 子树信息相容 子树信息等价 XML亚强函数依赖 推理规则
在线阅读 下载PDF
粗糙XML函数依赖及其推理规则 被引量:1
10
作者 殷丽凤 邱占芝 《电子设计工程》 2014年第3期4-6,10,共4页
随着XML成为网络信息表示和交换的标准以及不确定数据的广泛存在,不确定XML数据库管理技术成为了当今研究的热点。基于粗糙集理论提出了XML信息系统模型、粗糙XML树信息系统、粗糙冗余等定义,基于粗糙XML信息系统的上近似、下近似给出... 随着XML成为网络信息表示和交换的标准以及不确定数据的广泛存在,不确定XML数据库管理技术成为了当今研究的热点。基于粗糙集理论提出了XML信息系统模型、粗糙XML树信息系统、粗糙冗余等定义,基于粗糙XML信息系统的上近似、下近似给出了粗糙XML函数依赖的定义及推理规则,并对推理规则的正确性进行了证明。为粗糙XML数据库理论的进一步研究奠定了基础。 展开更多
关键词 粗糙集 粗糙XML树信息系统 粗糙冗余 粗糙XML函数依赖 推理规则
在线阅读 下载PDF
基于函数依赖的异构大数据跨源调度模型构建 被引量:2
11
作者 田卫东 《电子设计工程》 2020年第2期60-63,68,共5页
为实现异构大数据体的多级跨源操作,完成主体数据队列的多级调度,提出基于函数依赖的异构大数据跨源调度模型。利用大数据冗余计算结果,建立完整的节点依赖时间序列,并以此为条件推导既定的成员籍系数,完成基于函数依赖的大数据成员籍... 为实现异构大数据体的多级跨源操作,完成主体数据队列的多级调度,提出基于函数依赖的异构大数据跨源调度模型。利用大数据冗余计算结果,建立完整的节点依赖时间序列,并以此为条件推导既定的成员籍系数,完成基于函数依赖的大数据成员籍判定。在此基础上,设计大数据异构平面,并根据跨源数据帧处理结果,建立一个目标调度函数,完成基于函数依赖异构大数据跨源调度模型的构建。对比实验结果表明,与QoS调度策略相比,应用新型调度模型后,跨源操作的级别条件最高可达到10,主体数据队列的平均调度量也明显提升,大数据跨源调度质量得到有效促进。 展开更多
关键词 函数依赖 大数据调度 时间序列 成员籍系数 异构平面 跨源操作
在线阅读 下载PDF
极小函数依赖集的正确算法及其证明 被引量:1
12
作者 于思江 王小兵 《西安邮电学院学报》 2009年第3期110-112,共3页
极小函数依赖集是关系数据库理论中的一个重要概念,它在模式分解中起到了重要作用,但是一些国内文献介绍的算法存在问题。本文通过一个例子说明了该极小函数依赖集算法的错误,给出了正确的算法,并且出具了详细证明。
关键词 极小函数依赖 算法 证明
在线阅读 下载PDF
信息系统函数依赖的信息颗粒原理与计算
13
作者 安秋生 沈钧毅 《西安交通大学学报》 EI CAS CSCD 北大核心 2003年第10期999-1002,1007,共5页
提出了一种利用信息颗粒的位表示(bitrepresentations)来分析信息系统函数依赖的新方法.研究了信息颗粒原理、粒化计算和面向机器的数据挖掘模型,利用位表示阐述了信息系统函数依赖、恒等依赖、部分依赖的判定原理,得出了与函数依赖相... 提出了一种利用信息颗粒的位表示(bitrepresentations)来分析信息系统函数依赖的新方法.研究了信息颗粒原理、粒化计算和面向机器的数据挖掘模型,利用位表示阐述了信息系统函数依赖、恒等依赖、部分依赖的判定原理,得出了与函数依赖相关的命题,并用相应的算法验证了所提方法.该方法可以快速判定和度量信息系统的函数依赖关系,对于信息颗粒采用其位表示,使得数据格式更接近机器的内部表示,且能够直接挖掘信息系统所蕴涵的模式. 展开更多
关键词 信息颗粒 函数依赖 面向机器模型 位表示 数据挖掘
在线阅读 下载PDF
基于近似函数依赖的查询评估改进
14
作者 陈国青 唐晓辉 《工程数学学报》 CSCD 北大核心 2007年第6期951-956,共6页
查询评估和近似函数依赖是数据查询和管理中非常重要的两个研究方向。在本文中,基于已经挖掘的近似函数依赖,一个关系被分解成等价的几个子关系。同时,一些基本的查询表达式也相应的被重写,这些重写的查询表达式在执行时所需的时间成本... 查询评估和近似函数依赖是数据查询和管理中非常重要的两个研究方向。在本文中,基于已经挖掘的近似函数依赖,一个关系被分解成等价的几个子关系。同时,一些基本的查询表达式也相应的被重写,这些重写的查询表达式在执行时所需的时间成本更少。这一方法能让我们以更加有效的方式来处理一些查询问题。 展开更多
关键词 查询评估 查询表达式 分解 近似函数依赖
在线阅读 下载PDF
关于函数依赖结构的模式分解法
15
作者 安清波 李增智 《微电子学与计算机》 CSCD 北大核心 1992年第9期1-3,共3页
关系模式的规范化过程是通过对关系模式的分解实现的。本文给出了一种保持函数依赖和具有无损连接性的关系模式分解方法,证明了该分解满足3NF,而且给出并证明了该分解满足BCNF(Boyce Codd Normal Form)的充分必要条件。该方法可以有效... 关系模式的规范化过程是通过对关系模式的分解实现的。本文给出了一种保持函数依赖和具有无损连接性的关系模式分解方法,证明了该分解满足3NF,而且给出并证明了该分解满足BCNF(Boyce Codd Normal Form)的充分必要条件。该方法可以有效地控制分解规模,简单实用。易于掌握。 展开更多
关键词 关系模式 函数依赖 关系数据库
在线阅读 下载PDF
模式分解保持函数依赖的意义
16
作者 于思江 王小兵 《电子科技》 2010年第12期99-101,共3页
规范化过程通过模式分解提高关系的范式级别,分解的评判准则是无损连接性和保持函数依赖。文中证明了保持函数依赖的一个定理,说明了模式分解保持函数依赖的意义是在减小数据冗余度的同时不会影响数据更新的性能,通过具体分析实例进一... 规范化过程通过模式分解提高关系的范式级别,分解的评判准则是无损连接性和保持函数依赖。文中证明了保持函数依赖的一个定理,说明了模式分解保持函数依赖的意义是在减小数据冗余度的同时不会影响数据更新的性能,通过具体分析实例进一步说明了该结论。 展开更多
关键词 规范化 模式分解 保持函数依赖
在线阅读 下载PDF
基于函数依赖的XML文档的研究
17
作者 周莉 王珏 《华东交通大学学报》 2009年第4期78-81,共4页
从数据库设计的角度出发,对XML数据的函数依赖进行深入的研究,提出了基于树模型和路径表达式上的XML函数依赖的定义及推理规则。对于利用XML实现异构数据库的交换技术上,不仅在理论上具有指导价值,而且在实际应用中也具有现实意义和实... 从数据库设计的角度出发,对XML数据的函数依赖进行深入的研究,提出了基于树模型和路径表达式上的XML函数依赖的定义及推理规则。对于利用XML实现异构数据库的交换技术上,不仅在理论上具有指导价值,而且在实际应用中也具有现实意义和实用价值。 展开更多
关键词 XML 约束 DTD 函数依赖
在线阅读 下载PDF
XML不完全信息树下的完全函数依赖弱保持
18
作者 张广玲 《信息技术》 2007年第1期39-42,共4页
在DTD模型下,在XML信息树中引入了不完全信息,形成一棵不完全信息树。文中以不完全信息树为基础定义了树中节点之间的关系:节点值等价和节点值相容。并在此基础上定义了函数依赖的强保持条件、完全函数依赖弱保持。给出了给定函数依赖... 在DTD模型下,在XML信息树中引入了不完全信息,形成一棵不完全信息树。文中以不完全信息树为基础定义了树中节点之间的关系:节点值等价和节点值相容。并在此基础上定义了函数依赖的强保持条件、完全函数依赖弱保持。给出了给定函数依赖集判断完全函数依赖弱保持的算法及满足完全函数依赖弱保持时,当树确定化后成为完全信息树下函数依赖的可能性的证明。 展开更多
关键词 节点值等价 节点值相容 函数依赖强保持 完全函数依赖弱保持
在线阅读 下载PDF
XML与关系数据库的函数依赖比较 被引量:1
19
作者 程录庆 《信息技术与信息化》 2009年第6期52-54,共3页
函数依赖分析对于XML数据有着与其在关系数据库中同等重要的意义。通过实例对关系数据库和基于DTD模式的XML数据的函数依赖分析方法和过程作出比较,对XML数据与关系数据库间的转换及函数依赖在两者中的保持与传播有参考价值。
关键词 函数依赖 XML DTD模式
在线阅读 下载PDF
等价类中弱函数依赖的粗糙集度量
20
作者 薛金蓉 张洪斌 《电子科技大学学报》 EI CAS CSCD 北大核心 2013年第6期935-938,共4页
提出了一种较有意义的产生推理通道的推理规则,即等价类中的弱函数依赖(WFDoE),并给出了它的形式化定义。利用粗糙集理论定义WFDoE的置信度和支持度,并给出了从数据库中挖掘WFDoE的推理规则算法。实验结果表明,WFDoE可以有效增强防范推... 提出了一种较有意义的产生推理通道的推理规则,即等价类中的弱函数依赖(WFDoE),并给出了它的形式化定义。利用粗糙集理论定义WFDoE的置信度和支持度,并给出了从数据库中挖掘WFDoE的推理规则算法。实验结果表明,WFDoE可以有效增强防范推理泄露的能力。 展开更多
关键词 等价类 推理泄露问题 粗糙集 规则提取 函数依赖
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部