Relational Temporal Machine

Nicole Bidoit (1) , François Hantry (2)

1 LRI - Laboratoire de Recherche en Informatique
2 BD - Base de Données

The paper introduces and investigates relational temporal machine (RTM) as a general abstract model for generic temporal querying. The RTM devices subsume most temporal query languages that have emerged in the literature. A first contribution of the paper is to provide two simplified forms for our machines, namely extended onetape RTMs and one-tape RTMs. Another contribution is to establish connections between RTMs and the T-WHILE and TS-WHILE extensions of FO based on complexity criteria

Domaines: Informatique [cs]

Nicole Bidoit, François Hantry. Relational Temporal Machine. 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), Jun 2007, Alicant, Spain. pp.23-34, ⟨10.1109/TIME.2007.58⟩. ⟨hal-01507071⟩