Logic in Databases

International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings

  • Editors
  • Dino Pedreschi
  • Carlo Zaniolo
Conference proceedings

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

Table of contents

  1. Front Matter
  2. Laks V. S. Lakshmanan, Nematollaah Shiri
    Pages 59-81
  3. V. S. Subrahmanian, Charlie Ward
    Pages 83-98
  4. Bart Kuijpers, Jan Paredaens, Marc Smits, Jan Van den Bussche
    Pages 99-116
  5. Chitta Baral, Jorge Lobo
    Pages 173-195
  6. Bertram Ludäscher, Wolfgang May, Georg Lausen
    Pages 197-222
  7. Arno Siebes, Shalom Tsur, Jeff Ullman, Laurent Vieille, Carlo Zaniolo
    Pages 223-229
  8. H. Jakobovits, D. Vermeir
    Pages 231-243
  9. N. Leone, P. Rullo, F. Scarcello
    Pages 265-278
  10. Dmitri Boulanger
    Pages 279-301
  11. Konstantinos Sagonas, Terrance Swift, David S. Warren
    Pages 343-363

About these proceedings

Introduction

This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Logic in Databases, LID'96, held in San Miniato, Italy, in July 1996, as the final meeting of an EC-US cooperative activity.
The volume presents 21 revised full papers selected from 49 submissions as well as 3 invited contributions and a summary of a panel discussion on deductive databases: challenges, opportunities and future directions. The retrospective survey on logic and databases by Jack Minker deserves a special mention: it is a 56-page overview and lists 357 references. The papers are organized in sections on uncertainty, temporal and spatial reasoning, updates, active databases, semantics, advanced applications, query evaluation, language extensions, and logic constructs and expressive power.

Keywords

Aktive Datenbanken Datenbankabfragesprachen Deduktive Datenbanken active databases database query languages database semantics deductive databases logic logic programming semantics uncertainty

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0031733
  • Copyright Information Springer-Verlag 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61814-0
  • Online ISBN 978-3-540-70683-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book