部分赋值一阶逻辑公式的条件求值——NP完全性及在特定情况下的求解

部分赋值的一阶逻辑公式的条件求值问题是在关系数据库应用，尤其是在分布式环境下应用中经常遇到的问题．此问题在一般意义下的解是NP完全的．本文首先证明此问题的解存在的充要条件，从而推知其NP完全性．然后给出该问题在一种特定情况下的求解方法。     

基于后关系数据库的“时空数据库”模式研究

时空数据库技术的研究,是"数字城市"信息共享领域中极其重要的基础性研究,本文通过分析比较现有空间数据库建设模式的优劣,提出一种基于"后关系数据库"的"时空数据库"新模式,并进行了实验验证。     

模型库管理系统的开发研究

在分析智能决策支持系统（Intelligent Decision Support System,IDSS）的基础上,分析了模型库管理系统的总体结构、运行原理和关键技术实现等。结合关系数据库技术,研究模型创建显示和存储的层次化结构,并实现模型的入库存储与管理。结果表明,按层次结构实现模型的分类入库存储,易于模型存储的扩展,用层次编号创建模型目录树的方法,层次清晰。该系统具有较好的可扩充性,能为从事IDSS系统开发的技术人员提供参考。     

MIS系统中权限管理的数据库设计新思路

在MIS系统中利用标识码实现了权限管理的数据库设计,对在MIS系统权限管理过程中产生的问题作了解析,针对权限列表有非独立性的弊端提出了利用素数进行解决的方案.     

数据库中关系代数除法运算的教学研究

关系代数中的除法运算是数据库课程中的难点问题。文章从关系代数除法运算的定义出发,以实例为牵引,通过类比整数的除法运算,阐明关系代数除法运算的本质,给出除法运算的基本运算表达方法并用SQL语句实现,突破除法运算的难点,以期取得较好的教学效果。     

一种数据自动转化软件的构思与设计

针对实际工作环境中数据文件格式繁多,结构与标准不统一,与既定数据库之间互转化难的问题,提出了一种通用的、新型的结构化数据与关系数据库互转化的思路,并从理论和结构上对该思路进行了构思与设计,形成了一套新的能够支持多种文件格式的结构化数据文件到指定关系数据库的全自动互转化软件系统,并利用软件复用等思想和技术在当前已有的可靠工程组件基础上,以Java Web开发技术对模块进行了初步实现,取得了较好的预期效果,为今后解决类似异样数据互转化问题提供了思路和途径,在工程实现上也具有一定参考与借鉴价值。     

企业实时数据库数据采集系统的设计

中石化股份有限公司天津分公司采用Infoplus.21实时数据库,标准OPC通信接口,完成了67套装置数据采集,建立了企业生产数据库。结合企业管理需要,开发了企业实时数据库数据采集系统,同时开发了灵活趋势图分析、自定义管理报表等功能,提高了装置仪表自投率。该系统弥补了装置数据的信息断层,将分散的信息资源集成起来,尤其是将管理系统和控制系统的信息有机结合,形成了真正意义上的公司实时生产信息系统管理系统。通过装置总貌图、工艺简图等不同形式的组合,利用趋势分析工具,了解装置生产过程的性能随过程状态的变化情况,为生产平稳运行提供了有力支撑。     

用时态数据库思想设计组织结构表

在关系数据库中设计的组织表结构，当进行组织改名、迁移等具有时态特征的操作时，会产生数据丢失、新旧数据割裂现象。为避免此类问题的发生，引用了时态数据库的设计思想。把有效时间演进成时态组织ID，为一个组织赋予实体组织ID和时态组织ID。通过实体组织ID和时态组织ID记录一个实体的变化过程，避免了数据丢失、新旧数据割裂现象的发生。     

iFIX组态软件在污水处理控制系统中的应用

介绍组态软件iFIX在污水控制系统中的应用,提出了系统进行组态过程中的两个主要技术问题,iFIX和关系数据库的通信以及日报表的生成,并给出解决方法。