Relational Temporal Machines
Alicante（2007）
摘要
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.
更多查看译文
关键词
general abstract model,complexity criterion,ts-while extension,temporal query language,rtm device,relational temporal machine,generic temporal querying,extended onetape rtms,relational temporal machines,one-tape rtms,length measurement,polynomials,relational databases,computational modeling,database languages,application software,temporal databases,query languages,turing machines,logic,registers
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要