XML局部函数依赖

函数依赖和键是XML文档中的一种重要的语义表达,是XML模式设计的基础。文章提出了基于DTD路径的XML局部函数依赖的概念,它表达了"函数依赖在一个XML文档树的子树中是成立的,而在整个XML文档树中不成立"语义要求,给出了XML局部函数依赖一套推理规则集,并证明推理规则的正确性。     

最简单的最小函数依赖集的研究

一般而言,最小函数依赖集并不是最简单的函数依赖集．就如何找出最简单的最小函数依赖集进行了研究．为了描述最简单的最小函数依赖集,提出极简函数依赖集的概念,并利用逻辑代数的理论设计了极简函数依赖集的算法．     

极简函数依赖集的研究

通过对最简的最小函数依赖集的研究,提出了极简函数依赖集的概念．同时,依据函数依赖与逻辑代数的等价性原理,设计了极简函数依赖集的算法,实际上这也是一种最小函数依赖集的算法．     

数据依赖的语义分析

数据依赖是一类数据约束,数据的语义解释决定了数据库中的数据应遵循的约束.数据库设计理论涉及一个基本问题——数据依赖的确定,实践中,对于数据依赖的确定,专业人员往往依赖实例数据的分析或者凭经验判断.为了探讨数据依赖的确定问题,通过实例数据分析发现数据依赖的方法,指出其不可靠,提出了通过语义分析确定数据依赖的思路,并对函数依赖、包含依赖、多值依赖和连接依赖的语义分析作了阐释.     

语义分析环境下函数依赖确定方法的研究

从三种传统的确定函数依赖的方法基础上,分析了各种方法的优劣;并从语义分析的角度将数据库设计中用于需求描述的词汇进行分类;最后提出了在显式语义、隐式语义和强制语义环境下函数依赖的确定方法.     

基于特定关系模式下函数依赖集的闭包的研究

通过实例研究,定义了一个特定的关系模式,并称它为传递依赖关系模式．在传递依赖关系模式下,得出了计算函数依赖集的闭包中函数依赖的个数的公式,并依照具体实例设计了计算函数依赖集的闭包中所有函数依赖的算法,在此算法中,设计了多种计算属性集所有子集的算法．     

抽象函数在中学数学中的应用

抽象函数与具体函数在表达形式上有着较大的区别,但又与具体函数有着较强的联系.抽象函数是对具体函数的抽象、形式化得到的.在解决相应的题目里,特殊值法、特殊函数法、赋值法、图象性质法都是比较常用的方法.将抽象函数具体化,是一条常用的思路.     

关系数据库设计过程冗余模式消除方法

消除冗余模式是数据库设计中应考虑的重要问题之一.本文首先把不同冗余程度的冗余模式分为三级,即绝对冗余模式、相对冗余模式和函数依赖冗余模式,并作了形式化描述;然后,讨论了冗余模式的性质,并给出了消除各种冗会模式的方法,这些方法本质是多项式时间复杂度的.     

XML多值依赖的规范化算法研究

多值依赖在关系数据库和XML文档中都是一种重要的语义表达。本文对XML文档中存在的多值依赖进行分析,提出了多值依赖规范化算法,并对算法进行了无损联接性和函数依赖保持性证明,并对算法的可终止性和时间复杂度等方面进行了分析。     

基于函数依赖与或图的关系模式规范化方法

关系模式规范化是关系数据库逻辑设计的重要步骤。按关系模式的范式定义进行规范化，其理论过于抽象，与应用存在较大差距，不便于操作。提出了一种以函数依赖与或图为基础的图示化关系模式规范化方法。利用这种方法进行关系模式分解，具有分解过程直观、易操作和效率高等特点。     

关系数据库设计范式应用实例剖析

关系数据库中的关系必须满足一定的要求,满足不同程度要求的为不同范式,本文就数据库设计中经常使用的1NF、2NF、3NF和BCNF进行了详细的剖析,通过实例指出满足一定的范式可以使数据库结构清晰简洁。     

“功能对等”观照下的《静夜思》两译本评析

诗歌是融信息、美感和表情功能于一体的一种文学体裁。本文以奈达的"功能对等"为向导,分析许渊冲先生和翁显良先生的《静夜思》两译本在信息、美感和表情方面的功能对等,旨在洞察不同译者对原诗的不同解读及他们的翻译风格。     

植物功能基因组学及其研究技术

植物基因组的研究已经由以全基因组测序为目标的结构基因组学转向以基因功能鉴定为目标的功能基因组学研究.植物功能基因组学研究是利用结构基因组学积累的数据,从中得到有价值的信息,阐述DNA序列的功能,从而对所有基因如何行使其职能并控制各种生命现象的问题作出回答.近年来植物功能基因组学的研究技术主要包括表达序列标签、基因表达的系列分析、DNA微阵列和反向遗传学等.对植物功能基因组学的研究将有利于我们对基因功能的理解和对植物形状的定性改造和利用.     

Consistency maintenance for constraint in role-based access control model

Constraint is an important aspect of role-based access control and is sometimes argued to be the principal motivation for role-based access control (RBAC). But so far few authors have discussed consistency maintenance for constraint in RBAC model. Based on researches of constraints among roles and types of inconsistency among constraints, this paper introduces corresponding formal rules, rule-based reasoning and corresponding methods to detect, avoid and resolve these inconsistencies. Finally, the paper introduces briefly the application of consistency maintenance in ZD-PDM, an enterprise-oriented product data management (PDM) system.     

谈口语的两种功能变体

口语为适应不同的交际功能会形成不同的类型。通过分析口语在正式与非正式场合中的分化条件、语言要素选用和表达方式的差异 ,说明汉语口语中存在着两种类型的功能变体。     

论功能对等和形式对等在翻译中的辩证体现

在对奈达翻译理论过于强调功能对等进行质疑的基础上,认为文本内容和表达形式密不可分,在不同的文本中表现出不同程度的重要性,译者应根据不同文本和翻译目的在功能对等与形式对等之间做出裁定,采取相应翻译策略。