Skip to main content
Springer Nature Link
Log in

Logic in Databases

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

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Dino Pedreschi
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Carlo Zaniolo
    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 1154)

Included in the following conference series:

Conference proceedings info: LID 1996.

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

About this book

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

Table of contents (24 papers)

  1. Front Matter

    Download chapter PDF

  2. Logic and databases: A 20 year retrospective

    • Jack Minker
    Pages 1-57

  3. A parametric approach to deductive databases with uncertainty

    • Laks V. S. Lakshmanan, Nematollaah Shiri
    Pages 59-81

  4. A deductive database approach to planning in uncertain environments

    • V. S. Subrahmanian, Charlie Ward
    Pages 83-98

  5. Termination properties of spatial Datalog programs

    • Bart Kuijpers, Jan Paredaens, Marc Smits, Jan Van den Bussche
    Pages 99-116

  6. Applying transition rules to bitemporal deductive databases for integrity constraint checking

    • Carme Martín, Jaume Sistac
    Pages 117-134

  7. Towards a unified agent architecture that combines rationality with reactivity

    • Robert Kowalski, Fariba Sadri
    Pages 135-149

  8. Learning query rules for optimizing databases with update rules

    • D. Laurent, Ch. Vrain
    Pages 151-172

  9. Formal characterization of active databases

    • Chitta Baral, Jorge Lobo
    Pages 173-195

  10. Nested transactions in a logical language for active rules

    • Bertram Ludäscher, Wolfgang May, Georg Lausen
    Pages 197-222

  11. Deductive Databases: Challenges, opportunities and future directions

    • Arno Siebes, Shalom Tsur, Jeff Ullman, Laurent Vieille, Carlo Zaniolo
    Pages 223-229

  12. R-stable models for logic programs

    • H. Jakobovits, D. Vermeir
    Pages 231-243

  13. The expressive power of partial models for disjunctive deductive databases

    • T. Eiter, N. Leone, D. Saccà
    Pages 245-264

  14. Stable model checking for disjunctive logic programs

    • N. Leone, P. Rullo, F. Scarcello
    Pages 265-278

  15. Analysis of logic-based systems

    • Dmitri Boulanger
    Pages 279-301

  16. An axiomatic interpretation of confidentiality demands in logic-based relational databases

    • Adrian Spalka, Armin B. Cremers
    Pages 303-319

  17. Database query evaluation with the STARBASE method

    • Estrella Pulido
    Pages 321-342

  18. The limits of fixed-order computation

    • Konstantinos Sagonas, Terrance Swift, David S. Warren
    Pages 343-363

  19. The \(\mathcal{I}\mathcal{Q}\) system: A deductive database Information Lens for reasoning about textual information

    • Bob Kero, Shalom Tsur
    Pages 365-385

  20. Arithmetic and aggregate operators in deductive object-oriented databases

    • Gillian Dobbie, Rodney Topor
    Pages 387-397
Back to top

Other volumes

  1. Logic in Databases

Bibliographic Information

Publish with us

Policies and ethics

Back to top