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.
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
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 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LW-9780265401842
Buy New
US$ 24.08
Shipping:
US$ 5.44
From United Kingdom to U.S.A.
Quantity: 15 available