Logics for Databases and Information Systems

Logics for Databases and Information Systems
Author :
Publisher : Springer Science & Business Media
Total Pages : 442
Release :
ISBN-10 : 9781461556435
ISBN-13 : 1461556430
Rating : 4/5 (430 Downloads)

Book Synopsis Logics for Databases and Information Systems by : Jan Chomicki

Download or read book Logics for Databases and Information Systems written by Jan Chomicki and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 442 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Logics for Databases and Information Systems Related Books

Logics for Databases and Information Systems
Language: en
Pages: 442
Authors: Jan Chomicki
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

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
Logics for Databases and Information Systems
Language: en
Pages: 456
Authors: Jan Chomicki
Categories: Computers
Type: BOOK - Published: 1998-03-31 - Publisher: Springer Science & Business Media

GET EBOOK

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
Logic and Databases
Language: en
Pages: 461
Authors: C. J. Date
Categories: Computers
Type: BOOK - Published: 2007 - Publisher: Trafford Publishing

GET EBOOK

Logic and databases are inextricably intertwined. The relational model in particular is essentially just elementary predicate logic, tailored to fit the needs o
Logics for Emerging Applications of Databases
Language: en
Pages: 375
Authors: Jan Chomicki
Categories: Computers
Type: BOOK - Published: 2011-06-28 - Publisher: Springer Science & Business Media

GET EBOOK

In this era of heterogeneous and distributed data sources, ranging from semistructured documents to knowledge about coordination processes or workflows, logic p
Logic Programming and Databases
Language: en
Pages: 295
Authors: Stefano Ceri
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

The topic of logic programming and databases. has gained in creasing interest in recent years. Several events have marked the rapid evolution of this field: the