init.sql

-
 -- Table: public.commune
 
 -- DROP TABLE public.commune;
@@ -8,7 +7,7 @@ CREATE TABLE public.commune
   code_postal integer NOT NULL,
   nom character,
   PRIMARY KEY (code_postal)
-}
+)
 WITH (
   OIDS=FALSE
 );

mld.txt

-
 Commune (nom: String , #code_postal:int) 
 
 Position( longitude:int , lattitude: int , comune => Commune(code_postal)) (longitude, lattitude ) is key AND commune non null 
@@ -24,7 +23,7 @@ vVoiture = JOINTURE ( Noeud,Voiture, Noeud.identifiant= Voiture.identifiant)
 
 Contrainte pour la réference de Noeud depuis Véhicule: Vue
 vVéhicule = JOINTURE ( UNION (vCamion,vMoto,vVoiture))
-Contrainte pour le avoir une limite sur le nombre de voitures à transporter par le Cammion
+Contrainte pour tester sur la limite du nombre de voitures à transporter par le Cammion en cas de limites existantes
 ...
 
 Contrainte pour la réference de nœud depuis Infrastructure: Vue
@@ -38,7 +37,7 @@ Communication(#numéro:int, nœud_emetteur=> Nœud( identifiant) , nœud_recpteu
 Contrainte sur la communication qui doit se faire entre deux nœuds differents
 nœud_emetteur ≠ nœud_recpteur
 
-Contrainte sur le type de communication faisant intervenir un véhicule : au moment de l’insertion
+Contrainte sur le type de communication faisant intervenir un véhicule: au moment de l’insertion
 Si JOINTURE ( Noeud,Vehicule,Noeud.identifiant=Véhicule.noeud,Communication.noeud_emeteur ) == {} Alors Communication.type = un_à_un
 
 Capteur( #noeud=> Noeud(identifiant), #numéro_série:int , modèle:string) (noeud,numéro_série) is key
@@ -51,9 +50,10 @@ Contrainte de cardinalié miniamale de la assocaition 1:0..N Capteur → Evènem
 Projection(Évènement, capteur) inclut dans Projection( Capteur, numéro_série)
 
 Contrainte pour l’heritage par classe mére (Évènement  → accident,alert_meteo,detection_materiel, traveau_routiers)
-….
-
-
+vAccident = PROJECTION ( RESTRICTION ( Évènement , type = 'accident'), timestamp ,id_entité ,contenu,communication, capteur, gravité, nombre_véhicules, types_véhicules)
+vAlert_meteo = PROJECTION ( RESTRICTION ( Évènement , type = 'alert_meteo'), timestamp ,id_entité ,contenu,communication, capteur, temps, temperature)
+vDetection_materiel = PROJECTION ( RESTRICTION ( Évènement , type = 'detection_materiel'), timestamp ,id_entité ,contenu,communication, capteur )
+vTraveau_routiers = PROJECTION ( RESTRICTION ( Évènement , type = 'traveau_routiers'), timestamp ,id_entité ,contenu,communication, capteur )
 
 
 Transport (pk_camion , pk_voiture) (pk_camion, pk_voiture) is key