Algèbre relationnelle

Pour les articles homonymes, voir Algèbre (homonymie).

L'algèbre relationnelle est une théorie mathématique proche de la théorie des ensembles qui définit des opérations qui peuvent être effectuées sur des relations - des matrices contenant un ensemble de nuplets.

Sommaire

1 Au sujet de l'algèbre relationnelle
2 Eléments du modèle relationnel
- 2.1 Objets précis du modèle
- 2.2 Relation ou Table
3 Requêtes en Algèbre relationnelle
4 Opérateurs ensemblistes
5 Exemples
6 Voir aussi
- 6.1 Liens externes

Au sujet de l'algèbre relationnelle

L'algèbre relationnelle a été inventée en 1970 par Edgar Frank Codd, le directeur de recherche du centre IBM de San José. Cette algèbre est constituée d'un ensemble d'opérations formelles sur les relations. Les opérations relationnelles permettent de créer une nouvelle relation (table) à partir d'opérations élémentaires sur d'autres tables (par exemple l'union, l'intersection, ou encore la différence).

Les principes de l'algèbre relationnelle sont beaucoup utilisés de nos jours par les SGBD pour la gestion des bases de données informatiques comme le SQL, DBase, etc.

Cependant, les bases de données relationnelles ne fonctionnent pas tout à fait selon les règles ensemblistes de l'algèbre relationnelle. En effet, si l'on ne définit pas de clé primaire, il est possible d'insérer plusieurs lignes identiques dans une table, ce qui d'un point de vue ensembliste n'a pas de sens : un élément fait partie ou ne fait pas partie d'un ensemble. Si l'on veut appliquer strictement les règles des ensembles, il faut vérifier à chaque ajout dans une table que les lignes ne sont pas déjà présentes.

Eléments du modèle relationnel

Objets précis du modèle

Il s'agit ici de déterminer des Domaines (i.e., type atomique) :

Numérique : entier ou réel (SQL : Int, Float, etc.).
Chaîne de caractères (SQL : Char(20), VarChar(32), etc.).
Date (SQL : DATE, TIME, YEAR, etc.).
Type énuméré.

Relation ou Table

Une relation (au sens du modèle de Codd) est constituée de deux choses :

Un Schéma : Le format de la table. Le schéma est fixé.
Une Extension : Le contenu de la table, qui est un ensemble de n-uplets dont l'ordre n'a pas d'importance.

Exemple :

Schéma :

{Cle: INT, Nom: VarChar(20), Email: VarChar(20)}

Extension :

{
 {Cle: 1, Nom: "Edgar", Email: "edgar@xxxxx.xx"}
 {Cle: 2, Nom: "Frank", Email: "Frank@xxxxx.xx"}
 ...
}

Requêtes en Algèbre relationnelle

Définir un ensemble d'opérations élémentaires permettant, par combinaison éventuelle, d'obtenir les résultats escomptés.

La sélection (ou restriction) :

Notation : $\sigma_{F}( R )\,$
Données : Une relation $R\,$ et une formule $F\,$ formée d'une combinaison de comparaisons et de connecteurs logiques.
Résultat : $\sigma_{F}( R ) = \{ r \in R : r\,$ satisfait la condition donnée par $F \}\,$
Équivalent SQL : WHERE

La projection :

Notation : $\pi_{A}( R )\,$
Données : Une relation $R\,$ et un ensemble d'attributs $A\,$ de $R\,$ .
Résultat : $\pi_{A}( R )\,$ , qui est la Relation $R\,$ où on ne considère que les attributs de $A\,$
Équivalent SQL : SELECT

Rebaptiser :

Notation : $\rho_{a/b}(R)\,$
Données : Une relation $R\,$ et un attribut $b\,$ de $R\,$ .
Résultat : $\rho_{a/b}(R)\,$ , qui est la Relation $R\,$ avec $b\,$ rebaptisé $a\,$
Équivalent SQL : AS

Opérateurs ensemblistes

L'algèbre relationnelle possède les opérations usuelles sur les ensembles.

Soient $R(A)\,$ et $S(B)\,$ deux relations ayant pour ensembles d'attributs respectifs $A\,$ et $B\,$ :

Union : $R \cup S=\{t: t \in R \ ou \ t \in S\}\,$
Intersection : $R \cap S=\{t: t \in R \ et \ t \in S\}\,$
Différence : $R-S=\{t: t \in R \ et \ t \not\in S\}\,$
Produit cartésien : $R \times S=\{(r,s) : r \in R \ et \ s \in S \}\,$
Jointure : $R \bowtie S=\{(a,b,c):(a,b)\in R \times R \ et \ (b,c) \in S \times S \}\,$
Division : elle prend en entrée deux relations $R(x_1, ..., x_m, y_1, ..., y_p)\,$ et $S(y_1,...,y_p)\,$ .

Ainsi, tout n-uplet $r \in R \,$ se décompose en deux n-uplets $r=(t,s)\,$ ,

avec $t=(t_1, ..., t_m)\,$ de schéma $X=\{x_1, ..., x_m\}\,$ et

$s=(s_1, ..., s_p)\,$ de schéma $y=\{y_1, ..., y_p\}\,$ .

et retourne la table de schéma $X\,$ tel que $R/S=\{t: \forall s \in S, \ (t,s) \in R\}\,$

La division revient à donner “tous les x tels que pour tout y ...”

Exemples

Relations de la base exemple :

Table Touristes:

idTouriste  NomT    Ville       Sport
---------- ------- ---------  ---------
1          Marc    Paris      Ski
2          Jean    Toulouse   Tennis
3          Franc   Marseille  Football
4          Thomas  Lyon       Voile
5          Max     Paris      Golf

Table Sports:

Sport
---------
Ski
Cyclisme
Tennis
Football
Voile
Golf

Table Destinations:

idTouriste  VilleD
---------- --------
1          Cannes
2          Ibiza
4          Tokyo

Sélection :

> $\sigma_{Ville = 'Paris'}(\,$ Touristes $)\,$

idTouriste NomT    Ville      Sport
---------- ------- ---------  ---------
1          Marc    Paris      Ski
5          Max     Paris      Golf

Projection :

> $\pi_{NomT, Ville}(\,$ Touristes $)\,$

NomT    Ville      
------- --------- 
Marc    Paris
Jean    Toulouse
Franc   Marseille
Thomas  Lyon
Max     Paris

Jointure :

> Touristes $\bowtie\,$ Destinations

idTouriste  NomT    Ville       Sport    VilleD
---------- ------- ---------  --------- --------
1          Marc    Paris      Ski        Cannes
2          Jean    Toulouse   Tennis     Ibiza
4          Thomas  Lyon       Voile      Tokyo

Voir aussi

Sur les autres projets Wikimedia :

« Algèbre relationnelle », sur Wikiversity (communauté pédagogique libre)

Liens externes

RAT, Software Rational Algebra Translator to SQL
(fr) Laurent Audibert, « Bases de données relationnelles » sur developpez.com

Catégories :

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Algèbre relationnelle de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

Algebre relationnelle — Algèbre relationnelle L algèbre relationnelle est un concept mathématique de la théorie des ensembles qui consiste à définir des opérations sur les relations. Sommaire 1 Au sujet de l algèbre relationnelle 2 Eléments du modèle relationnel 2.1 … Wikipédia en Français
Algèbre Relationnelle — L algèbre relationnelle est un concept mathématique de la théorie des ensembles qui consiste à définir des opérations sur les relations. Sommaire 1 Au sujet de l algèbre relationnelle 2 Eléments du modèle relationnel 2.1 … Wikipédia en Français
Table (algebre relationnelle) — Table (base de données) Pour les articles homonymes, voir Table (homonymie). Dans les bases de données relationnelles, une table est un ensemble de données organisées sous forme d un tableau où les colonnes correspondent à des champs et les… … Wikipédia en Français
Table (algèbre relationnelle) — Table (base de données) Pour les articles homonymes, voir Table (homonymie). Dans les bases de données relationnelles, une table est un ensemble de données organisées sous forme d un tableau où les colonnes correspondent à des champs et les… … Wikipédia en Français
Algebre — Algèbre L algèbre est la branche des mathématiques qui étudie, d une façon générale, les structures algébriques. L étude des structures algébriques peut être faite de manière unifiée dans la cadre de l algèbre universelle. L étude épistémologique … Wikipédia en Français
Algèbre pure — Algèbre L algèbre est la branche des mathématiques qui étudie, d une façon générale, les structures algébriques. L étude des structures algébriques peut être faite de manière unifiée dans la cadre de l algèbre universelle. L étude épistémologique … Wikipédia en Français
Algébre — Algèbre L algèbre est la branche des mathématiques qui étudie, d une façon générale, les structures algébriques. L étude des structures algébriques peut être faite de manière unifiée dans la cadre de l algèbre universelle. L étude épistémologique … Wikipédia en Français
Algèbre (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le mot « algèbre » vient de l arabe ’al ǧabr (« réduction »), désignant une technique de chirurgie des membres puis une technique de… … Wikipédia en Français
Base de données relationnelle — Système de gestion de Base de données Modèles:i Base de données hiérarchique Base de données réseau Base de données relationnelle Base de données orientée objet Base de données orientée documents … Wikipédia en Français
Base De Données Relationnelle — Système de gestion de Base de données Modèles: Base de données hiérarchique Base de données réseau Base de données relationnelle Une base de données relationnelle est une base de données structurée suivant les principes de l’algèbre relationnelle … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Algèbre relationnelle

Sommaire

Au sujet de l'algèbre relationnelle

Eléments du modèle relationnel

Objets précis du modèle

Relation ou Table

Requêtes en Algèbre relationnelle

Opérateurs ensemblistes

Exemples

Voir aussi

Liens externes

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Algèbre relationnelle

Sommaire

Au sujet de l'algèbre relationnelle

Eléments du modèle relationnel

Objets précis du modèle

Relation ou Table

Requêtes en Algèbre relationnelle

Opérateurs ensemblistes

Exemples

Voir aussi

Liens externes

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link