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

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

拓扑分子格的弱分离公理

本文是文［１］的继续，我们以Ｑ－远域为工具，首先引入和研究了拓扑分子格的ＳＴｉ分离公理（ｉ＝－１，０，１，２，３，４）。其次我们引入了Ｓ－不定序同态和Ｓ－同胚序同态等概念，给出了它们的若干特征性质。最后我们得到了各种ＳＴｉ分离公理是Ｓ－同胚序同态下保持不变的性质。     

网的收敛与分离公理

用Ｍｏｏｒｅ－Ｓｍｉｔｈ收敛给出了一个拓扑空间分别是Ｔ０，Ｔ１，正则，正规空间的充要条件．     

一类理性化选择函数的展示偏好描述

研究了理性选择函数的展示偏好描述,通过定义局部严格展示偏好,给出了拟传递理性选择函数的展示偏好描述公理,并证明了该公理是选择函数拟传递理性的充要条件,将选择函数的展示偏好描述由完全理性推广到拟传递理性。     

代数结构与几何基础Ⅳ——仿射几何的公理体系

在公理化方法定义的几何中引进“平行”关系,然后把结合公理I;改成“平行公理”,我们就得到一种新的几何——仿射几何．本文将证明这种几何同构于某一体(域)上的n维仿射几何,若添加牍序公理,则这种几何同构于某一有序体(域)上的n维仿射几何,最后我们指出：三维仿射几何的结合公理、平行公理和顺序公理就是Hilben公理体系中的结合公理、平行公理和顺序公理。     

拓扑分子格的弱T*分离公理

利用强半开邻域引入和研究了拓扑分子格的弱Ti^*分离公理，这是Ti^*分离公理的推广(i=1，2，3，4)．     

不分明化拓扑中的几乎分离公理

在不分明化拓扑空间中，利用正则开集、R-邻域和δ-闭包等概念导入了AT0-，AT1-，AT2-，AT3-，AT4-分离公理，并且给出了这5个公理的等价命题以及它们的关系．     

关于一类不定方程有解的一般性结论

用模型论的方法证明了一类不定方程a1xr11 a2xr22 ... anxrnn=bys(其中a1,...,an,b为任意整数,r1,...,rn,s为任意正整数)有解.进一步地,我们用相同的方法解决了一个猜想.     

群体决策中k-偏差规则的排序法

提出了群体决策中的k-偏差规则,验证了其满足Arrow公理系中的四个公理并具备匿名性、中立性和非传递性等特征；为了排序,提出选择函数的概念,解决了不具备传递性的k-偏差规则的排序问题.     

“时空量子化”的关键：纠正数学课本一系列重大错误——证明实数轴有最小、大正数点推翻百年集论

破解“时空量子化”难题的关键：须知“点无大小”是初等几何最重大根本错误。近似计算常识凸显R轴相比下是极短直线段，R仅是实数全体的沧海一粟而远不够用，中学“R各点可与全部实数一一配对；…”等是一系列重大根本错误——微积分不能自圆其说的症结。揭示：否定无穷数使极限论的思想极其混乱；R轴由长为R的最小正数的点组成；各相应曲线是由充分短直线段连接成的；没空隙的y=x轴的区间D各点y=x都沿轴保序增距移动变为点y’=2x形成比D长的ZCy’=2x轴的原因只能是①D-Z各点都弹性变长了②或点与点之间都拉开了一段距离而使其所占据的空间变长了，使Z有许多空隙（各点可变大填补空隙；Z变回D是因…），否则就是点的保距变挟了；将大小不同的点或有空隙与无空隙的线混为一谈．就误以为DiZ而推出：Z的点能与其真子集的点一样多：有半径相等的两圆的点不可一一配对从而不≌更不可重合相等。