Using Temporal Logic And Datalog To Query Databases Evolving In Time Classic Reprint

Excerpt from Using Temporal Logic and Datalog to Query Databases Evolving in Time In this paper, we study a query language about databases evolving in (infinite) time. The syntax of the query language is based on a predicate temporal logic. The semantics of the language is defined with infinite sequences of database states, which in this paper are determined either by pure Datalog programs or by negated Datalog programs with inflationary semantics. In general, other mechanisms for defining the semantics, such as production systems, can be used. We analyze the relative expressive power of such a query language and the standard Datalog queries for both pure and negated Datalog programs. We show that our query language has more expressive power than Datalog queries for both pure and negated Datalog programs in general. However, we also prove a surprising technical result that the existential fragment of temporal logic has the same expressive power as Datalog queries for negated Datalog programs with inflationary semantics. This result implies the collapse of the existential fragment of temporal logic for such programs: any temporal logic formula from that fragment can be reduced to an equivalent formula with a single possibility operator. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.

This book explores the use of temporal logic and datalog to effectively query databases that are constantly evolving in time. With clear examples and practical applications, this book is a must-read for anyone interested in database management and the intersection of logic and computer science. This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work is in the "public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.

This is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the original artifact, or were introduced by the scanning process. We believe this work is culturally important, and despite the imperfections, have elected to bring it back into print as part of our continuing commitment to the preservation of printed works worldwide. We appreciate your understanding of the imperfections in the preservation process, and hope you enjoy this valuable book.

Time is ubiquitous in information systems. Almost every enterprise faces the problem of its data becoming out of date. However, such data is often valu able, so it should be archived and some means to access it should be provided. Also, some data may be inherently historical, e.g., medical, cadastral, or ju dicial records. Temporal databases provide a uniform and systematic way of dealing with historical data. Many languages have been proposed for tem poral databases, among others temporal logic. Temporal logic combines ab stract, formal semantics with the amenability to efficient implementation. This chapter shows how temporal logic can be used in temporal database applica tions. Rather than presenting new results, we report on recent developments and survey the field in a systematic way using a unified formal framework [GHR94; Ch094]. The handbook [GHR94] is a comprehensive reference on mathematical foundations of temporal logic. In this chapter we study how temporal logic is used as a query and integrity constraint language. Consequently, model-theoretic notions, particularly for mula satisfaction, are of primary interest. Axiomatic systems and proof meth ods for temporal logic [GHR94] have found so far relatively few applications in the context of information systems. Moreover, one needs to bear in mind that for the standard linearly-ordered time domains temporal logic is not re cursively axiomatizable [GHR94]' so recursive axiomatizations are by necessity incomplete.

Organized into four parts: extensions to the relational data model, other data models, implementation, and general language and other issues in temporal databases. Each part gives an introduction to research in the area. Authors discuss topics of current interest and the results of their recent research. Many examples and figures. Contains a glossary of concepts and an extensive bibliography. No index. Annotation copyright by Book News, Inc., Portland, OR

This is an introductory text to the science of neurobiology, describing animal nervous systems, what they consist of, how they work, and how they are studied. Unlike many other neurobiology texts, considerable discussion is given to both human and non-human nervous systems. Written in an easy-to-read style, it will be useful for both biology and medical students. It provides the opportunity for self-testing at the end of each chapter, with objectives and questions. A CD-ROM entitled 'The Human Brain' (ISBN 3-540-14666-0) has been produced to accompany this text, and can be purchased either separately or together with the book (ISBN 3-540-63778-8).

Whether you're a database designer, programmer, analyst, or manager, you've probably encountered some of the challenges-and experienced some of the frustrations-associated with time-varying data. Where do you turn to fix the problem and see that it doesn't happen again? In Developing Time-Oriented Database Applications in SQL, a leading SQL researcher teaches you effective techniques for designing and building database applications that must integrate past and current data. Written to meet a pervasive, enduring need, this book will be indispensible if you happen to be part of the flurry of activity leading up to Y2K. The enclosed CD-ROM contains all of the code fragments-implemented for Oracle8 Server, IBM DB2 Universal Database, Microsoft SQL Server, and other systems-and evaluation copies of the programs discussed in the book. * Offers incisive advice on recording temporal data using SQL data types, defining appropriate integrity constraints, updating temporal tables, and querying temporal tables with interactive and embedded SQL. * Provides case studies detailing real-world problems and solutions in areas such as event data, state-based data, partitioned data, and audit logs. * Contains over 400 code fragments with detailed explanations.

Covers the important requirements of teaching databases with a modular and progressive perspective. This book can be used for a full course (or pair of courses), but its first half can be profitably used for a shorter course.