Using Temporal Logic and Datalog to Query Databases Evolving in Time (Classic Reprint) - Hardcover

Alexander Tuzhilin

9780265401842: Using Temporal Logic and Datalog to Query Databases Evolving in Time (Classic Reprint)

Hardcover

ISBN 10: 0265401844 ISBN 13: 9780265401842

Publisher: Forgotten Books, 2022

View all copies of this ISBN edition

0 Used

2 New

From US$ 31.62

Explore how to query databases that evolve over time with clarity and power.

This scholarly work shows how temporal logic can be combined with Datalog to describe, reason about, and query data as it changes across time. It introduces dynamic semantics and inflationary semantics to handle evolving information, opening new ways to ensure meaningful results from time-sensitive data.

The book presents a unified view of the data model and query language, focusing on dynamic databases and two main types of Datalog programs: pure Datalog and negated Datalog with inflationary semantics. It explains how temporal queries can be translated into safe Datalog programs and why temporal logic often offers greater expressive power for dynamic data.

Learn how time is modeled with natural-number time points and how database states unfold in a sequence over time.
See how temporal operators relate to Datalog predicates and how to encode the order of data insertion to compute complex queries.
Understand safety and domain considerations, including how to handle finite versus infinite answers.
Discover concrete examples that connect temporal logic formulae to Datalog rules and dynamic query evaluation.

Ideal for readers of database theory, temporal data management, and researchers exploring time-aware query languages.

"synopsis" may belong to another edition of this title.