Skip to main content
SpringerLink
Log in
Book cover

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 Jefferso

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Burkhard Freitag
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hendrik Decker
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Michael Kifer
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Andrei Voronkov
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: DYNAMICS 1997.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Download chapter PDF

  2. The state of change: A survey

    • Anthony J. Bonner, Michael Kifer
    Pages 1-36

  3. Specification of dynamics for knowledge-based systems

    • Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems
    Pages 37-68

  4. On active deductive databases: The statelog approach

    • Georg Lausen, Bertram Ludäscher, Wolfgang May
    Pages 69-106

  5. Active-U-Datalog: Integrating active rules in a logical update language

    • Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà
    Pages 107-133

  6. Logical transactions and serializability

    • Carl-Alexander Wichert, Burkhard Freitag, Alfred Fent
    Pages 134-165

  7. Results on reasoning about updates in Transaction Logic

    • Anthony J. Bonner, Michael Kifer
    Pages 166-196

  8. The dynamics of database views

    • Marcelo Arenas, Leopoldo Bertossi
    Pages 197-226

  9. Inductive definability and the situation calculus

    • Eugenia Ternovskaia
    Pages 227-248

  10. Some notes on knowledge assimilation in deductive databases

    • Hendrik Decker
    Pages 249-286

  11. Applications of belief revision

    • Mary-Anne Williams
    Pages 287-316

  12. Analysing rational properties of change operators based on forward chaining

    • Hassan Bezzazi, Stéphane Janot, Sébastien Konieczny, Ramón Pino Pérez
    Pages 317-339

  13. A practical approach to hypothetical database queries

    • Henning Christiansen, Troels Andreasen
    Pages 340-355

  14. From extensional to intensional knowledge: Inductive logic programming techniques and their application to deductive databases

    • Peter A. Flach
    Pages 356-387
Back to top

Other volumes

  1. Transactions and Change in Logic Databases

Keywords

About this book

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.

Bibliographic Information

  • Book Title: Transactions and Change in Logic Databases

  • Book Subtitle: 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 Jefferso

  • Editors: Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0055493

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1998

  • Softcover ISBN: 978-3-540-65305-9Published: 28 October 1998

  • eBook ISBN: 978-3-540-49449-2Published: 20 May 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 398

  • Topics: Software Engineering/Programming and Operating Systems, Database Management, Artificial Intelligence, Programming Techniques

Publish with us

Policies and ethics

Back to top

Search

Navigation