IF6-Cours-2

De
Publié par

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´efinition 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 ...
Publié le : samedi 24 septembre 2011
Lecture(s) : 28
Nombre de pages : 4
Voir plus Voir moins
Soyez le premier à déposer un commentaire !

17/1000 caractères maximum.