检索结果-内蒙古大学图书馆

数据依赖的蕴涵问题

引用

小型微型计算机系统 1995年第12期16卷 38-43页

作者：胡久稔李星野南开大学数学研究所辽宁工学院

本文介绍数据库理论中重要的多值依赖，连接依赖和生成元组依赖及其蕴涵问题，同时给出了比较全面和新的研究进展。

关键词：多值依赖数据库数据依赖逻辑蕴涵

来源：评论

学校读者我要写书评

暂无评论

点间确定别名及其在Java程序数据依赖分析中的应用

引用

计算机学报 2008年第3期31卷 419-430页

作者：钱巨徐宝文周毓明东南大学计算机科学与工程学院南京210096 江苏省软件质量研究所南京210096

堆内存的大量使用使得Java程序上数据依赖关系的精确提取仍存在许多困难.对于堆空间上的依赖提取,通常的做法是先对堆上空间进行命名,再据此分析依赖关系.然而该方法不能在多个定义间进行强更新.故分精度不够理想.针对此问题,该文首先... 详细信息

堆内存的大量使用使得Java程序上数据依赖关系的精确提取仍存在许多困难.对于堆空间上的依赖提取,通常的做法是先对堆上空间进行命名,再据此分析依赖关系.然而该方法不能在多个定义间进行强更新.故分精度不够理想.针对此问题,该文首先提出了一种点问确定别名的概念,然后用它生成强更新和相对更新来精化数据依赖分析.实验表明,与不进行强更新和相对更新的数据依赖分析方法相比,新算法能够在相对较少的额外时间消耗内,有效地提高堆空间上依赖分析的精度.

关键词：数据依赖指针分析别名分析确定别名强更新

来源：评论

学校读者我要写书评

暂无评论

基于数据依赖特征的软件识别

引用

吉林大学学报（工学版） 2017年第6期47卷 1894-1902页

作者：罗养霞郭晔西安财经学院信息学院西安710100 中国(西安)丝绸之路研究院西安710100

研究了基于数据流切片的软件特征,为软件识别提供一种新的算法和评判系统。给出与算法相关的定义,如数据流、关系拓扑排序和相似度比较等。详述了算法的关键步骤,包括数据依赖关系、数据依赖图的构成与化简、关系拓扑排序等过程。最后,... 详细信息

研究了基于数据流切片的软件特征,为软件识别提供一种新的算法和评判系统。给出与算法相关的定义,如数据流、关系拓扑排序和相似度比较等。详述了算法的关键步骤,包括数据依赖关系、数据依赖图的构成与化简、关系拓扑排序等过程。最后,实现了算法和数据流软件特征评判系统。系统实现和实验分析证明该研究数据分析和理论推导相互验证,对推进基于特征的软件识别研究具有重要的理论和现实意义。

关键词：计算机软件软件保护软件特征数据流数据依赖特征识别

来源：评论

学校读者我要写书评

暂无评论

基于Vague关系数据模型的数据依赖

引用

东北大学学报(自然科学版) 2009年第1期30卷 58-62页

作者：赵法信马宗民王海龙东北大学信息科学与工程学院辽宁沈阳110004

基于提出的Vague关系数据模型和Vague集之间的相似度量,研究了Vague关系数据库中的数据依赖问题,给出了Vague函数依赖(VFDs)和Vague多值依赖(VMVDs)的定义及其相应的推理规则.该规则类似于经典关系数据库中函数依赖和多值依赖的Armstron... 详细信息

基于提出的Vague关系数据模型和Vague集之间的相似度量,研究了Vague关系数据库中的数据依赖问题,给出了Vague函数依赖(VFDs)和Vague多值依赖(VMVDs)的定义及其相应的推理规则.该规则类似于经典关系数据库中函数依赖和多值依赖的Armstrong公理系统,称之为Vague公理系统.并对Vague公理系统的有效性和完备性进行了证明.同时还给出了VFDs满意度的概念及计算VFDs满意度的公式.

关键词： Vague集 Vague关系数据模型数据依赖推理规则 VFDs满意度

来源：评论

学校读者我要写书评

暂无评论

数据依赖与异常数据分离-应用

引用

计算机科学 2011年第5期38卷 203-207页

作者：林宏康李豫颖阮群生宁德师范学院计算机与信息工程系宁德352100 山东大学数学与系统科学学院济南250100

数据在传递过程中,经常出现两类现象:一些被传递的数据在传递中发生部分数据元丢失;一些未知的数据元入侵到被传递的数据内。这两类现象使得被传递的数据出现"异常"。利用一个新的数学模型,给出两类现象的理论研究与应用。这... 详细信息

数据在传递过程中,经常出现两类现象:一些被传递的数据在传递中发生部分数据元丢失;一些未知的数据元入侵到被传递的数据内。这两类现象使得被传递的数据出现"异常"。利用一个新的数学模型,给出两类现象的理论研究与应用。这个新的数学模型是P-集合(packet sets),P-集合是由内P-集合XF珚(internal packet set XF珚)与外P-集合XF(outer packet set XF)构成的集合对;或者,(XF珚,XF)是P-集合。给出数据的F珚-依赖、F-依赖的概念与特性,提出数据的依赖定理,给出异常数据被分离的应用。数据依赖是P-集合诸多应用特性之一。P-集合是研究动态数据系统的一个新理论与新方法。

关键词： P-集合数据依赖依赖度量异常数据数据分离应用

来源：评论

学校读者我要写书评

暂无评论

数据依赖关系的属性关系图表示

引用

哈尔滨工业大学学报 1997年第6期29卷 53-56页

作者：戴亚非顾兆军天津民航学院计算机系哈尔滨工业大学计算中心

讨论了并行程序分析中重要因素之一的数据依赖关系的可视化策略及其交互原则，提出了一种基于属性关系图的依赖关系表示方法，并给出了对具有关系特性的数据进行可视化时的逻辑描述和几何描述。

关键词：数据可视化并行程序分析数据依赖属性关系图

来源：评论

学校读者我要写书评

暂无评论

基于数据依赖的数据修复研究进展

引用

计算机科学 2009年第10期36卷 11-15页

作者：胡艳丽张维明罗旭辉肖卫东汤大权国防科学技术大学C4ISR技术国防科技重点实验室长沙410073

介绍了数据依赖理论及如何基于数据依赖修复不一致数据,提高数据质量。首先介绍了数据依赖理论;给出了数据修复的语义假设及对应的修复操作;总结了基于数据依赖修复不一致数据的方法;最后讨论了基于数据依赖修复不一致数据的未来发展方向。

关键词：数据依赖不一致数据修复数据清洗数据质量

来源：评论

学校读者我要写书评

暂无评论

云环境下基于数据依赖的工作流调度

引用

南京邮电大学学报（自然科学版） 2018年第6期38卷 103-110页

作者：薛伟祥刘茜萍南京邮电大学江苏省大数据安全与智能处理重点实验室江苏南京210023

云环境下的工作流调度问题已然成为当下研究热点,对具有数据依赖和时序依赖的工作流而言,通过合理调度实现工作流数据传输总量和完成时间的优化是一个具有挑战的研究课题。为此,文中提出了基于数据依赖的工作流调度方法。以进程代数的... 详细信息

云环境下的工作流调度问题已然成为当下研究热点,对具有数据依赖和时序依赖的工作流而言,通过合理调度实现工作流数据传输总量和完成时间的优化是一个具有挑战的研究课题。为此,文中提出了基于数据依赖的工作流调度方法。以进程代数的形式对工作流进行建模,在计算工作流各通路数据传输量的基础上进行主任务集与非主任务集的划分并为主任务集确定主服务器,进而根据各任务最早起始时间和结束时间将其调度至动态更新的服务器空闲时段中,以实现对工作流的数据传输量及完成时间的综合优化,该调度方法的可行性和有效性最终通过一个具体的实例进行了演示。

关键词：云环境数据依赖时序依赖工作流调度主任务集

来源：评论

学校读者我要写书评

暂无评论

数据依赖的LSM-tree研究

数据依赖的LSM-tree研究

引用

作者：俞加平宁波大学

学位级别：硕士

大数据环境下写多读少的场景日益增多,非结构化数据的比例也逐渐提升,越来越多的企业采用KV数据库来代替传统的关系型数据库。LSM-tree(Log-Structed-MergeTree,日志结构合并树,后文统称LSM树)由于其出色的写入性能,被众多KV数据库采用... 详细信息

大数据环境下写多读少的场景日益增多,非结构化数据的比例也逐渐提升,越来越多的企业采用KV数据库来代替传统的关系型数据库。LSM-tree(Log-Structed-MergeTree,日志结构合并树,后文统称LSM树)由于其出色的写入性能,被众多KV数据库采用作为底层存储引擎。尽管KV数据库在数据存储规模、可扩展性上均有着传统数据库无法比拟的优势,但依然面临着数据爆炸式增长带来的存取压力。目前大多数针对LSM树的改进并未利用到数据的特性,这在一定程度上浪费了数据本身所携带的分布信息。本文将利用数据依赖的方式改进LSM树的读写性能,使其在大数据存储领域更具有存取时间和存储空间上的优势。本文的主要研究内容与贡献如下:1)基于数据依赖的LSM树读取性能优化LSM树中布隆过滤器常用于减少无效的磁盘I/O,加速读取过程。但是用户无法无限制地细化布隆过滤器的粒度,原因是在一些数据量庞大而数据项较小的工作流中,这些元数据需要占用大量存储空间。在一些内存受限的环境下,内存缓冲区无法容纳更多的过滤器数据,造成缓冲区与磁盘的频繁数据交换。针对上述问题本文提出LSM树中的异构布隆过滤器方案(Heterogeneous Bloom Filter Scheme in LSM-tree,HBF-LSM),在LSM树的每一层维护热度预测模型,新生成的SSTable通过预测的热度来分配不同粒度的布隆过滤器,然后使用特定缓存管理方案来维护缓存中的过滤器数据并处理工作流热度发生改变的情况。实验证明本文的方案在保持同样外存占用与内存消耗的情况下,提高了LSM树在不同配置工作流下的读取吞吐量(小型数据库提高约25%,大型数据库约53%)。2)基于数据依赖的LSM树写入性能优化LSM树中较高的写入放大一直是难以解决的问题。原因是在传统LSM树结构设计中不考虑数据热度情况,设计空间一般无法兼顾读写性能,即需要在用户可接受的范围内牺牲一种性能以提高另外一种性能。在提升LSM树写入性能时,只能在设计空间中保守地选择设计方案以减少对读取性能的影响,导致写入性能提升有限。针对上述问题本文提出一种结合数据读取热度的新的LSM树结构(Leveling-Tiering-Grouped LSM-tree,LTG-LSM),在LSM树的每一层维护热度预测模型,新生成的磁盘组件通过预测的热度来确定使用的结构,然后使用特定合并算法来处理不同结构组件之间的合并以及处理工作流热度发生改变的情况。实验证明本文的方案在不牺牲读取性能的前提下,大幅度降低了LSM树的写入放大(最高降低约71%),提高了LSM树在不同工作流下的写入吞吐量(最高提升约24%)。

关键词： LSM树数据依赖 KV存储索引热度预测

来源：评论

学校读者我要写书评

暂无评论

海洋环境数据库的数据依赖识别方法

引用

海洋环境科学 2011年第5期30卷 731-734页

作者：熊中敏黄冬梅孙杰丁献文上海海洋大学信息学院上海201306 国家海洋局东海信息中心上海644300 复旦大学计算机科学技术学院上海200433

设计达到第三范式标准的数据库模式,是数据库建设的关键。本文针对海洋环境数据基本为调查数据、数据之间因缺乏业务逻辑无法确立依赖关系的现状,提出了根据现有数据模式识别数据依赖的方法,并应用于数据库模式的规范化设计,通过理论和... 详细信息

设计达到第三范式标准的数据库模式,是数据库建设的关键。本文针对海洋环境数据基本为调查数据、数据之间因缺乏业务逻辑无法确立依赖关系的现状,提出了根据现有数据模式识别数据依赖的方法,并应用于数据库模式的规范化设计,通过理论和实践证明海洋环境数据库模式设计达到第三范式标准,成功应用于城市风暴潮防灾减灾辅助决策支持系统等项目建设中。

关键词：海洋环境数据库数据依赖模式规范化风暴潮

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：