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...
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LW-9780265401842
Quantity: 15 available
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LW-9780265401842
Quantity: 15 available