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

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

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

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

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

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

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

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

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

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

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

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

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

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

移动数据库中支持车辆交通管理的时空模型

提出了一种用于有效管理交通,基于基本空间对象模型,紧密结合时间维的时空模型.针对当前大多数时空模型的局限性在于把复杂立体化的交通网络变成平面化的实体、导致网络分析效率不高的问题,以现有成熟的关系数据库为底层架构,采用自底向上的嵌套方式对移动对象(交通工具)和固定空间对象(交通网络、路标、区域等)进行建模,以及分层和栅格化处理交通网络的各个区域,有效地提高了时空查询和各种操作的效率.     

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

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

面向对象的客户机／服务器应用软件的开发平台—PowerBuilder

介绍了最新的客户机/服务器应用软件开发平台PowerBuilder，着重突出了其面向对象程序设计的特色及支持多数据库的能力。