Alexander Tuzhilin eBooks
eBooks di Alexander Tuzhilin
Using Temporal Logic and Datalog to Query Databases Evolving in Time. E-book. Formato PDF
Alexander Tuzhilin
edizioni Forgotten Books collana , 2017
In this paper, we study a query language about databases evolving in (infinite) time. The syntax of the query language is based on a predicate temporal logic. The semantics of the language is defined with infinite sequences of database states, which in this paper are determined either by pure Datalog programs or by...