Foundations of Databases - Serge Abiteboul , Richard Hull - Librairie Eyrolles
Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Foundations of Databases
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Foundations of Databases

Foundations of Databases

The Logical Level

Serge Abiteboul, Richard Hull

684 pages, parution le 10/02/1995

Résumé

Written by three leading researchers in the field, this book provides in-depth coverage of the theory concerning the logical level of database management systems, including both classical and advanced topics.

Features

  • Emphasizes query languages for the relational model including coverage of different language paradigms, expressive power, and complexity.
  • Presents a unified theory of dependencies, including those commonly arising in practice, and their use in optimization and schema design.
  • Provides theoretical underpinnings of several emerging topics, including deductive and object-oriented databases.
  • Includes detailed proofs and numerous examples and exercises.

Table of contents

Preface
Part A--Antechamber

  1. Database Systems
    The Main Principles
    Functionalities
    Complexity and Diversity
    Past and Future
    Ties with This Book
    Bibliographic Notes
  2. Theoretical Background
    Some Basics
    Languages, Computability, and Complexity
    Basics from Logic
  3. The Relational Model
    The Structure of the Relational Model
    Named versus Unnamed Perspectives
    Notation
    Bibliographic Notes

    Part B--Basics: Relational Query Languages

  4. Conjunctive Queries
    Getting Started
    Logic-Based Perspectives
    Query Composition and Views
    Algebraic Perspectives
    Adding Union
    Bibliographic Notes
    Exercises
  5. Adding Negation: Algebra and Calculus
    The Relational Algebras
    Nonrecursive Datalog with Negation
    The Relational Calculus
    Syntactic Restrictions for Domain Independence
    Aggregate Functions
    Digression: Finite Representations of Infinite Databases
    Bibliographic Notes
    Exercises
  6. Static Analysis and Optimization
    Issues in Practical Query Optimization
    Global Optimization
    Static Analysis of the Relational Calculus
    Computers with Acyclic Joins
    Bibliographic Notes
    Exercises
  7. Notes on Practical Languages
    SQL: The Structured Query Language
    Query-by-Example and Microsoft Access
    Confronting the Real World
    Bibliographic Notes
    Exercises

    Part C --Constraints

  8. Functional and Join Dependency
    Motivation
    Functional and Key Dependencies
    join and Multivalued DependenciesThe Chase
    Bibliographic Notes
    Exercises
  9. Inclusion Dependency
    Inclusion Dependency in Isolation
    Finite versus Infinite Implication
    Nonaxiomatizability of fd's + ind's
    Restricted Kinds of Inclusion Dependency
    Bibliographic Notes
    Exercises
  10. A Larger Perspective
    A Unifying Framework
    The Chase revisited
    Axiomatization
    An Algebraic Perspective
    Bibliographic Notes
    Exercises
  11. Design and Dependencies
    Semantic Data Models
    Normal Forms
    Universal Relation Assumption
    Bibliographic Notes
    Exercises

    Part D--Datalog and Recursion

  12. Datalog
    Syntax of Datalog
    Model-Theoretic Semantics
    Fixpoint Semantics
    Proof-Theoretic Approach
    Static Program Analysis
    Bibliographic Notes
    Exercises
  13. Evaluation of Datalog
    Seminaive Evaluation
    Top-Down Techniques
    Magic
    Two Improvements
    Bibliographic Notes
    Exercises
  14. Recursion and Negation
    Algebra + While
    Calculus + Fixpoint
    Datalog with Negation
    Equivalence
    Recursion in Practical Language
    Bibliographic Notes
    Exercises
  15. Negation in Datalog
    The Basic problem
    Stratified Semantics
    Well-Founded Semantics
    Expressive Power
    Negation as Failure of Brief
    Bibliographic Notes
    Exercises

    Part E--Expressiveness and Complexity

  16. Sizing Up Languages
    Queries
    Complexity of Queries
    Languages and Complexity
    Bibliographic Notes
    Exercises
  17. First-Order, Fixpoint and While
    Complexity of First-Order Queries
    Expressiveness of First-Order Queries
    Fixpoint and While Queries
    The Impact of Order
    Bibliographic Notes
    Exercises
  18. Highly Expressive Languages
    While(N)-while with Arithmetic
    While(new)-while with New Values
    While(uty)-An Untyped Extension of while
    Bibliographic Notes
    Exercises

    Part F--Finale

  19. Incomplete Information
    Warm-Up
    Weak Representation Systems
    Conditional Tables
    The Complexity of Nulls
    Other Approaches
    Bibliographic Notes
    Exercises
  20. Complex Values
    Complex Value Databases
    The Algebra
    The Caculas
    Examples
    Equivalence Theorems
    Fixpoint and Deduction
    Expressive Power and Complexity
    A Practicle Query Language for Complex Values
    Bibliographic Notes
    Exercises

  21. Object Databases
    Informal Presentation
    Formal Definition of an OODB Model
    Languages for OODB Queries
    Languages for Methods
    Further Issues for OODB's
    Bibliographic Notes
    Exercises
  22. Dynamic Aspects
    Updated Languages
    Transactional Schemas
    Updating Views and Deductive Databases
    Active Databases
    Temporal Databases and Constraints
    Bibliographic Notes
    Exercises

    Bibliography

    Symbol Index


    Index

L'auteur - Serge Abiteboul

Serge Abiteboul, chercheur en informatique à l'Inria (Institut de recherche en informatique et en automatique), est le commissaire scientifique de l'exposition Terra Data, nos vies à l'ère du numérique, présentée à la Cité des sciences et de l'industrie à partir du 4 avril 2017. Il est notamment l'auteur, avec Gilles Dowek, du Temps des algorithmes (Le Pommier, 2017).

Autres livres de Serge Abiteboul

L'auteur - Richard Hull

Richard Hull

received his Ph.D. in mathematics from the University of California, Berkeley. He is an associate professor at the University of Southern California in Computer Science, currently on leave and visiting the University of Colorado, Boulder.

Richard Hull a passe son doctorat de mathematiques a l'universite de Californie, Berkeley. Apres avoir ete professeur associe a l'universite de Californie du Sud, il travaille actuellement au departement de recherche sur les systemes de bases de donnees aux laboratoires Bell. Il a egalement effectue des recherches a l'INRIA lors de plusieurs visites sur de longues periodes.

Caractéristiques techniques

  PAPIER
Éditeur(s) Addison Wesley
Auteur(s) Serge Abiteboul, Richard Hull
Parution 10/02/1995
Nb. de pages 684
EAN13 9780201537710

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription