• DocumentCode
    279741
  • 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
  • fYear
    1990
  • fDate
    32904
  • Firstpage
    42461
  • Lastpage
    42464
  • 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;
  • fLanguage
    English
  • Publisher
    iet
  • Conference_Titel
    Temporal Reasoning, IEE Colloquium on
  • Conference_Location
    London
  • Type

    conf

  • Filename
    189771
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=279741