Title : 
Relational Temporal Machines
         
        
            Author : 
Bidoit, Nicole ; Hantry, François
         
        
            Author_Institution : 
Univ. Paris-Sud, Orsay
         
        
        
        
        
        
            Abstract : 
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 one- tape 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.
         
        
            Keywords : 
query languages; query processing; relational databases; temporal databases; T-WHILE; TS-WHILE; generic temporal querying; relational temporal machines; temporal query languages; Application software; Computational modeling; Database languages; Length measurement; Logic; Polynomials; Registers; Relational databases; Streaming media; Turing machines;
         
        
        
        
            Conference_Titel : 
Temporal Representation and Reasoning, 14th International Symposium on
         
        
            Conference_Location : 
Alicante
         
        
        
            Print_ISBN : 
978-0-7695-2836-6
         
        
        
            DOI : 
10.1109/TIME.2007.58