Temporal Deductive Databese: The Model and Query Language
时态演绎数据库—模型与查询语言

The temporal deductive database model--TedDM is developed from a deductive database model by applying temporal reasoning method (T-resolution),to delineate the deductive mechanism. The query language called TedSQL,which is a superset of SQL,is proposed to retrieve imformation from temporal relations. TedSQL also provides the temporal reasoning capabilities for deductive mechanism,The design for TedDBMS,a temporal deductive database management system, is made. It is going to be carried out on the deductive database system LIDBS 3. 0.