Skip to main content
SpringerLink
Log in

Applications of Logic Databases

  • Book
  • © 1995

Overview

Editors:
  1. Raghu Ramakrishnan

    1. University of Wisconsin, Madison, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: The Springer International Series in Engineering and Computer Science (SECS, volume 296)

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

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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 (12 chapters)

  1. Front Matter

    Pages i-xxiii
    Download chapter PDF

  2. Applications of Deductive Object-Oriented Databases Using DEL

    • Oris Friesen, Gilles Gauthier-Villars, Alexandre Lefebvre, Laurent Vieille
    Pages 1-22

  3. Q-Data: Using Deductive Database Technology to Improve Data Quality

    • Amit Sheth, Christopher Wood, Vipul Kashyap
    Pages 23-56

  4. A Deductive Front-End for Relational Databases

    • Brian Livezey, Evangelos Simoudis
    Pages 57-81

  5. An Aditi Implementation of a Flights Database

    • James Harland, Kotagiri Ramamohanarao
    Pages 83-100

  6. Using LDL++ for Spatio-Temporal Reasoning in Atmospheric Science Databases

    • Richard Muntz, Eddie Shek, Carlo Zaniolo
    Pages 101-119

  7. Mimsy: A System for Stock Market Analysis

    • William G. Roth, Raghu Ramakrishnan, Praveen Seshadri
    Pages 121-142

  8. Efficient Evaluation of Visual Queries Using Deductive Databases

    • Dimitra Vista, Peter T. Wood
    Pages 143-161

  9. Demand Interprocedural Program Analysis Using Logic Databases

    • Thomas W. Reps
    Pages 163-196

  10. AMOS: A Natural Language Parser Implemented as a Deductive Database in LOLA

    • Gunther Specht, Burkhard Freitag
    Pages 197-215

  11. Programming the PTQ Grammar in XSB

    • David S. Warren
    Pages 217-234

  12. Querying with Generalized Quantifiers

    • Antonio Badia, Dirk Van Gucht, Marc Gyssens
    Pages 235-258

  13. Requirements for a Deductive Query Language in a Genome-Mapping Database

    • Nathan Goodman, Steve Rozen, Lincoln Stein
    Pages 259-278

  14. Back Matter

    Pages 279-280
    Download chapter PDF
Back to top

Keywords

About this book

The premise behind developing powerful declarative database languages is compelling: by enabling users to specify their queries (and their integrity constraints) in a clear, non-operational way, they make the user's task easier, and provide the database system with more opportunities for optimization. Relational database systems offer a striking proof that this premise is indeed valid. The most popular relational query language, SQL, is based upon relational algebra and calculus, i.e., a small fragment of first-order logic, and the ease of writing queries in SQL (in comparison to more navigational languages) has been an important factor in the commercial success of relational databases. It is well-known that SQL has some important limitations, in spite of its success and popUlarity. Notably, the query language is non-recursive, and support for integrity constraints is limited. Indeed, recognizing these problems, the latest standard, SQL-92, provides increased support for integrity constraints, and it is anticipated that the successor to the SQL-92 standard, called SQL3, RECURSIVE UNION operation [1]. Logic database systems have will include a concentrated on these extensions to the relational database paradigm, and some systems (e.g., Bull's DEL prototype) have even incorporated object-oriented features (another extension likely to appear in SQL3).

Editors and Affiliations

  • University of Wisconsin, Madison, USA

    Raghu Ramakrishnan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation