Transactions and Change in Logic Databases

International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997 Invited Surveys and Selected Papers

  • Editors
  • Burkhard Freitag
  • Hendrik Decker
  • Michael Kifer
  • Andrei Voronkov
Conference proceedings DYNAMICS 1997

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

Table of contents

  1. Front Matter
  2. Anthony J. Bonner, Michael Kifer
    Pages 1-36
  3. Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems
    Pages 37-68
  4. Georg Lausen, Bertram Ludäscher, Wolfgang May
    Pages 69-106
  5. Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà
    Pages 107-133
  6. Carl-Alexander Wichert, Burkhard Freitag, Alfred Fent
    Pages 134-165
  7. Anthony J. Bonner, Michael Kifer
    Pages 166-196
  8. Marcelo Arenas, Leopoldo Bertossi
    Pages 197-226
  9. Eugenia Ternovskaia
    Pages 227-248
  10. Mary-Anne Williams
    Pages 287-316
  11. Hassan Bezzazi, Stéphane Janot, Sébastien Konieczny, Ramón Pino Pérez
    Pages 317-339
  12. Henning Christiansen, Troels Andreasen
    Pages 340-355

About these proceedings


This book constitutes the thoroughly refereed and revised post-workshop proceedings of two international meetings devoted to deductive databases and logic programming.
The technical papers presenting original research results were carefully reviewed and selected for inclusion in the present book, together with several survey articles summarizing the state of the art in the area. Thus, the book is the ultimate reference for anybody interested in the theory and application of deductive databases and logic programming.


Database Transactions Deductive Databases Inductive Logic Programming Logic Databases Logic Knowledge-Based Systems logic programming

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65305-9
  • Online ISBN 978-3-540-49449-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment