论文部分内容阅读
我们和广东省人事厅合作开发的工资智能决策支持系统(SIDSS),由于存在着大量的随时间变化的数据和知识,所以我们将其作为研究时态数据库和时态知识推理的一个应用系统,这个系统是一个将决策支持技术、主动数据库技术以及时态数据管理三种技术融合一体的系统,即是一个具有主动性的时态工资管理决策支持系统。由于底层采用的是关系数据库,但又要避免对底层DBMS的复杂数据结构或者算法做修改,所以我们采用在用户和数据库系统中添加一些中间功能模块的方法来建立一个时态数据库。 在将一个时态的概念模型映射至关系的数据模型的过程中,我们首先将一个四维的时态关系转化为一个二维的快照关系(即如何表达时间),再将SIDSS时态关系数据库的组件及随时间变化的关系和随时间变化的属性模型化。 由于底层的DBMS并没有改变,所以在用原有的查询语言系统和数据管理系统进行数据查询和数据管理的时候会遇到很多新的问题,如视图、完整性约束、now值的处理,冲突等等。针对这些问题我们初步提出了在SIDSS系统如何实现对时态数据的进行查询和管理的方法。 在SIDSS系统中存在的规则和方法同样具有时态性,所以我们在知识库中同样引进了时态的概念。如何在进行规则推理的过程中引入时间因子,我们对此作了一个初步的探索。并采用了产生式规则的表达方法构造了一个规则系统。同时对于知识库外我们提出了事件驱动,知识库内我们提出了时态驱动的设想。 在SIDSS中,规则之间、方法之间、事件之间、操作之间都存在着时态顺序,所以在SIDSS系统中存在着大量的时态冲突,我们针对在设计系统时将可能产生的冲突,对此提出相应的解决方案,使得事件之间和规则之间能在时间上协同起来。保证了系统流程的有序性,避免了二义性。