Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 1981

Advances in Data Base Theory

Volume 1

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

Sections

Buy it now

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

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

Table of contents (14 chapters)

  1. Front Matter

    Pages i-viii
    PDF

  2. Introduction

    1. Front Matter

      Pages 1-1
      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
      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
      PDF

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

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

    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
      PDF

    3. About Natural Logic

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

    5. On the Feasibility of Informative Answers

      • Jürgen M. Janas
      Pages 397-414

  6. Back Matter

    Pages 415-432
    PDF
Back to top

Keywords

Back to top

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

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation