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

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

试论人类与环境关系的演变

该文从环境哲学的高度,并从科学技术的发展和应用对人类与环境关系的影响和作用的视角出发,首先分析了人类与环境关系的基本内涵及人类与环境之间所结合成的动态系统,最后,主要对人类与环境的关系历史演变的主要阶段及未来趋势进行了探讨.     

论科学发展观的现实意义及实践途径

党的十六届三中全会提出“坚持统筹兼顾，坚持以人为本，树立全面、协调、可持续的发展观”，这种坚持统筹兼顾，坚持以人为本，树立全面、协调、可持续的发展观就是科学的发展观。科学发展观的提出具有重大的现实意义。树立和落实科学发展观既是一个重大的理论课题，又是一项艰巨的实践任务，它直接关系党和国家工作的大局，关系中国特色社会主义事业的长远发展。     

销售技术带来“合作关系”

2003年6月，通过公开竞标，成都市一安检公司与中国石油天然气股份有限公司成都销售分公司签订了技术服务合同，对该公司设在全市各区、县的加油站进行电气防火安全检测服务。合同签订后，安检公司组织了两支检测队伍，历时二十余天，检测了近100家加油站，出具了相应的检测报告。从企业履行合同的角度考虑，安检公司的工作已经基本完成了，但考虑到近100份的报告，     

利用分段求积法求梁的转角和挠度

依据弯矩、转角、挠度三者间的微分关系，采取先求各分段点转角、挠度值，再进行分段求积法直观、清晰地求解梁的转角和挠度的方法。     

里氏硬度与洛氏硬度的数值关系

以35钢、T8钢为试验材料，探讨了里氏硬度HLD和洛氏硬度HRC之间的数值关系，用MATLAB工具给出了具体的回归分析曲线拟合关系式。     

一个快速求解哈斯图的算法

在理论证明的基础上，给出了一个哈斯图求解的算法。该算法可直接应用关系图方便、快捷地求取其盖住关系，进而得到哈斯图，从而完善了有关哈斯图求解的理论及算法。     

四符号动力学星花积的压缩特性

在四符号动力学星花积中，第2个符号序列的可选集合可从压缩的角度扩充至整个四符号空间，包括该空间中的点，线，面。