Discussion :

[speedy_g]

Bonjour,

J'ai le schéma qui suit dans Mysql Workbench.

Mon problème est que je n'arrive pas utiliser l'intégrité référentielle pour prendre en compte la contrainte suivante.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
If TAB3_SEQNO OF TAB3 IS NOT NULL THEN 
{
 IF ( CHILD OF TAB3 WHERE SEQNO OF TAB3 = TAB3_SEQNO OF TAB3
     != SELECT PARENT OF TAB2 WHERE CHILD OF TAB2 = CHILD OF TAB2)
 THEN 
    DISPLAY 'ERROR- CONSTRAINT VIOLATION '
}

Elle permet en fait de n'insérer dans TAB3 que des valeurs de la structure définie en TAB2.

Ma question est en fait double, serait-ce possible de trouver un moyen de profiter de l'intégrité référentielle ? sinon comment implémenter un trigger du style

Create trigger name_trigger before insert
si contrainte pas vérifiée alors pas d'insertion + message d'erreur.

Merci pour votre aide

Johan

[Antoun]

euh... c'est quoi ce langage ?

[speedy_g]

Plus du pseudo-language, mais qui devrait ressembler à un 'trigger dll statement'

En fait, noob comme je suis je n'arrive pas à ecrire le trigger
qui devrait ressembler à ceci :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
USE `essai19`;
DELIMITER //
CREATE TRIGGER essai BEFORE INSERT ON TAB3 FOR EACH ROW
BEGIN 
IF ( 
(SELECT CHILD FROM TAB3 WHERE SEQNO = NEW.TAB3_SEQNO
       INTERSECT 
SELECT PARENT FROM TAB2 WHERE CHILD FROM TAB2 = CHILD FROM   TAB3 WHERE SEQNO = NEW.SEQNO)
IS NULL 
 ) 
 
THEN 
'STOP INSERT AND DISPLAY ERROR CONSTRAINT VIOLATION'
;
END IF;
END;

Je ne suis pas sûr de la syntaxe, la requête sql devrait pouvoir renvoyer 'NULL' lorsque la contrainte que je me suis fixé n'est pas vérifiée. Et dans ce cas je devrais stopper l'insert et expliciter la violation de la requête.

Une idée ?

Merci d'avance

Johan

[Antoun]

Bon, je n'entrave que pouic à ton pseudo-langage ! Peux-tu dire en français ce que c'est censé faire, et en quoi une clé étrangère ne te suffit pas ? Parce que tout ce micmac pour générer un message d'erreur sur une violation d'intégrité référentielle, ça me semble assez superflu ...

Sinon, je pense que cet article t'intéressera : http://alain-defrance.developpez.com...integre-error/

[speedy_g]

Le schéma( cfer premier post) en attaché explique bien le problème, il gère en fait la structure d'une bibliothèque.

Voici une explication plus détaillée de ce que fait le schéma par un exemple :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
 
tab1 reprend alors : rayon, armoire, local, ...
 
tab2 reprend alors la structure de la biblio : 
institut -> local -> .armoire -> numero de document 
                          rayon     
 
tab4 reprend alors toute les possibilitées : local : 1,2,3. armoire : a1,a2,a3....  
 
tab 3 définit une localisation : le doc 1 se trouve dans armoire a1, local2,....

Si on se fixe une extrémité de la structure ( ex: armoire), alors tab2 permet de remonter jusqu'a la racine( l'institut). Et tab3 doit juste associer à chaque étape l'identifiant correspondant ( armoire a1,...).

Seulement pour le moment, rien ne contraint tab3 à suivre la structure de tab2.

Ce trigger permettrait de le faire. En disant que chaque "child" doit etre lié à un "parent" défini préalablement dans tab2.


Comment verrais-tu l'insertion d'une cléf etrangère ?,


Merci pour le lien et pour ta patience.

Johan

[Antoun]

Désolé, mais je ne comprends ni ton modèle, ni même une seule de tes phrases.

Peux-tu modifier ton modèle pour donner des noms plus explicites que "tab1", "tab2", etc. ? Peux-tu présenter les choses à travers un exemple ?

[speedy_g]

Bonjour,

Je vais essayer d'être plus clair.

Le but c'est de modéliser une bibliothèque d'échantillons de manière relativement évolutive.

En effet, la DB devrait pouvoir adapter le système de stockage des échantillons assez facilement.

Les échantillons sont stockés dans des conteneurs divers ( armoire, étagère qui eux même sont inclus dans des frigos ( ou non) qui sont inclus dans des locaux...).

Il devrait ainsi être possible d'ajouter facilement un type de conteneur. La table qui gère cela est "Type_Conteneur"

Chaque type de conteneur est totalement identifié grâce à une valeur spécifiée dans la table "Conteneur".

Un échantillon se trouve alors dans un conteneur défini d'un certain type et est contenu également dans un autre conteneur défini d'un certain type qui est lui-même contenu..... C'est la raison de la réflexivité dans la table "localisation".

Dans cet état des choses, il serait possible de localiser un échantillon dans un frigo qui est contenu dans un rayon d'une armoire. Ce qui n'est pas du tout possible.

Dans le but d'éviter à l'application web de casser l'aspect évolutif de la DB "en identifiant précisemment un Type de conteneur et en lui spécifiant certaines règles, il ne sera pas possible de détruire un élément ss changer l'application web". Une table reprenant la structure acceptable du système de rangement est prévue ' Strut_Lib'.

Il faut maintenant pouvoir établir des règles à l'insertion d'une donnée pour que la "Localisation" suive le type de structure définie dans "Struct_Lib".

C'est la raison du trigger.
Il devrait pour chaque type de conteneur vérifier que son contenant soit bien un contenant admissible défini dans "Struct_lib".

Le problème vient du fait que je n'arrive pas à écrire des triggers.
"Je voudrais que pour chaque insertion dans Localisation, celui-ci vérifie avant l'insertion si le type de conteneur vers lequel il pointe soit un de ceux pointé dans Struct_Lib.

J'espère avoir été plus clair.

Merci de votre aide

Johan

[Antoun]

Il faut maintenant pouvoir établir des règles à l'insertion d'une donnée pour que la "Localisation" suive le type de structure définie dans "Struct_Lib".

C'est la raison du trigger.
Il devrait pour chaque type de conteneur vérifier que son contenant soit bien un contenant admissible défini dans "Struct_lib".

Le problème vient du fait que je n'arrive pas à écrire des triggers.
"Je voudrais que pour chaque insertion dans Localisation, celui-ci vérifie avant l'insertion si le type de conteneur vers lequel il pointe soit un de ceux pointé dans Struct_Lib.

D'après ce que je crois comprendre, ça doit faire qqch comme ça :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
CREATE TRIGGER Loc_BI BEFORE INSERT ON Localisation
FOR EACH ROW
  BEGIN 
  DECLARE type2 INT ;
  SELECT Contenant INTO type2
  FROM Struct_Lib 
  WHERE Contenu = new.Conteneur_type ;
  IF type2 IS NULL THEN un truc qui fait échouer ;
  END IF ;
END ;

Pour le "truc qui fait échouer", voir l'article déjà cité.

[speedy_g]

merci pour l'info,

Cela m'a permis de résoudre mon problème


Johan