#flashcards/informatique/BDD

En BDD, la _sorte_ d'une relation est
?
l'ensemble des attributs
Ex: $sorte(R) = \{titre, réalisateur, année\}$
<!--SR:!2028-05-22,1470,310-->

En BDD, l'_arité_ d'une relation est
?
le nombre d'attributs. C'est le cardinal de la _sorte_.
<!--SR:!2028-07-14,1565,330-->

En BDD, le _shéma_ d'une relation est
?
Le la forme $R[U]$ où $R$ est le nom de la relation, et $U$ la _sorte_ de $R$
Ex: $films[titre, réalisateur, année]$
<!--SR:!2027-08-30,1204,330-->


En _langage à base de règles_, la requête $ans(u)\leftarrow R_1(u_1),R_2(u_2),\ldots,R_n(u_n)$ se lit ...
?
Elle se lit "$ans$ est vrai si $R_1,R_2,\ldots,R_n$ sont vraies"
<!--SR:!2029-03-31,1783,376-->

En _langage à base de règles_, dans la requête $ans(u)\leftarrow R_1(u_1),R_2(u_2),\ldots,R_n(u_n)$, comment s'appelle la partie $ans(u)$ ?
?
La partie $ans(u)$ est appelée la **tête** de la règle.
<!--SR:!2028-12-26,1688,356-->


En _langage à base de règles_, dans la requête $ans(u)\leftarrow R_1(u_1),R_2(u_2),\ldots,R_n(u_n)$, comment est appelée la partie $R_1(u_1),R_2(u_2),\ldots,R_n(u_n)$ ?
?
La partie $R_1(u_1),R_2(u_2),\ldots,R_n(u_n)$ est appelée le **corps** de la règle.
<!--SR:!2028-09-22,1593,336-->

En BDD, une _valuation_ est ...
?
Une fonction qui donne des valeurs à chaque attribut.
<!--SR:!2027-01-21,1158,316-->