Opération ensembliste

: Bases de données relationnelles, Open Office, champs, relations, requêtes, opérations relationnelles Ce cours peut être commencé en 1ère STG (les parties I à III comprise) et peut être complété en TGSI ou TCFE. Domaine(s) : Informatique de gestion Type(s) de ressource : Objectifs : Support de cours - travaux élèves en autonomie Le langage SQL : l’instruction SELECT pour traduire les opérations de sélection, de projection et de jointure. Séance(s) développée(s) : Place de

[19.07.2000 15:39:12] Bases de Données Relationnelles et Systèmes de Gestion de Bases de Données Relationnels Le Langage sql s s s s s s Equi-jointure Jointure d'une table à elle-même Autres jointures Jointure externe Les opérateurs ensemblistes Les sous-interrogations s s s s s s Sous-interrogation ramenant une seule valeur Sous-interrogation ramenant plusieurs lignes Sous-interrogation ramenant plusieurs colonnes Sous-interrogation synchronisée avec l'interrogation principale Sous-interrogation

aura de la pluie ». Météo-France a annoncé les probabilités suivantes : P(A) = 3 4 , P(B) = 1 2 , P(A ∩B) = 2 5 , P(A ∪B) = 5 6 . 1. A et B sont-ils incompatibles ? Sont-ils indépendants ? 2. Expliciter les événements suivants à l’aide des opérations ensemblistes : C : « Ce jeudi, il y aura de la pluie ou du vent » D : « Ce jeudi, il y aura de la pluie et du vent » E : « Ce jeudi, il n’y aura ni pluie, ni vent » F : « Ce jeudi, il y aura de la pluie mais pas de vent » G : « Ce jeudi, il y aura ou de

Étapes !  Définir l invariant !  Définir l état !  Définir les opérations 02/09/13 Techniques de spécification formelles 36 Invariant !  Condition vraie durant l exécution d une fonction qui contient une collection de données 02/09/13 Techniques de spécification formelles 37 État !  Représente les données stockées qui soient accessibles et modifiables par les fonctions 02/09/13 Techniques de spécification formelles 38 Opérations !  Représentent les actions que le système entreprend pour

En fait on dispose d’un peu plus de liberté que cela. On peut : - Renommer les attributs - Appliquer des fonctions aux valeurs de chaque tuple. - Introduire des constantes. Les fonctions applicables aux valeurs des attributs sont par exemple les opérations arithmétiques (+, *, ...) pour les attributs numériques ou des manipulations de chaîne de caractères (concaténation, sous chaînes, mise en majuscule, ...). 1 Il n’existe pas de norme mais la requête suivante devrait fonctionner sur tous les

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 2 3 4 4 5 PROGRAMME 6 Vocabulaire ensembliste et méthodes de raisonnement 6 Premier semestre Pratique calculatoire . . . . . . . . . . . . . . . . . . . . . . . . . . . . Nombres complexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . Étude globale d’une fonction d’une variable

manipulation de données : SELECT (2e partie) {S8} 4.7.1 La clause FROM (2e partie) : les jointures . . . . . . . . . . . . . . . . . . . . . . 4.7.2 Les clauses GROUP BY et HAVING et les fonctions d’agrégation . . . . . . . . . . 4.7.3 Opérateurs ensemblistes : UNION, INTERSECT et EXCEPT . . . . . . . . . . . . . 4.7.4 Traduction des opérateurs de l’algèbre relationnelle (2e partie) . . . . . . . . . 4.8 Travaux Pratiques – SQL : Requêtes avancées {S8} . . . . . . . . . . . . . . . . . . . . 4.8.1 Prix

1.3 Arithmétique des intervalles . . . . . . . . . . . . . . . . . . . 4.2 Résolution de système d’équations non linéaires. . . . . . . . . . . . . 4.2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2.2 L’inversion ensembliste . . . . . . . . . . . . . . . . . . . . . . 4.2.3 SIVIA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2.4 Exemple : étude de la stabilité de l’algorithme de Hérault-Jutten 4.3 Optimisation globale non linéaire . . . . . . .

réalisation du système respecte les exigences En conception : Vérifier si l’algorithme calcule ce qui a été spécifie En intégration : Vérifier si le programme réalise le composant initialement spécifie Une pré-condition Conditions d’activation des opérations Méthodes Formelles de développement 13 Méthodes Formelles de développement 14 I.3. Spécification formelle, validation et vérification Les méthodes formelles ne sont pas limitées à la spécification Conception: par reformulation formelle

CONCEPTS ETENDUS (MERISE 2).......................................................................40 2.1) Le concept d’héritage ...........................................................................................40 2.2) Les contraintes ensemblistes.................................................................................43 2.3) L’identification des occurrences d’entités ............................................................53 III. REGLES DE CONSTRUCTION D’UN M.C.D.........