16 lines
402 B
Markdown
16 lines
402 B
Markdown
up::[[concepts des bases de données]]
|
|
#s/informatique
|
|
[[base de données]]
|
|
|
|
----
|
|
Une _valuation_ est une fonction qui associe des valeurs à des variables.
|
|
|
|
$v_1, v_2, v_3$ sont trois valuations :
|
|
- $v_1(t) = starwars, v_1(r) = lucas, v_1(a) = 1977$
|
|
- $v_2(t) = dune, v_2(r) = lynch, v_2(a) = 1984$
|
|
- $v_3(t) = 1977, v_3(r) = 1984, v_3(a) = 1977$
|
|
|
|
|
|
$v_1(films(t, r, a)) = (starwars, lucas, 1977)$
|
|
|