Fondements des bases de données
Serge Abiteboul, Richard Hull, Victor Vianu
Résumé
- présenter un large tour d'horizon des recherches les
plus actuelles concernant la théorie des bases de données,
incluant la puissance d'expression et la complexité des
langages, les bases de données déductives et orientées
objet ;
- donner une perspective unifiée des divers éléments
fondamentaux composant les bases de données ainsi que les
liens les unissant à d'autres secteurs voisins des sciences
informatiques et mathématiques, comme la logique
mathématique, la programmation logique, la complexité et la
théorie des modèles finis ;
- offrir un ouvrage de référence complet et pratique tant
aux chercheurs et praticiens spécialistes des bases de
données qu'aux informaticiens intéressés par ce domaine
;
- fournir une base solide pour l'étude de la théorie des
bases de données, enrichie de démonstrations détaillées et
de multiples exemples et exercices, indispensables pour des
cours de 2e et 3e cycles ;
- compléter chaque chapitre de nombreuses notes bibliographiques explicitant sources et recherches qui l'ont étayé.
Sommaire
- ANTICHAMBRE.
- Systèmes de bases de données.
- Présupposés théoriques.
- Le modèle relationnel.
- BASES : LANGAGES DE REQUETES RELATIONNELLES.
- Requêtes conjonctives.
- Ajouter la négation : algèbre et calcul.
- Analyse statique et optimisation.
- Remarques sur les langages concrets.
- CONTRAINTES.
- Dépendances fonctionnelles et de jointure.
- Dépendances d'inclusion.
- Un point de vue plus large.
- Conception et dépendances.
- DATALOG ET RECURSIVITE.
- Datalog.
- Evaluation de datalog.
- Récursivité et négation.
- La négation dans datalog.
- EXPRESSION ET COMPLEXITE.
- Etalonner les langages.
- Premier ordre, fixpoint et while.
- Langages hautement expressifs.
- FINAL.
- Information incomplète.
- Valeurs complexes.
- Bases de données objets.
- Aspects dynamiques
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
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.
L'auteur - Victor Vianu
Victor Vianu a passe son doctorat en informatique a l'universite de Californie du sud. Il est aujourd'hui professeur d'informatique a l'universite de Californie, San Diego. Il travaille une partie de l'annee a l'INRIA.
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Vuibert |
| Auteur(s) | Serge Abiteboul, Richard Hull, Victor Vianu |
| Parution | 08/07/2000 |
| Nb. de pages | 714 |
| Format | 17 x 24 |
| EAN13 | 9782711786459 |
| ISBN13 | 978-2-7117-8645-9 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
