Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
L
Latrous-Projet2-NF17
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Container Registry
Model registry
Operate
Environments
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Emna Latrous
Latrous-Projet2-NF17
Compare revisions
e8eda0c4271c0116077d6f363518d069f202f9dc to 31440f972d492ac6f4d49504cf679259ef280866
Compare revisions
Changes are shown as if the
source
revision was being merged into the
target
revision.
Learn more about comparing revisions.
Source
elatrous/latrous-projet2-nf17
Select target project
No results found
31440f972d492ac6f4d49504cf679259ef280866
Select Git revision
Swap
Target
elatrous/latrous-projet2-nf17
Select target project
elatrous/latrous-projet2-nf17
1 result
e8eda0c4271c0116077d6f363518d069f202f9dc
Select Git revision
Show changes
Only incoming changes from source
Include changes to target since source was created
Compare
Commits on Source (4)
Update mld.txt
· 67d14762
Emna Latrous
authored
4 years ago
67d14762
Update mld.txt
· 38e4522a
Emna Latrous
authored
4 years ago
38e4522a
Update init.sql
· 39299cf5
Emna Latrous
authored
4 years ago
39299cf5
Merge branch 'develop' into 'master'
· 31440f97
Emna Latrous
authored
4 years ago
Develop See merge request
!5
31440f97
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
init.sql
+1
-2
1 addition, 2 deletions
init.sql
mld.txt
+6
-6
6 additions, 6 deletions
mld.txt
with
7 additions
and
8 deletions
init.sql
View file @
31440f97
-- 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
);
);
...
...
This diff is collapsed.
Click to expand it.
mld.txt
View file @
31440f97
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
...
...
This diff is collapsed.
Click to expand it.