Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found

Target

Select target project
  • elatrous/latrous-projet2-nf17
1 result
Show changes
Commits on Source (4)
-- Table: public.commune -- Table: public.commune
-- DROP TABLE public.commune; -- DROP TABLE public.commune;
...@@ -8,7 +7,7 @@ CREATE TABLE public.commune ...@@ -8,7 +7,7 @@ CREATE TABLE public.commune
code_postal integer NOT NULL, code_postal integer NOT NULL,
nom character, nom character,
PRIMARY KEY (code_postal) PRIMARY KEY (code_postal)
} )
WITH ( WITH (
OIDS=FALSE OIDS=FALSE
); );
......
Commune (nom: String , #code_postal:int) Commune (nom: String , #code_postal:int)
Position( longitude:int , lattitude: int , comune => Commune(code_postal)) (longitude, lattitude ) is key AND commune non null 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) ...@@ -24,7 +23,7 @@ vVoiture = JOINTURE ( Noeud,Voiture, Noeud.identifiant= Voiture.identifiant)
Contrainte pour la réference de Noeud depuis Véhicule: Vue Contrainte pour la réference de Noeud depuis Véhicule: Vue
vVéhicule = JOINTURE ( UNION (vCamion,vMoto,vVoiture)) 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 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 ...@@ -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 Contrainte sur la communication qui doit se faire entre deux nœuds differents
nœud_emetteur ≠ nœud_recpteur 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 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 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 ...@@ -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) 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) 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 Transport (pk_camion , pk_voiture) (pk_camion, pk_voiture) is key
......