Logic in Databases

1. Front Matter

   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

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

Policies and ethics