数据依赖的语义分析

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

XML局部函数依赖

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

基于语义的XML模式到关系范式的转换算法

通过XML键与函数依赖之问的关系。提出了一种新的基于XML键的从XML模式到关系范式的转换算法。该算法先得到泛关系,再将XML键转换为简化函数依赖,最后保持函数依赖的把泛关系分解为关系范式,并且该关系范式保存了XML的语义约束信息。     

函数概念:基于历史相似性自然过渡

函数概念的演进历史,为高中函数概念教学实现从旧的"变量说"定义到新的"对应说"定义的自然过渡,提供了重要参考。考察函数概念的发展历史,在教学中重构式地呈现函数概念的"解析式—变量依赖关系—变量对应关系—集合对应关系"的发展过程;复制式地呈现欧拉的解析式定义与依赖关系定义、德摩根的解析式定义以及狄利克雷的变量对应关系定义;顺应式地将狄利克雷函数作为概念辨析的例子。课后反馈表明,这样的教学激发了学生的学习动机,促进了学生对函数概念本质更深入地理解和应用。     

如何确定函数解析式

构造函数解析式是初中数学解题的一种有效方法,本文讨论了构造函数解析式的几种方法,利用待定系数法确定函数解析式,根据实际情况确定函数解析式,利用几何图形性质确定函数解析式,通过数形结合来分析、计算,确定量与量之间的关系,从而建立函数关系,解决数学问题。     

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

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

“没的(得)说”的语义及其历史演变研究

“没的(得)说”经历了词汇化、语法化和构式化过程,演变很复杂.具有[+不说]语义特征的“没的(得)说”首先词汇化成“肯定”义的形容词,语义再进一步虚化和引申,演化成了话语标记词和具有强主观性“高程度”义的典型构式.“没的(得)说”结构式的语义从“否定”到“肯定”再到“高程度”,语义的推导越来越不依赖组成成分,语义变得越来越不透明,构式的构式化程度也越高.     

浅析交际式翻译和语文式翻译的功能

作者提出了交际式和语义式两种翻译方法，从作品的风格和读者的需求两方面来分析论证，并得出结论，交际式翻译比语义式翻译更加可行、实用。     

《反比例函数的意义》教学设计

教学目标1．知识与技能理解反比例函数的意义;根据已知条件确定反比例函数的解析式。2．过程与方法学生经历从实际问题中抽象出反比例函数模型的过程,体会反比例函数来源于实际问题;发展学生的抽象思维能力,提高数学化意识。     

《世说新语》“以”字处置式研究

文章从句法结构和语义类型对《世说新语’中的“以”字处置式进行了分类分析,确定了其中的93例“以”字处置式为早期的广义处置式,它们表处置（给）、处置（告）、处置（作）、处王（到）等语义。从而为“以”字结构能表处置提供了进一步的佐证。