Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Advances in Data Base Theory

Volume 1

  • Book
  • © 1981

Overview

Editors:
  1. Hervé Gallaire

    1. Ecole Nationale Supérieure de l’Aéronautique et de l’Espace, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jack Minker

    1. University of Maryland, College Park, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jean Marie Nicolas

    1. Centre d’Etudes et de Recherches de Toulouse, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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 (14 chapters)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Introduction

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Background for Advances in Data Base Theory

      • Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
      Pages 3-21

  3. Data Base Design

    1. Front Matter

      Pages 23-23
      Download chapter PDF

    2. On The Properties of Join Dependencies

      • C. Beeri, M. Y. Vardi
      Pages 25-71

    3. Decompositions of Relations: A Comprehensive Approach

      • J. Paredaens, D. Janssens
      Pages 73-100

    4. Adequacy of Decompositions of Relational Databases

      • David Maier, Alberto O. Mendelzon, Fereidoon Sadri, Jeffrey D. Ullman
      Pages 101-114

    5. A Method for Helping Discover the Dependencies of a Relation

      • Antonio M. Silva, Michael A. Melkanoff
      Pages 115-133

  4. General Laws: Deduction and Integrity

    1. Front Matter

      Pages 135-135
      Download chapter PDF

    2. On the Integrity of Typed First Order Data Bases

      • Raymond Reiter
      Pages 137-157

    3. Equations Compared with Clauses for Specification of Abstract Data Types

      • M. H. van Emden, T. S. E. Maibaum
      Pages 159-193

    4. Optimization in Deductive and Conventional Relational Database Systems

      • John Grant, Jack Minker
      Pages 195-234

    5. On Evaluation of Queries Containing Derived Relations in a Relational Data Base

      • C. L. Chang
      Pages 235-260

    6. Reasoning with Data in a Deductively Augmented Data Management System

      • Charles Kellogg, Larry Travis
      Pages 261-295

  5. Informative Capabilities for Users

    1. Front Matter

      Pages 297-297
      Download chapter PDF

    2. A Formal Approach to Null Values in Database Relations

      • Joachim Biskup
      Pages 299-341

    3. About Natural Logic

      • A. Colmerauer, J. F. Pique
      Pages 343-365

    4. Assigning Meaning to Ill-Defined Queries Expressed in Predicate Calculus Language

      • Robert Demolombe
      Pages 367-395

    5. On the Feasibility of Informative Answers

      • Jürgen M. Janas
      Pages 397-414

  6. Back Matter

    Pages 415-432
    Download chapter PDF
Back to top

Keywords

Editors and Affiliations

  • Ecole Nationale Supérieure de l’Aéronautique et de l’Espace, Toulouse, France

    Hervé Gallaire

  • University of Maryland, College Park, USA

    Jack Minker

  • Centre d’Etudes et de Recherches de Toulouse, Toulouse, France

    Jean Marie Nicolas

Bibliographic Information

  • Book Title: Advances in Data Base Theory

  • Book Subtitle: Volume 1

  • Editors: Hervé Gallaire, Jack Minker, Jean Marie Nicolas

  • DOI: https://doi.org/10.1007/978-1-4615-8297-7

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Plenum Press, New York 1981

  • Softcover ISBN: 978-1-4615-8299-1Published: 13 February 2012

  • eBook ISBN: 978-1-4615-8297-7Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: 440

  • Topics: Data Structures and Information Theory

Publish with us

Policies and ethics

Back to top

Search

Navigation