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
  12. Anthony Bonner, Giansalvatore Mecca
    Pages 399-413
  13. P. Asirelli, C. Renso, F. Turini
    Pages 415-434
  14. Sergio Greco, Cristinel Mateis, Eugenio Spadafora
    Pages 435-453
  15. Back Matter

About these proceedings


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.


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

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site