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
-- 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
);
......
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
......