IF6-Cours-2

pages

Français

Documents

Écrit par
Emmanuel Coquery

Publié par
Odri

Lire

Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres

pages

Français

Documents

Lire

Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres

Publié par

Odri

Nombre de lectures

Langue

Français

IF6 - Initiation aux Bases de donn´ees : Calcul relationnel IF6 - Initiation aux Bases de donn´ees : Calcul relationnel IF6 - Initiation aux Bases de donn´ees : Calcul relationnelIntroduction IntroductionLangages pr´edicatifs Logique du premier ordreLangages pr´edicatifs Logique du premier ordre : termesLes termes sont compos´es de :IF6 - Initiation aux Bases de donn´ees :Variables (x,y,z,...)Principe de l’alg`ebre relationnelle : combiner des relations `aCalcul relationnel Constantes (a,b,c,...,1,2,...,’toto’,’titi’,...)travers des op´erateurs pour formuler une requˆete.Symboles de fonctions, avec leur arit´e (f /2,g/4,+/2,...)Exemple : f (g(a,x,a,z),y)E.Coquery´Evaluation des termes dans un domaine :emmanuel.coquery@liris.cnrs.fr Langages pr´edicatifs : domaine : ensemble de valeurs possiblesexprimer une requˆete par d´eﬁnition du r´esultat; les variables prennent leur valeur dans le domainehttp ://www710.univ-lyon1.fr/'ecoquery/enseignement/if6en faisant abstraction des m´ecanismes utilis´es par le SGBD. les constantes prennent leur valeur dans le domaineles fonctions renvoie un r´esultat dans le domaine d´ependant deLangages d´eclaratifs inspir´es de la logique du premier ordre.leurs arguments (dont la valeur est aussi dans le domaine)Exemple : 2 + x& 6 lorsque x vaut 4.IF6 - Initiation aux Bases de donn´ees : Calcul relationnel IF6 - Initiation aux Bases de donn´ees : Calcul relationnel IF6 - Initiation aux Bases de donn´ees : Calcul ...

Voir

Publié par

Odri

Langue

Français

Voir