【摘 要】
：
该文从关系型数据库的实例的分析出发,用泛代数及代数逻辑的理论证明了如下定理:任何一个关系型数据库都是某个概型下关于数据库复形ゅ=(D,∈Γ)的多种类代数(F,U,R).其中,UD
论文部分内容阅读
该文从关系型数据库的实例的分析出发,用泛代数及代数逻辑的理论证明了如下定理:任何一个关系型数据库都是某个概型下关于数据库复形ゅ=(D<,i>,∈Γ)的多种类代数(F,U,R).其中,UD<,i>为数据的集合,概型包括被映射n:X→Γ分类的变量的集合X,关系符 号的集合Φ,及变量类型的集合Γ,即定义域的名称集,而且(1)F是状态集,即所有中Φ的状态的集合,且F构成一个Boolean代数;(2)U是询问集,是一个Halmos代数;(3)R是回答集,也是一个Halmos代数;(4)(F,U,R)有一个二元远算*:F×U→R,使得f∈F,u∈U,f*u是 询问u在状态f下的一个问答.
其他文献
该文主要讨论了长方形Sierpinski地毯和Sierpinski地毯和Hausdorff测度.利用它 们的自相似结构和质量分布原理,完全确定了其Hausdorff测度的准确值.所获结果包含和 推广了已
在这篇论文中,作者围绕Hayashi的R-矩阵的不同形式,研究了辫子双代数与其对偶双代数,量子群与Hecke代数间的关系.首先,考虑了具有(n-1)个参数的特殊的Hayashi的R-矩阵,作者构
非线性共轭梯度法是一类求解无约束优化问题的重要方法。它具有计算速度快、存储小、迭代简单和容易编程等特点，非常适合于求解大规模优化问题。然而，已有的许多共轭梯度法中，一
该文利用复射影空间中标准Hopf纤维化,讨论了CP n+p-1/2中的n-1维紧致一般极小 子流形的一类Schrodinger算子的第一特征值,得到了它的一个上界的估计.
许多工程问题都归结为求解大型偏微分方程问题,计算区域多数是大范围的且形态比较复杂,解这类问题的区域分解算法愈来愈受到人们的重视.交替Schwarz算法和子结构算法是两种常
该文是在NOBUYUKI KEMOTO 1993年所作的关于一个GO-空间(广义线性序空间)和一个正则不可数基数乘积正规性的结果的基础上,做了进一步的推广得到了关于两个GO-空间乘积正规
由于磁弹性理论所研究的问题具有非常显著的耦合效应，将在能源、交通、国防等方面有着广泛的应用前景。因此对其相关理论的研究具有非常重要的意义。目前，国内外学者对机械载荷
该文在整理,归纳有关分数微分方程问题文献的基础上,研究了若干非线性分数微分方程问题,获得了一些存在性结果.
零因子对环和代数结构有很大影响,通过零因子来研究环和代数的结构和性质是研究与代数的一种重要方法.例如:有穷无零因子环是域;域F上的有限维无零因子代数为体. 若F为有限域