Tuzhilin, A: Using Temporal Logic and Datalog to Query Datab

Tuzhilin, Alexander

ISBN 10: 0265401844 ISBN 13: 9780265401842

Published by Forgotten Books, 2017

New Gebunden

From moluna, Greven, Germany Seller rating 4 out of 5 stars

AbeBooks Seller since July 9, 2020

This specific item is no longer available.

View this seller's items Create a Want for similar items

View all copies of this book

About this Item

KlappentextrnrnExcerpt from Using Temporal Logic and Datalog to Query Databases Evolving in TimeIn this paper, we study a query language about databases evolving in (infinite) time. The syntax of the query language is based on a predicat. Seller Inventory # 2144203014

Report this item

Synopsis:

This book presents a novel query language that draws from first-order temporal logic and Datalog, implemented and analyzed within a framework of ever-changing databases. The author integrates these concepts into a unified theoretical approach to database theory, extending conventional theories to encompass queries expressed in the language of first-order temporal logic. The book delves deeply into the relative expressive powers of temporal logic queries and Datalog queries for both pure and negated Datalog applications with inary semantics, illustrating the advantages of temporal logic and Datalog queries over conventional database theory and demonstrating the unique insights offered by these languages.

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

Bibliographic Details

Title: Tuzhilin, A: Using Temporal Logic and ...
Publisher: Forgotten Books
Publication Date: 2017
Binding: Gebunden
Condition: New