关系数据库中FD集的归并依赖集的性质

从讨论两个归并依赖之间的关系入手,给出了归并依赖集左部之间的嵌入关系,以及归并依赖集的若干性质。这在无环数据库模式分解时是有用的。     

整函数在级数求和中的应用

本文将整函数的理论应用于级数求和,推出了一个一般公式,解决了一类级数的求和问题。定理一:假设F(z)是一个半纯函数,z=O是F(z)的m阶零点,α_1,a_2,…a_n,…是F(z)的非零值零点,s是使sum from n=1 to ∞(1/(a_n~5))收敛的任一正整数,则:其中H(z)是一无零点的半纯函数;(1nH(a)~s与(1nF(a)~s都有意义。证明因为F(z)是一半纯函数,故有: F(z)=((F_1(z))/(F_2(z)))其中F_1(z)与F_2(z)为二整函数,且F_1(z)与F(z)同零点。由整函数中的C. Weierstrass定理:     

超越整函数的有限连通分支

设f是一个非常数的亚纯函数,f的迭代序列由f0=id,fl=f,…,fn 1,…确定,我们定义F=F(f)={z∈C:序列{fn}被定义,在是正规的}和J=J(f)=C-F(f),它们分别被称作Fatou集和Julia集,正规的概念按Montel意义.U是F(f)的一个有限连通分支.用解析函数理论的经典方法证明:对充分大的自然数n,fn(U)是一个2-连通分支.     

广义凸集的结构理论

对凸集概念作了进一步推广。首先定义了向量值函数F:K×K×[0,1]→R~n是K■R~n上的广义凸结构概念,并给出了广义凸结构的一个性质,进而定义关于广义凸结构F的凸集、近似凸集、弱凸集3种广义凸集概念,并给出这3种广义凸集等价刻划,证明了闭的关于F的弱凸集是关于F的凸集。     

FD集归并依赖集的左部联合集

基于左部联合集,给出了归并依赖集的左右部冲突的概念。同时讨论了对无内部冲突的FD集,归并依赖集的左右部冲突与无α环、3NF数据库模式分解的关系。     

FD集归前依赖集的左部联合集

基于左部联合集,给出了归并依赖集的左右部冲突的概念。同时讨论了对无内部冲突的ＦＤ集,归并依赖集的左右部冲突与无ａ环、３ＮＦ数据库模式分解的关系。     

关于维他利复盖定理

维他利(Vitali)复盖定理在实变函数的理论中具有极其重要的意义。在经典的实变函数教科书〔1〕和〔2〕中已有详细论述,但它们都限于勒贝格测度,本文对实轴上的点集把维他利复盖定理推广到连续的(?)测度。设E是实轴R,中任意点集,在R_1上定义了连续的正度量(?)〔2〕,则有如下定理。定理设E依照维他利的意义被一闭区间集M所复盖:即对于E中任意一点x及任意一个正数ε,M中有一闭区间i满足     

二部图λ_3最优性的一个原子条件

设G=(V,E)是有限简单无向图,U是G的一个边割,k是一正整数.若G-U的每个分支的阶至少为k,则称U为G的一个k阶限制边割.定义G的k阶限制边连通度λk(G)为G的k阶限制边割中最少的边数,达到最小的称为λk割.定义ξk(G)=min{(F):F是G的k阶连通子图},其中(F)表示恰好有一个端点在F上的边的数目.如果λk(G)=ξk(G),则称G是λk最优图.本文给出了二部图λ3最优性的一个原子条件.     

关于一类凸函数的闭包

有很大一类凸函数是由凸集取其“下部边界”生成的,即f:R~n→RU{-∞}U{=∞}定义为f(x)=inf{μ|(x,μ∈F},其中F 为R~(n+1)中的一个凸集。例如下确界卷积,由给定凸函数生成的正齐次凸函数,以及凸函数在线性变换下的象均为F 取某些特定集合时由上或所定义。但一般而言,F 不一定是f 的上图,故由clf 生成的函数不一定是f 的闭包。本文研究clf 与由clF 生成的函数间的关系。     

确定Fmin的一个算法

构造了一个求解最小函数依赖集Fmin的计算机算法．该算法将求解Fmin的逻辑推理过程包装在一个C 函数之中，通过运行与此函数相配套的程序，可以快速、准确地获得与所给函数依赖集F等价的Fmin从而使求解Fmin的过程方便、快捷．     

图是λ4-最优的一个充分条件

设G=(V,E)足有限简单无向图,U,是一个边割.若G-U的每个分支的阶至少是4,则称U为G的4阶限制边割.G的4阶限制边连通度λ4(G)是C的4阶限制边割之中最少的边数.对图G的一个子图F,令a(F)表示恰好有一个点在F上的边的数日,定义ξ4(G)=min{a(F):F是G的连通的导出子图,|F|=4}为F的4阶最小边度,用D,g,δ 分别表示G的直径,围长和最小度.本文证明了:如果|G|≥11,D≤g-6且δ≥3,那么λ4(G)=ξ4(G).     

关于Smarandache Ceil函数的均值问题

对任意正整数n,k≥2为给定整数,Smarandache Ceil函数S_k(n)定义为最小的正整数x,使得n|x~k,即S_k(n)=min{x∈N:n|x~k}.利用Smarandache Ceil函数的定义及解析方法,研究了Smarandache Ceil函数与素因子积函数U(n)的均值分布问题,并给出了(S_k(n)+U(n))~3的一个有趣的渐近公式.     

求关系模式所有最小基数候选关键字的一种多项式算法

本文深入分析了最小基数候选关键字在关系模式中的结构特征,提出了化简独立复合环、独立简单环、化简双部属性函数依赖图等概念.在此基础上,给出了求一个关系模式所有最小基数候选关键字集的多项式算法.     

基于类间依赖集约简的类簇测试用例生成算法

针对类簇中类间依赖关系以及类间消息交互产生的错误而导致测试冗余和测试遗漏的问题,提出一种类间依赖集约简的类簇测试用例生成算法。形式化定义了类间继承依赖、聚集依赖和关联依赖这3种依赖关系,建立类簇测试模型。定义类簇模式和用户(领域专家)解释集,并在用户解释集中依据每一个类对象的若干实例广义相等建立等价类,得出用户解释集幂集的1个子集即匹配划分集。据匹配消去算法求出类的最大匹配集,证明该集合就是所求类的最大非平凡非依赖集;提出一种交互差组合约简算法,计算类的最大非平凡非依赖集的补集,约简得到类的最小交叠集,并证明其就是类的最小非平凡依赖集,即类的组合测试用例;对其中每一个类的组合元素进行组合测试,并与其余类交互测试,得出类的交互测试序列。     

模糊值函数的积分及可积条件

模糊值函数是定义在实数集R上取值于E1(所有的模糊数的集合)中的模糊数的函数,模糊值函数的积分是模糊分析学的一个重要组成部分.若把所有的关于y轴对称的模糊数都定义为零模糊数,则两个相同的模糊数的差为零,利用ar- ar 这样一个数值来描述模糊数的序关系,就可以得到关于纵向对称的模糊数都是等同的.在新的序关系意义下引进模糊值函数的Riemann积分的概念,并证明了这种模糊积分可积的必要条件.     

函数依赖集投影的算法

给出了关系模式Ｒ的函数依赖集Ｆ在Ｒ的一个属性子集Ｕ上的投影的最小覆盖的算法,并证明了算法的正确性,而且给出了一个实现本算法的例子。     

非古典逻辑Kripke语义分析的一阶理论

设T(K)为二类狭谓演算下的具有下述非逻辑公理的形式理论: (1) (2) (3)文中在T(K)中定义一个K型公式类F(K),讨论了F(K)的性质,并作出K型命题联结词的定义,进而讨论K型命题演算与K型模态演算。本文主要结果有: (1)若,则 (2)若,则或 (3)若,则且 (4)若则     

关于多维无穷可分分布的Lebesgue分解

§1.导言根据著名的Lebesgue分解定理,任一R~1上的有界非降函数F(x)均可唯一地分解为F(x)=F_1(x) F_2(x) F_3(x)。(1.1)其中F_1(x)是一个阶梯函数,F_2(x)是一个奇异連續函数,F_3(x)是一个絕对連續函数,它們都是R~1上的有界非降函数,分別叫做F(x)的离散部分,奇异連續部分和絕对連續部分。Lebesgue分解在概率論中有着重要意义。最近我們对R~n(n≥2)上的有界非降函数F(X)的Lebesgue分解问題进行了探討,获得了一些成果。为了方便,我們仅对R~2的情形陈述結果。不难看出,相应的成果可进一步推     

关于半同胚和半拓扑性质的一点注记

本文的结果是:若f:(X,τ)→(Y,σ)是半同胚,且U∈F(L),则f|U:(U,τ|U)→(f(U),σ|f(U))是半同胚。而且文[1]中的定理2.14和推论2.2均为本文推论2的特例。     

概率度量空间中映射不动点

本文将 M-PM-空间中单值、集值映射不动点条件不等式右端要求推广为关于 F_(x,y)(t/k),F_(x,f(x))(t/k),F_(y,f(y))(t/k)的一般函数。笔者主要讨论集值映射不动点,单值映射有关不动点定理可由其直接推论。