Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1998

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

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)

Conference series link(s): DYNAMICS: Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases

Conference proceedings info: DYNAMICS 1997.

Sections

Buy it now

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

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

Table of contents (13 papers)

  1. Front Matter

    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

  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
Back to top

Other Volumes

  1. Transactions and Change in Logic Databases

Back to top

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation