Semantics in Databases

Second International Workshop Dagstuhl Castle, Germany, January 7–12, 2001 Revised Papers

  • Leopoldo Bertossi
  • Gyula O. H. Katona
  • Klaus-Dieter Schewe
  • Bernhard Thalheim
Conference proceedings SiD 2001

DOI: 10.1007/3-540-36596-6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2582)

Table of contents

  1. Front Matter
    Pages I-VII
  2. Leopoldo Bertossi, Gyula O. H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim
    Pages 1-6
  3. Joachim Biskup, Barbara Sprick
    Pages 34-62
  4. Sebastian Link
    Pages 139-159
  5. Frank Neven, Thomas Schwentick
    Pages 160-178
  6. Dietmar Seipel, Ulrich Geske
    Pages 179-199
  7. José María Turull Torres
    Pages 200-228
  8. Back Matter
    Pages 229-229

About these proceedings

Introduction

 

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Semantics in Databases, held in Dagstuhl Castle, Germany, in January 2001.

The 10 revised full papers presented together with an introduction by the volume editors were carefully selected during two rounds of reviewing. Among the aspects of database semantics discussed are semantic constraints, paraconsistency, logic foundations of databases, ER modeling, type hierarchies, null values, consistency enforcement, logic-based pattern languages, and semantic classification of queries. Among the classes of databases dealt with are deductive databases, relational databases, distributed information systems, and tree-structured data.

Keywords

classification database deductive database information system logic modeling relational database semantics

Editors and affiliations

  • Leopoldo Bertossi
    • 1
  • Gyula O. H. Katona
    • 2
  • Klaus-Dieter Schewe
    • 3
  • Bernhard Thalheim
    • 4
  1. 1.School of Computer ScienceCarleton UniversityOttawaCanada
  2. 2.Alfréd Rényi Institute of MathematicsHungarian Academy of SciencesBudapestHungary
  3. 3.Department of Information SystemsMassey UniversityPalmerston NorthNew Zealand
  4. 4.Institute of Computer ScienceBrandenburg University of Technology at CottbusCottbusGermany

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00957-3
  • Online ISBN 978-3-540-36596-9
  • Series Print ISSN 0302-9743