约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

分布式数据库死锁检测协议

为解决分布式数据中,由于文件加锁的冲突而引起死锁的问题。这类死锁产生的充要条件是在它的请求图中有一有向回路,本文中提出了两个死锁检测协议。协议1适用于一般分布式数据库,它只要求进行一次通讯,且只要求传送一个表的信息;协议2 是针对巨型系统的,是一个层次协议。     

群上的扫除原理和第二最大值原理

一、定义和符号 设G是局部紧緻Abel群,并设G是Hausdorff空间;ω_G表示G上的Haar测度;G的对偶空间记为Γ,ω_G在Γ上所对偶的Haar测度记为ω_Γ. 设(μt)_1>0是G上的一个对称测度卷积半群,且κ=∫_0~( ∞)μtdt存在(即{μ|t>0}     

改进的空值环境下扩展关系模型及其基本运算

用集合论的方法定义一个空值环境下的改进扩展关系模型及其基本运算，改进了文［１］的扩展关系模型．     

群上的能量有限测度空间的完备化

一、引言 1950年,Deny,J.解决了R~P空间中以Riesz核为核的能量有限测度空间ε_α的完备化问题。此后,他对Dirichlet空间也证明了类似结果。 若将R~P空间看做局部紧阿贝尔群(以后简记为LCA群)的特例,由[6]和[7]可     

关系模式的3.5范式

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

局部紧阿贝尔群上的势位论和一种推广的广义函数

本文中引进LCA群上的一种广义函数和它的Fourier变换,并把它们应用到LCA群上的势位论,从而解决了LCA群上能量有限复测度空间的完备化问题。同时给出势位核是正规的定义,证明它是弱于Deny,J在文章“Les potentielsd’energie finie”。所提出的条件(A)。对正规的势位核,作者得出了一系列结果:每一能量有限广义函数的势位均为一绝对连续的测度;第二最大值原理成立;紧集上的扫除原理成立。     

关系数据库的强简单范式

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

空值环境下关系模式无损连接分解为(N)BCNF的必要条件和算法

对文献「１」提出的空值环境下关系模式无损连接分解为（Ｎ）ＢＣＮＦ的必要条件，给出二个反例，证明它是不正确的，并分别从关系模式的函数依赖集Ｆ的最小依赖集Ｆ科教 包Ｆ出发，重新给出二个必要条件，另外，还给出二个空值环境下关系模式无损连接分解为（Ｎ）ＢＣＮＦ的算法，这二种算法均是进行二叉树搜索物算法，每次分解均是对非（Ｎ）ＢＣＮＦ的子式进行一分为二且无损连接的分解，由一个父结点得到二个子结点，若可能，就