a

b

c

d

e 12

3

4

5

Relation quelconque

Ensemble de départ Ensemble d ’arrivéeou cible (target)

domaine

Codomaine ourange

a

b

c

d

e 12

3

4

5

Fonction partielle

a

b

c

d

e 12

3

4

5

Fonction totale

a

b

c

d

e

2

5

Fonction partielle surjective

a

b

c

d

e

2

5

Fonction totale surjectiveBijection

a

b

c

d

e 12

3

4

5

R1 [{a, b, c}] = {2, 4}

Image relationnelle

a

b

c

d

e 12

3

4

5

r1

R1 |> {2, 5} = {(a, 2), (b, 2), (d, 5)}

Restriction de codomaine

a

b

c

d

e 12

3

4

5

r1

{a, b} <| r1 = {(b, 2), (c, 4)}

Restriction de domaine

a

b

c

d

e 12

3

4

5

r1

{b, c} <<| r1= {(a, 2), (a, 4), (d, 5)}

Antirestriction de domaine

a

b

c

d

e

2

5

1

3

4w

x

z

y

r1 r2

r1 ; r2 == r2 o r1

estSituéeDans : Salle --> Bâtiment &aPourNuméro : Salle --> NAT &estSituéeDans >< aPourNuméro : Salle >--> Bâtiment * NAT

SETSVALEURS_FACIALE

VARIABLES monPorteMonnaie

INVARIANTmonPorteMonnaie :

VALEURS_FACIALE +-> NAT

Bag (Multiset)

Raffinage

Art. L 113-1 La qualité d ’auteur appartient, sauf preuve contraire, à celui ou àceux sous le nom de qui l ’œuvre est divulguée

Art. L 113-2Est dite de collaboration l ’œuvre à la création de laquelle ont concou-ru plusieurs personnes physiques.Est dite composite l ’œuvre nouvelle à laquelle est incorporée une œuvre préexistante sans la collaboration de l ’auteur de cette dernière.Est dite collective, l ’œuvre créée sur l ’initiative d ’une personnephysique ou morale qui l ’édite, la publie et la divulgue sous sadirection et son nom et dans laquelle la contribution personnelle des

divers auteurs participant à son élaboration se fond dans l ’ensembleen vue duquel elle est conçue, sans qu’il soit possible d ’attribuer àchacun d ’eux un droit distinct sur l ’ensemble réalisé.

Art. L. 113-3L ’œuvre de collaboration est la propriété commune des coauteurs. (…)

Art. L 113-4L ’œuvre composite est la propriété de l ’auteur qui l ’a réalisée, sousréserve des droits de l ’auteur de l ’œuvre préexistante.

Art. L 113-5L ’œuvre collective est, sauf preuve contraire, la propriété de la personne physique ou morale sous le nom de laquelle elle estdivulguée.Cette personne est investie des droits de l ’auteur.

Art. L 113-6Les auteurs des œuvres pseudonymes et anonymes jouissent sur celles-ci des droits reconnus par l ’article L. 111-1Ils sont représentés dans l ’exercice de ces droits par l ’éditeur ou lepublicateur originaire, tant qu ’ils n ’ont pas fait connaître leuridentité civile et justifié de leur qualité. (…)

Est dite de collaboration l ’œuvre à la création de laquelle ont concou-ru plusieurs personnes physiques.

aPourCollaborateurs : oeuvreDeCollaboration <--> personnes

L ’œuvre de collaboration est la propriété commune des coauteurs. (…)

coauteurs (oColl) == aPourCollaborateurs [{oColl}]

aPourPropriétaire : oeuvreDeCollaboration --> POW ( personnes)

Est dite composite l ’œuvre nouvelle à laquelle est incorporée une œuvre préexistante sans la collaboration de l ’auteur de cette dernière.

aPourComposants : oeuvreComposite <--> œuvres

aPourCollaborateurs : oeuvreDeCollaboration <--> personnes

aPourAuteur : œuvres --> personnesaPourComposants ; aPourAuteur