网络数据库设计中的范式要求与网络要求

以《管理信息系统》数据库毕业设计为例，探讨了网络环境下数据库设计的范式要求和网络要求。     

BC范式的判定定理及关系的规范化方法

在函数依赖的范畴内对关系模型的规范化理论及其运用问题进行了探讨。首先证明了关于BC范式两个定义的等价性，然后提出关于BC范式的一个实用的判定定理并加以证明，最后系统地提出一整套实用的关系规范化的具体方法和步骤。这些研究有助于关系规范化理论的进一步完善及其学习和运用。     

关系数据库模式的研究

数据库模式会直接影响和决定数据的完整性、准确性和一致性。规范化理论为数据库的设计提供了理论指南和工具,在设计数据库时,必须结合应用环境和实际情况合理的选择数据库的规范模式,才能做到既消除数据冗余和操作异常,又减少额外开销。     

关系数据库的强简单范式

本文定义了一种新的关系数据库的范式—强简单范式。它严格强于简单花式和3.5范式,且与4NF互不包含,同时还给出了把一个关系模式分解为强简单范式,具有依赖保持性和无损连接的算法。     

关系数据库模式分解与信息完整性初探

关系数据库设计就是根据数据依赖关系对关系模式分解的规范化过程,在分解过程中会造成信息丢失 文章就规范化程度和信息完整程度之间的关系以及解决办法进行讨论     

关系模式的3.5范式

本文定义了一种新的范式-3.5范式,它介于简单范式和同时满足BCNF和W4NF的范式之间,且严格弱于4NF和强于3NF,故称为3.5范式.本文还给出了把一个关系模式分解成3.5范式,且保持函数相关性和关于函数相关性是无损连接的算法.     

关系数据库范式归属的证明

数据库系统的数据模型包括网状模型、层次模型和关系模型．关系数据库是以关系模型为基础的数据库．用关系来描述现实世界．对于一个关系模型，优劣性如何，依据其所属的范式．本文介绍如何证明高级范式归属于低级范式的方法．     

关系数据库中关系模式的规范化过程

关系数据库的设计主要是关系模式的设计,一个关系数据库由多少个关系模式构成,每个关系模式包括多少个属性都是很讲究的。而关系规范化理论研究的正是关系模式中各个属性之间的依赖关系及其对关系模式的影响,因而规范化成为设计关系模式的重要标准。本文介绍了几种不同级别的范式,并通过实例讲述如何分解关系模式使其满足高一级范式的规范化过程。     

关系模型规范化的有关理论与应用

在函数依赖的范畴内对关系模型的规范化理论及其运用问题进行了研究，证明了关于Boyce—Codd(BC)范式两个定义的等价性，提出了关于BC范式的一个实用的判定定理并加以证明．提出了一整套实用关系规范化的具体方法，有助于关系规范化理论的进一步完善及其学习和运用。     

大数据赋能的C2B个性化定制决策范式

从消费者的个性化偏好入手,借助红领集团C2B个性化定制模式创新案例,构建个性化产品与大众化产品市场竞争博弈模型,分析大数据赋能的C2B个性化定制模式下消费者与厂商的决策范式.结果表明:消费者个性化偏好是大数据赋能的C2B个性化定制的决策源点;随着个性化偏好的增大,消费者选择定制个性化产品,既能充分满足自身的个性化需求,...     

关系数据库中的范式定义问题研究

范式是数据库设计的规范化准则,利用范式理论设计关系模式能较好地满足用户需求且优化数据库性能。本文对关系数据库的规范化理论和四种范式做了简要介绍,并对范式定义和函数依赖关系进行了探讨。针对第二范式定义的不严密性,提出了修正的第二范式定义,进一步界定范式概念中函数依赖关系的范围。     

矩阵标准形的应用

探讨了矩阵标准形在高等代数理论中的若干应用 .     

运用复规范形法计算Hopf分岔系统的最简规范形

为简化最简规范形的求解过程，提出了一种应用复规范形理论计算Hopf分岔系统最简规范形的有效方法．建立了复坐标下Hopf分岔系统的规范形及非线性变换，以复数运算替代原有实数形式矩阵表示法的矩阵推导过程，获得了此类Hopf分岔系统的最简规范形，归纳出了这一非线性系统最简规范形系数的选择规律．通过算例验证了本方法对于简化传统规范形结果的有效性．     

利用初等变换化二次型为标准形

用矩阵的初等变换求非退化的线性替换，进而化二次型为标准形。     

非线性控制系统的Yokoyama型和最大能线性化子系统

本文对非线性控制系统提出一种新的标准型——Yokoyama 型.定义了三组指数,并用来研究非线性系统的反馈线性化条件和最大能线性化子系统的维数及其求法,其优点是整个计算过程能用递归算法完成.     

命题逻辑中主范式的求法

求主析取范式包括真值表法、推演法以及用真值表法求，G的主析取范式、用推演法求G的主合取范式等四种方法。用极小项的性质给出了真值表求法的证明，用公式相等的定义证明了求，G的主析取范式的定理。     

不经中心流形化简计算半单系统的最简规范形

为了在不经中心流形降维的情况下高效计算半单系统的最简规范形,基于矩阵表示法研究了半单系统的最简规范形．在系数矩阵的补算子空间上选取适当的近恒同变换代入原动力系统,求得含有低阶变换的传统规范形,通过逐次比较补算子空间上同阶项系数确定近恒同变换和系统最简规范形,利用符号运算语言Mathematica编制了计算半单系统最简规范形的通用程序,在不经过中心流形降维的情况下,可计算多种奇点类型的高维半单系统最简规范形,并给出了2个算例以证明该方法的有效性．     

一类特殊半拟齐次函数的正规型

利用文献[1]中给出的半拟齐次函数的性质证明了一类特殊半拟齐次函数的正规型，使得半拟齐次函数的分类更加简化。