导读:本文包含了弱函数论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:函数,子树,规则,代数,不完全,信息,广义。
弱函数论文文献综述
薛金蓉,张洪斌[1]（2013）在《等价类中弱函数依赖的粗糙集度量》一文中研究指出提出了一种较有意义的产生推理通道的推理规则,即等价类中的弱函数依赖(WFDoE),并给出了它的形式化定义。利用粗糙集理论定义WFDoE的置信度和支持度,并给出了从数据库中挖掘WFDoE的推理规则算法。实验结果表明,WFDoE可以有效增强防范推理泄露的能力。(本文来源于《电子科技大学学报》期刊2013年06期）
殷丽凤,田宏[2]（2010）在《基于XML Schema的XML弱函数依赖及其推理规则》一文中研究指出为了解决不完全信息环境下可扩展标记语言(XML)弱函数依赖的逻辑蕴涵问题,基于XML Schema研究了XML弱函数依赖及其推理规则。给出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价、子树信息相容的概念提出了XML弱函数依赖的定义和性质;提出了相应的推理规则集,并对其正确性和完备性进行了证明。为不完全信息环境下存在XML弱函数依赖的XML Schema规范化的研究奠定了基础。(本文来源于《计算机应用》期刊2010年09期）
张洪斌,胡昌振[3]（2009）在《数据库弱函数依赖推理规则挖掘方法》一文中研究指出数据库推理问题是数据库安全研究的重要分支方向,推理通道的分析是解决推理问题的基础。传统推理规则无法处理不完全符合函数依赖的数据关系,针对这一问题,本文提出了弱函数依赖的概念,并给出了弱函数依赖的推理能力评价标准,最后给出了从数据中挖掘弱函数依赖关系的算法。(本文来源于《微计算机信息》期刊2009年12期）
刘先锋,李高仕,黄海燕[4]（2009）在《XML弱函数依赖及单依赖集合研究》一文中研究指出XML弱函数依赖是在XML数据库中引入空值理论后的函数依赖。在空值、不完全树元组等概念的基础上,定义了弱函数依赖、单依赖集合,证明了单依赖集合判定定理和单依赖集合判定可终止定理。(本文来源于《计算机工程与应用》期刊2009年03期）
沈春,孙梅娜[5]（2008）在《Hermite展开与弱函数乘法的性质(英文)》一文中研究指出根据丁夏畦院士利用Hermite展开定义的弱函数和广义弱函数以及函数的乘法等概念,来进一步研究弱函数乘法的相关性质,并证明了弱函数的乘法满足交换律、分配律和Leibniz法则,但不满足结合律。(本文来源于《数学理论与应用》期刊2008年02期）
苏召,刘国华[6]（2007）在《XML弱函数依赖及其推理规则》一文中研究指出XML函数依赖问题是进行XML数据库后续研究的基础。首先基于M.Arenas等人给定的XML中DTD和XML树的定义,提出空值、不完全树元组、数据值偏序、最小扩展树等概念,在此基础上,给出弱函数依赖及其满足性的定义;其次研究了XML弱函数依赖的逻辑蕴含问题,提出一组适合XML空值模型的函数依赖推理规则集;最后给出推理规则集的正确性和完备性证明。(本文来源于《计算机应用》期刊2007年05期）
苏召[7]（2007）在《XML弱函数依赖与单依赖集合的研究》一文中研究指出XML的出现给数据库领域带来了很多新的问题,其中XML数据的约束问题是当前的研究热点之一。XML函数依赖、逻辑蕴涵是进一步研究XML键和XML规范化理论的基础。有关XML数据模式设计的研究刚刚开始,虽然取得了一些初步研究成果,但还没有形成统一的规范和完整的理论体系。本文在对国内外研究现状进行综合分析的基础上,从一个全新的角度对XML函数依赖与推理规则等问题进行了研究。首先,基于M.Arenas等人给定的XML中DTD和XML树的定义,将空值的语义引入到XML中,提出完全树元组、不完全树元组、数据值偏序、最小扩展树等概念,在此基础上给出XML弱函数依赖以及函数依赖集蕴涵的定义。其次,将不完全关系中的Lien-Atzeni公理系统推广到XML中,给出一组基于XML树元组的,适合XML弱函数依赖的推理规则集,并证明了此推理规则集的正确性和完备性。然后,对弱函数依赖的可加性进行了研究。将弱满足的语义推广到函数依赖集合,给出弱函数依赖可加性的定义,提出一个可加性的判定算法。给出XML单依赖集的概念,并研究了单依赖集与可加性的重要联系。最后,对单依赖集的性质进行了研究。给出规范覆盖下单依赖集的另一种定义,根据此定义给出一个单依赖集判定算法,并对算法的正确性和时间复杂度进行了分析。讨论了单依赖集条件下,函数依赖集闭包的特点。(本文来源于《燕山大学》期刊2007-03-01）
苏召,刘国华[8]（2006）在《XML弱函数依赖及其可加性问题的研究》一文中研究指出XML函数依赖问题是进行XML数据库后续研究的基础。本文首先基于M．Arenas等人给定的 XML中DTD和XML树的定义,提出空值、不完全树元组等概念,在此基础上,给出弱函数依赖及其满足性的定义;其次研究了弱函数依赖的可加性问题,给出一个判定一棵XML树是否适合给定函数依赖集的算法,并证明了算法的正确性。(本文来源于《2006北京地区高校研究生学术交流会——通信与信息技术会议论文集（下）》期刊2006-12-01）
赖春晖[9]（1989）在《弱函数代数与函数代数的插补集》一文中研究指出证明当X为有限离散拓扑空间时,只要A是X上的弱函数代数就有A=C(X);给出了第一可数、紧T_2空间X上的所有弱的数代数的公共插补集;同时就紧T_2空间X上的函数代数A,讨论了与A=C(X)等价的叁个命题。(本文来源于《厦门大学学报(自然科学版)》期刊1989年02期）
弱函数论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
为了解决不完全信息环境下可扩展标记语言(XML)弱函数依赖的逻辑蕴涵问题,基于XML Schema研究了XML弱函数依赖及其推理规则。给出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价、子树信息相容的概念提出了XML弱函数依赖的定义和性质;提出了相应的推理规则集,并对其正确性和完备性进行了证明。为不完全信息环境下存在XML弱函数依赖的XML Schema规范化的研究奠定了基础。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
弱函数论文参考文献
[1].薛金蓉,张洪斌.等价类中弱函数依赖的粗糙集度量[J].电子科技大学学报.2013
[2].殷丽凤,田宏.基于XMLSchema的XML弱函数依赖及其推理规则[J].计算机应用.2010
[3].张洪斌,胡昌振.数据库弱函数依赖推理规则挖掘方法[J].微计算机信息.2009
[4].刘先锋,李高仕,黄海燕.XML弱函数依赖及单依赖集合研究[J].计算机工程与应用.2009
[5].沈春,孙梅娜.Hermite展开与弱函数乘法的性质(英文)[J].数学理论与应用.2008
[6].苏召,刘国华.XML弱函数依赖及其推理规则[J].计算机应用.2007
[7].苏召.XML弱函数依赖与单依赖集合的研究[D].燕山大学.2007
[8].苏召,刘国华.XML弱函数依赖及其可加性问题的研究[C].2006北京地区高校研究生学术交流会——通信与信息技术会议论文集（下）.2006
[9].赖春晖.弱函数代数与函数代数的插补集[J].厦门大学学报(自然科学版).1989
论文知识图
