Temporal Database And Temporal Reasoning About Knowledge And Realization

The Salary Intelligent Decision Support System (SIDSS) is developed under our cooperation with Personnel Department of Guangdong Province. Because data and knowledge in the system is time-varying, three technologies will take in our system. That's temporal database, Intelligent Decision Support, active database. Our system's underlying DBMS is relational DBMS, but we don't want to modify the structure and the algorithm of the DBMS, so we add some module between DBMS and code.It's the process of mapping the temporal conceptual model to the relational data model that we transform the four dimension temporal relationship into the two dimension snapshot relationship, and model the component and the time-varying relationship and attribute in the system.The underlying DBMS hasn't been changed, so we face some new question in the query language and data management, such as view, integral constraint, conflict. We propose some way by which we can query temporal data and manage temporal data.The rules and the methods is time-varying, so the knowledge database is temporal too. We add temporal gene in the process of temporal rule reasoning. We construct a rule system and propose the event-drived mechanism out the knowledge database and the time-drived mechanism in the knowledge database.The rules, methods, operations, events have temporal sequences in the SIDSS , so there are some temporal conflict. We propose the solve method that can arrange the proper sequence of rules, methods, operations, events.