Title :
TEMPORA: a temporal database transaction system
Author :
McBrien, P.J. ; Owens, R.P. ; Gabbay, D.M. ; Niezette, M. ; Wolper, P.
Author_Institution :
Dept. of Comput. Imperial Coll. of Sci. Technol. & Med., London, UK
Abstract :
TEMPORA is an ESPRIT project which aims to integrate rule-based systems database technology and temporal reasoning to produce effective software for information systems. As part of this project, a temporal database transaction system, is being developed. This is based on earlier work on executable temporal logic systems. This report describes the syntax and semantics of the temporal language which is being used in the prototype implementation of TEMPORA, together with an informal description of the execution mechanism employed
Keywords :
database management systems; formal logic; knowledge based systems; research initiatives; ESPRIT project; TEMPORA; rule-based systems; semantics; syntax; temporal database transaction system; temporal logic; temporal reasoning;
Conference_Titel :
Temporal Reasoning, IEE Colloquium on
Conference_Location :
London
