IF6-Cours-2

IF6 - Initiation aux Bases de donn´ees : Calcul relationnelIF6 - Initiation aux Bases de donn´ees :Calcul relationnelE.Coqueryemmanuel.coquery@liris.cnrs.frhttp ://www710.univ-lyon1.fr/∼ecoquery/enseignement/if6IF6 - Initiation aux Bases de donn´ees : Calcul relationnelIntroductionLangages pr´edicatifsLangages pr´edicatifsPrincipe de l’alg`ebre relationnelle : combiner des relations `atravers des op´erateurs pour formuler une requˆete.Langages pr´edicatifs :exprimer une requˆete par d´efinition du r´esultat;en faisant abstraction des m´ecanismes utilis´es par le SGBD.Langages d´eclaratifs inspir´es de la logique du premier ordre.IF6 - Initiation aux Bases de donn´ees : Calcul relationnelIntroductionLogique du premier ordreLogique du premier ordre : termesLes termes sont compos´es de :Variables (x,y,z,...)Constantes (a,b,c,...,1,2,...,’toto’,’titi’,...)Symboles de fonctions, avec leur arit´e (f/2,g/4,+/2,...)Exemple : f(g(a,x,a,z),y)´Evaluation des termes dans un domaine :domaine : ensemble de valeurs possiblesles variables prennent leur valeur dans le domaineles constantes prennent leur valeur dans le domaineles fonctions renvoie un r´esultat dans le domaine d´ependant deleurs 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 relationnelIntroductionLogique du premier ordrePr´edicatsFonctions dont le r´esultat est vrai ou faux.Les arguments sont des ...