Items related to Using Temporal Logic and Datalog to Query Databases...
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.
"synopsis" may belong to another edition of this title.
- PublisherForgotten Books
- Publication date2018
- ISBN 10 0265401844
- ISBN 13 9780265401842
- BindingHardcover
- LanguageEnglish
- Number of pages33
Other Popular Editions of the Same Title
Search results for Using Temporal Logic and Datalog to Query Databases...
Stock Image
Using Temporal Logic and Datalog to Query Databases Evolving in Time (Classic Reprint)
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LW-9780265401842
Quantity: 15 available
Stock Image
Using Temporal Logic and Datalog to Query Databases Evolving in Time (Classic Reprint)
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LW-9780265401842
Quantity: 15 available
Seller Image
Tuzhilin, A: Using Temporal Logic and Datalog to Query Datab
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. 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
Quantity: Over 20 available