IF6-Cours-2

Emmanuel Coquery

Description

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 :[e-mail] 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 ...

Informations

• Publié par: Odri
• Nombre de lectures: 29
• Langue: Français

Extrait