Tempora. A temporal database transaction system

P. J. McBrien; R. P. Owens; D. M. Gabbay; M. Niezette; P. Wolper

Tempora. A temporal database transaction system

P. J. McBrien, R. P. Owens, D. M. Gabbay, M. Niezette, P. Wolper

Imperial College London

Research output: Contribution to journal › Conference article › peer-review

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, we are developing a temporal database transaction system. This is based on our 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 we intend to employ.

Original language	English
Pages (from-to)	4/1-4/4
Journal	IEE Colloquium (Digest)
Issue number	24
State	Published - 1990
Externally published	Yes
Event	Colloquium on Temporal Reasoning - London, Engl Duration: 31 Jan 1990 → 31 Jan 1990

Cite this

@article{d5926f277e1e4d25953f4c2efee565bb,

title = "Tempora. A temporal database transaction system",

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, we are developing a temporal database transaction system. This is based on our 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 we intend to employ.",

author = "McBrien, {P. J.} and Owens, {R. P.} and Gabbay, {D. M.} and M. Niezette and P. Wolper",

year = "1990",

language = "אנגלית",

pages = "4/1--4/4",

journal = "IEE Colloquium (Digest)",

issn = "0963-3308",

publisher = "Institute of Electrical Engineers",

number = "24",

note = "Colloquium on Temporal Reasoning ; Conference date: 31-01-1990 Through 31-01-1990",

}

TY - JOUR

T1 - Tempora. A temporal database transaction system

AU - McBrien, P. J.

AU - Owens, R. P.

AU - Gabbay, D. M.

AU - Niezette, M.

AU - Wolper, P.

PY - 1990

Y1 - 1990

N2 - 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, we are developing a temporal database transaction system. This is based on our 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 we intend to employ.

AB - 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, we are developing a temporal database transaction system. This is based on our 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 we intend to employ.

UR - http://www.scopus.com/inward/record.url?scp=0025543598&partnerID=8YFLogxK

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???

AN - SCOPUS:0025543598

SN - 0963-3308

SP - 4/1-4/4

JO - IEE Colloquium (Digest)

JF - IEE Colloquium (Digest)

IS - 24

T2 - Colloquium on Temporal Reasoning

Y2 - 31 January 1990 through 31 January 1990

ER -

Tempora. A temporal database transaction system

Abstract

Other files and links

Fingerprint

Cite this