A logical reconstruction of temporal databases
Marcelo Finger
Abstract
Marcelo Finger
Abstract
Journal Article A logical reconstruction of temporal databases Get access M Finger M Finger Departamento de Ciência da Computação, Instituto de Matemática e Estatística, Universidade de São Paulo, Sao Paulo, Brazil E-mail: mfinger@ime.usp.br Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 10, Issue 6, December 2000, Pages 847–876, https://doi.org/10.1093/logcom/10.6.847 Published: 01 December 2000
OpenAlex reports 6 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Journal Article A logical reconstruction of temporal databases Get access M Finger M Finger Departamento de Ciência da Computação, Instituto de Matemática e Estatística, Universidade de São Paulo, Sao Paulo, Brazil E-mail: mfinger@ime.usp.br Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 10, Issue 6, December 2000, Pages 847–876, https://doi.org/10.1093/logcom/10.6.847 Published: 01 December 2000
Key concepts: Temporal database, Computer science, Temporal logic, Temporal logic of actions, Interval temporal logic, Spatiotemporal database, Extension (predicate logic), Representation (politics)