Logics for Databases and Information Systems

1. Front Matter

   Pages i-xiii

   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

    PDF

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.

• concurrency
• database
• description logics
• information
• information system
• programming
• semantics

• Monmouth University, USA

  Jan Chomicki

• University of Magdeburg, Germany

  Gunter Saake

Policies and ethics