Skip to main content
SpringerLink
Log in
Book cover

Logics for Databases and Information Systems

  • Book
  • © 1998

Overview

Editors:
  1. Jan Chomicki

    1. Monmouth University, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gunter Saake

    1. University of Magdeburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: The Springer International Series in Engineering and Computer Science (SECS, volume 436)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 chapters)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Introduction to Logics for Databases and Information Systems

    • Jan Chomicki, Gunter Saake
    Pages 1-4

  3. A Logic Primer

    • Stefan Conrad
    Pages 5-30

  4. Temporal Logic in Information Systems

    • Jan Chomicki, David Toman
    Pages 31-70

  5. The Role of Deontic Logic in the Specification of Information Systems

    • J.-J. Ch. Meyer, R. J. Wieringa, F. P. M. Dignum
    Pages 71-115

  6. A Logic for Programming Database Transactions

    • Anthony J. Bonner, Michael Kifer
    Pages 117-166

  7. Logics for Specifying Concurrent Information Systems

    • Hans-Dieter Ehrich, Carlos Caleiro, Amilcar Sernadas, Grit Denker
    Pages 167-198

  8. Evolving Logical Specification in Information Systems

    • Stefan Conrad, Jaime Ramos, Gunter Saake, Cristina Sernadas
    Pages 199-228

  9. Description Logics for Conceptual Data Modeling

    • Diego Calvanese, Maurizio Lenzerini, Daniele Nardi
    Pages 229-263

  10. Integrity Constraints: Semantics and Applications

    • Parke Godfrey, John Grant, Jarek Gryz, Jack Minker
    Pages 265-306

  11. Logical Approaches to Incomplete Information: A Survey

    • Ron van der Meyden
    Pages 307-356

  12. Declarative Frameworks for Inheritance

    • Laks V.S. Lakshmanan, Krishnaprasad Thirunarayan
    Pages 357-388

  13. On Logical Foundations of Active Databases

    • Georg Lausen, Bertram Ludäscher, Wolfgang May
    Pages 389-422

  14. Back Matter

    Pages 423-430
    Download chapter PDF
Back to top

Keywords

About this 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.

Editors and Affiliations

  • Monmouth University, USA

    Jan Chomicki

  • University of Magdeburg, Germany

    Gunter Saake

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation