Dagstuhl Seminar Logics for Databases and Information Systems 1998

@book{DBLP:books/kl/ChomickiS98,
  editor    = {Jan Chomicki and
               Gunter Saake},
  title     = {Logics for Databases and Information Systems (the book grow out
               of the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
               1995)},
  publisher = {Kluwer},
  year      = {1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Title, Contents, List of Contributors.
  Electronic Edition BibTeX
• Jan Chomicki, Gunter Saake:
  Introduction to Logics for Databases and Information Systems. 1-4
  Electronic Edition BibTeX
• Stefan Conrad:
  A Logic Primer. 5-30
  Electronic Edition BibTeX
• Jan Chomicki, David Toman:
  Temporal Logic in Information Systems. 31-70
  Electronic Edition BibTeX
• John-Jules Ch. Meyer, Roel Wieringa, Frank Dignum:
  The Role of Deontic Logic in the Specification of Information Systems. 71-115
  Electronic Edition BibTeX
• Anthony J. Bonner, Michael Kifer:
  A Logic for Programming Database Transactions. 117-166
  Electronic Edition BibTeX
• Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker:
  Logics for Specifying Concurrent Information Systems. 167-198
  Electronic Edition BibTeX
• Stefan Conrad, Jaime Ramos, Gunter Saake, Cristina Sernadas:
  Evolving Logical Specification in Information Systems. 199-228
  Electronic Edition BibTeX
• Diego Calvanese, Maurizio Lenzerini, Daniele Nardi:
  Description Logics for Conceptual Data Modeling. 229-263
  Electronic Edition BibTeX
• Parke Godfrey, John Grant, Jarek Gryz, Jack Minker:
  Integrity Constraints: Semantics and Applications. 265-306
  Electronic Edition BibTeX
• Ron van der Meyden:
  Logical Approaches to Incomplete Information: A Survey. 307-356
  Electronic Edition BibTeX
• Laks V. S. Lakshmanan, Krishnaprasad Thirunarayan:
  Declarative Frameworks for Inheritance. 357-388
  Electronic Edition BibTeX
• Georg Lausen, Bertram Ludäscher, Wolfgang May:
  On Logical Foundations of Active Databases. 389-422
  Electronic Edition BibTeX
• Index.
  Electronic Edition BibTeX