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

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

时间数据库（Tbase）的设计与实现

提出了在数据设计中时间数据库这一重要概念，应用这一概念，较好地实现了税收计划管理与分析系统。实践表明，设计方法是正确的。     

火炸药行业科研管理信息系统的设计方法

该文提出了应用ＦＯＸＢＡＳＥ语言编制《火炸药行业科研管理信息系统》的设计方法，该系统包括合同管理、经费管理、文档管理、成果管理等子系统，具有数据维护、数据检索、统计、计算、报表和各有关单位之间的数据传送等功能，使火炸药行业的科研管理初步实现了计算机化。     

ORACLE7与Foxpro联合开发异构分布式数据库

叙述了ＯＲＡＣＬＥ７和Ｆｏｘｐｒｏ联合开发分布式数据库的一种方法．利用ＯＤＢＣ作为其网关，给出了两者数据复制的算法思想和数据的安全性控制．该法既可保留原有Ｆｏｘ的应用系列，又可发挥大型数据库的功能．     

关系数据库通用管理模块设计与实现

针对不同结构、众多库文件组成的工艺装备数据库，采用了统一库结构的设计方法，实现了关系数据库通用模块设计，使系统具有较强的通用性和扩展性     

决策树算法的教育应用探讨

简单介绍了数据挖掘的概念和决策树算法技术，尤其是它所牵涉的信息论原理，并结合相关事例简要概述了决策树算法在教育层面上的应用．     

STN数据库收录宝鸡2006年研究成果统计报告

目的研究2006年宝鸡的研究成果分布情况。方法通过STNeasy数据库进行统计分析。结果2006年宝鸡有62项成果被STNeasy数据库收录,发明专利2项,学术论文54篇,但是有6篇论文同时被CA和INSPEC数据库收录。结论以理论研究为主,应用开发研究明显不足,合作意识和知识产权保护意识有待强化,需要政策导向引领产学研相结合,为宝鸡企业发展和经济腾飞提供技术支撑。     

利用生物信息学数据及工具合成表达链霉亲和素基因

目的:人工合成表达链霉亲和素基因,制备链霉亲和素磁珠复合物用于核酸分离.方法:利用NCBI、BCM等提供的生物信息及软件工具,将链霉亲和素蛋白的基因进行密码子优化,并分割成互为重叠的小片段寡聚核苷酸链,采用化学和酶促合成相结合的方法合成编码链霉亲和素蛋白基因.将纯化的链霉亲和素通过偶联剂与带羧基的磁粒共价结合,用于快速...     

《科技信息检索》教学新模式的研究

根据大学生信息素质教育的要求和发展趋势,就如何提高《科技信息检索》课程的教学效果,培养创新型人才,提出了改善性措施及对策,并就案例式、互动式教学和利用虚拟数据库等新的教学模式进行了探讨。     

与数据库相联的闪速熔炼平衡计算软件

在Ｓｈｉｍｐｏ－Ｇｏｔｏ模型的基础上，采用改进后的迭代计算方法，编制了一套与数据库联结的用于用多元多相平衡计算（如铜闪速熔炼）的计算程序。该算法对初值的适应性较好，计算速度快，收敛性较好，该程序具有较强的实用性，可自动完成有关热力学数据的检索与计算，并可根据物质生成自由能的大小自动赋给迭代计算的初值。