Bases de données Cours 5 : Base de données déductives

Dimension: px
Commencer à balayer dès la page:

Download "Bases de données Cours 5 : Base de données déductives"

Transcription

1 Cours 5 : ESIL Université de la méditerranée

2 Plan du cours 1 Introduction 2 approche sémantique approche axiomatique 3 règles de déduction bases de données déductives approche sémantique approche axiomatique 4 programmes en

3 Bibliographie Livres : A. Thayse et al. : Approche logique de l intelligence artificielle. Tome2 : de la logique modale à la logique des bases de données. Dunod ed H. Garcia-Molina, J. D. Ullman, J. Widow : Database systems, the complete book. Prentice Hall ed N.Bidoit : C. Zaniolo : LDL++ tutorial. UCLA Supports de cours : R. Godin : Logique et bases de données. 2004

4 approche sémantique approche axiomatique Logique des prédicats : sémantique des bases de données relationnelles Approche sémantique : BD relationnelle : Langage logique du 1er ordre : LR BD : modèle de Herbrand de certaines formules de ce Langage Evaluation d une requête : sélection des instances fondamentales de la requête dans le modèle Approche axiomatique : BD relationnelle : Théorie logique du 1er ordre Evaluation d une requête : sélection des instances fondamentales de la requête qui sont des théorèmes de la théorie

5 approche sémantique approche axiomatique Langage relationnel Langage relationnel LR : associé au schéma S d une BD (adaptation de la langage logique des prédicats) Vocabulaire Nombre fini de constantes : réunion des domaines de S Pas de symbole fonctionnel Nombre fini de prédicats, un prédicat spécial égalité (noté =) Chaque prédicats de LR : schéma d une relation de S Procédé de formation des formules Même procédé que la logique des prédicats

6 approche sémantique approche axiomatique requêtes < x Q(x) > : x(x 1,,x n ) variables cibles de la requête Q(x) : formule de LR < Q > : requête oui-non Q : formule close de LR exemples de requêtes < x y (pere(x,y) (pere(y,lucie) mere(y,lucie))) > contraintes d intégrité : formules closes de LR x y z ((pere(x,z) mere(y,z)) n (conjoint(x,y,n)))

7 approche sémantique approche axiomatique reformulation des requêtes non acceptables requête non acceptable requête acceptable < x F(x) > < x T(x) F(x) > < y F(x,y) > < y x(t(x) F (x)) > < x,y, z F 1(x,y) F 2(y, z) > < x, y,z F(x,z) (F 1(x,y) F 2(y,z)) >

8 approche sémantique approche axiomatique correspondance LR algèbre relationnelle LR algèbre relationnelle < x r > r < x r(x,a) > π x(σ y=a(r)) < y,x F(x) > D < x F(x) > < x F 1(x 1) F 2(x 2) > < x 1 F 1(x 1) > < x 2 F 2(x 2) > < x F 1(x 1) F 2(x 2) > < x F 1(x 1) > < x F 2(x 2) >

9 approche sémantique approche axiomatique correspondance LR algèbre relationnelle (suite) LR algèbre relationnelle < x yf(x,y) > < x, y F(x,y) > D < x yf(x,y) > π x( < x,y F(x,y) > ) < x F(x) > D n \ < x F(x) > ) α β (α β) (β α)

10 approche sémantique approche axiomatique correspondance LR algèbre relationnelle (suite) α β ( α β) < x x = x > D < x x = a > {(a)} < x x = y > {(a,a) (a) D} < x p(a) > {()} si a p < x p(a) > {} si a p

11 approche sémantique approche axiomatique sémantique de LR interprétation : I = (D,I c,i v ) où D : ensemble non vide, domaine d interprétation I c : la fonction : Cons D D m {0,1} c I c (c) P I c (P) I v : la fonction : Var D x I v (x)

12 approche sémantique approche axiomatique interprétation d une formule de la logique LR A une formule de LR, association d une valeur de vérité I(A) à A si x est une variable libre alors I(x) = I v (x) I(c) = (I c (c)) I(P(t 1,,t m )) = (I c (P))(I(t 1 ),,I(t m )) si A et B sont des formules alors A, A B, A B, A B, A B s interprètent comme dans la logique propositionnel si A est une formule et x une variable alors I( x A) = 1 si I x/d (A) = 1 pour tout élément d D si A est une formule et x une variable alors I( x A) = 1 si I x/d (A) = 1 pour au moins un élément d D

13 approche sémantique approche axiomatique Théorème de Herbrand univers de Herbrand U F associé à un ensemble de formules F : ensemble des constantes apparaissant dans les formules de F base de Herbrand (finie) B F associé à F : ensemble des prédicats construits à partir de F en remplaçant les variables par des éléments de l univers de Herbrand interprétation de Herbrand de F : attribution d une valeur de vérité à chaque formule de B F théorème de Herbrand : F est satisfaisable ssi B F est satisfaisable

14 approche sémantique approche axiomatique Point de vue sémantique Approche centrée sur les interprétations existence d un plus petit modèle de Herbrand M B associé à B M B : intersection de tous les modèles de Herbrand réponse aux requêtes < x,q(x) > ensemble de c = (c 1, c n ) pour lesquels Q(c) est vrai dans M B < x,q(x) > = {c, = MB Q(c)} réponse aux requêtes oui-non <,Q > = {()} <,Q > = {} <, Q > = {()} Q est vrai dans M B Q n est pas vrai dans M B Q est faux dans M B

15 approche sémantique approche axiomatique Approche axiomatique théorie logique de LR : associé á une BD (adaptation de la logique des prédicats) a = (a 1,,a n ) r(a) extension d une relation instance de LR BD : ensemble de formules logiques (théorie) de LR représentant les relations axiomes associés à S c = (c 1,,c n ) r r(c) LR

16 approche sémantique approche axiomatique Point de vue axiomatique Approche centrée sur les axiomes axiomes de complétude A(B) : si c = (c 1,,c n ) r alors r(c) est un axiome hypothèse du monde clos : HMC(B) = { P,p B B et P B} axiome de complétude C(B) : x(r(x) x = c 1 x = c 2 x = c p ) axiome d unicité de nom AUN(B) : c i c j, 1 i < j p axiome de fermeture du domaine AFD(B) : x(x = c 1 x = c p ) ou T B = T HMV B T B = T C B = A(B) HMC(B) AUN(B) AFD(B) = A(B) C(B) AUN(B) AFD(B)

17 approche sémantique approche axiomatique Point de vue axiomatique réponse aux requêtes < x,q(x) > ensemble de c = (c 1, c n ) pour lesquels Q(c) est un théorème de T B < x,q(x) > = {c, T B Q(c)} réponse aux requêtes oui-non <,Q > = {()} Q est un théorème de T B <,Q > = {} Q n est pas un théorème de T B <, Q > = {()} Q est un théorème de T B

18 approche sémantique approche axiomatique Equivalence des points de vue axiomatique et sémantique T HMV B théorème : et TB C sont équivalentes T HMV B théorème : et TB C admettent comme seul modèle M B théorème : Si F est une formule de LR alors < x,f(x) > = < x,f(x) >

19 règles de déduction bases de données déductives approche sémantique approche axiomatique base de donnée relationnelle relation pere et relation mere x y x y a b f b d c e c contraintes d intégrité x y(pere(x,y) parent(x,y)) x y(mere(x,y) parent(x,y))

20 règles de déduction bases de données déductives approche sémantique approche axiomatique redondance entre contraintes d intégrité et extension des relations exemple x y(pere(x,y) parent(x,y)) x y(mere(x,y) parent(x,y)) redondance de parent(a,b) lorsque : pere(a,b) B ou mere(a,b) B

21 règles de déduction bases de données déductives approche sémantique approche axiomatique suppression de la redondance suppression de certaines extensions de prédicats dans la BD remplacement par des définitions en compréhension transformation de contraintes en règles de déduction transformation de certains prédicats relationnels en prédicats virtuels construction d une théorie plus compacte exemple parent(a,b) prédicat virtuel défini en compréhension par les règles de déduction : x y(pere(x,y) parent(x,y)) x y(mere(x,y) parent(x,y))

22 règles de déduction bases de données déductives approche sémantique approche axiomatique règle de déduction t (h(t) y(b 1 b n )) A B : si B alors A h(t) : tête de règle, conséquent y(b 1 b n ) : corps de la règle, antécédent exemple r 1 : parent(x,y) pere(x,y) r 2 : parent(x,y) mere(x,y) r 3 : grand parent(x,y) (parent(x,z) parent(z,y))

23 règles de déduction bases de données déductives approche sémantique approche axiomatique règle de déduction relations de dépendance entre prédicats p dépend directement de q : si q apparaît dans le corps d une règle et p dans la tête p est récursif : si p dépend de p p dépend strictement de q : si p dépend de q et q ne dépend pas de p une règle de déduction est récursive : si son antécédent contient un prédicat qui dépend du conséquent

24 règles de déduction bases de données déductives approche sémantique approche axiomatique base de données déductive une base donnée déductive B, est une théorie comprenant : une base de donnée extensionnelle B E base de données relationnelle une base de donnée intensionnelle B I ensemble de règles de déduction

25 règles de déduction bases de données déductives approche sémantique approche axiomatique base de données déductive une règle de déduction est stricte si les littéraux figurant dans l antécédent sont tous positifs : h(t) (b 1 b n ) une règle de déduction est stricte est équivalente à une clause de Horn : h(t) b 1 b n une base de donnée déductive B est stricte si toute règle de déduction de B I est stricte une base de donnée déductive B stricte est hiérarchique si aucun prédicat virtuel n est récursif

26 règles de déduction bases de données déductives approche sémantique approche axiomatique Approche sémantique théorème Soit B une base de données stricte. L intersection de tous les modèles de Herbrand de B est un modèle de Herbrand théorème Soit M B = {A B B B = A} une base de données stricte. L intersection de tous les modèles de Herbrand de B est un modèle de Herbrand Approche sémantique base de donnée B : plus petit modèle de Herbrand M B évaluation des requêtes : recherche des instances vraies dans M B

27 règles de déduction bases de données déductives approche sémantique approche axiomatique Approche axiomatique Soit B une base de données stricte et B B sa base de Herbrand de B avec HMC(B) = { P P B B et B P} La théorie TB HMC associée à B = B HMC(B) AFD(B) AUN(B) est théorème : la théorie T HMC B est cohérente théorème : T HMC B p(a) ssi B A théorème : M B est le seul modèle de T HMC B théorème : la théorie T HMC B est complète

28 Introduction programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en base de données relationnelle : données représentées par des tables relation arc relation chemin dep ar dep ar Toulon Marseille Toulon Marseille Toulon Cassis Toulon Cassis Toulon La Ciotat Toulon La Ciotat Cassis Marseille Cassis Marseille La Ciotat Cassis La Ciotat Marseille La Ciotat Cassis relation : nom attribut : ensemble de valeurs sur un domaine D schéma d une relation : nom(a 1 : D 1,...,A n : D n ) algébre relationnelle avec les opérateurs : σ, π,,,,,

29 Modèle relationnel : programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en fondé sur le concept de table avantages : limites : représentation simple pour les utilisateurs modèle bien fondé formellement algèbre : opérations sur les tables logique : langage relationnel ou théorie du 1er ordre représentation de données sémantiquement plus complexes manipulation : effectuer des inférences

30 programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en Le langage (DATA base LOGic) langage déclaratif proche du langage de programmation logique PROLOG de ensemble de variables ensemble (non vide) de constantes ensemble (non vide) de prédicats deux connecteurs :,

31 règles en programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en m 0, L et L i : littéraux positifs règles : L L 1 L m signification de : si L 1 L m alors L L : tête de règle, conséquent L 1 L n : corps de la règle, antécédent règles avec corps vide (faits) : L programme : ensemble de règles

32 exemple de programme (1) programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en programme : arc(toulon, Marseille) arc(toulon, Cassis) arc(cassis, Marseille) chemin(x,y) arc(x,y) arc(toulon, LaCiotat) arc(laciotat, Cassis) chemin(x,y) arc(x,z) chemin(z,y) requêtes : chemin(toulon, Cassis), chemin(la Ciotat, Marseille), chemin(marseille, La Ciotat), chemin(x, Marseille), chemin(toulon,y), chemin(x,y)

33 exemple de programme (2) programme : parent(jean, Luc) parent(anne, Luc) parent(marie, Paul) parent(luc, Eric) parent(paul, Guy) ancêtre(x,y) parent(x, y) programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en parent(jean, Eve) parent(anne, Eve) parent(luc, Paul) parent(lucie, Guy) ancêtre(x,y) parent(x, z) ancêtre(z,y) requêtes : ancêtre(marie, Paul), ancêtre(jean, Eric), ancêtre(jean, Guy), ancêtre(x, Guy), ancêtre(anne,y), ancêtre(x,y)

34 programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en sémantique de (modèle minimal) correspondance et logique des prédicats règles : L L 1 L m formule de L Pr : x 1,,x k ( si y 1, y n (L 1 L m )) alors L x 1,,x k : variables apparaissant dans L y 1, y n : variables apparaissant dans L 1,,L m P P LPr programme ensemble de formules de L Pr P LPr : ensemble de clauses de Horn : L L 1 L m

35 interprétation de Herbrand programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en interprétation : I = (D,I c ) où D ensemble non vide, ensemble des constantes I c la fonction : D m {0,1} D D P I c (P) c I c (c) BH LPr Base de Herbrand : ensemble de tous les faits positifs construits sur L Pr I interprétation de Herbrand : représenté par un sous-ensemble de BH LPr IH : ensemble des interprétations de Herbrand

36 Hypothèse du monde clos programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en monde réel décrit de façon incomplète faits positifs uniquement (minimisation du stockage) connaissance du monde supposée complète Hypothèse du monde clos : déduction de faits négatifs à partir de faits positifs L Pr : impossibilité de déduction de faits négatifs à partir de faits positifs mécanime extra-logique pour le traitement de la négation

37 Choix du modèle minimal programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en modèle satisfaisant le moins de faits positifs possible F un ensemble de formules de L Pr M est un modèle minimal de F si : M un modèle de Herbrand M un modèle de F si M M alors M = M ensemble cohérent de clauses : existence d au moins un modèle minimal ensemble de clauses de Horn : modèle minimal : intersection des modèles de Herbrand

38 modèle d un programme programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en modèle minimal d un programme P M P modèle minimal de P LPr implication ou conséquences d un programme f L Pr, P = f ssi M P satisfait f implication de faits positifs (f positif) P = f ssi P LPr = f implication de faits négatifs P = f n implique pas P LPr = f

39 programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en base de données déductive et une base donnée déductive B, comprend : une base de donnée extensionnelle B E une base de donnée intensionnelle B I B E ensemble de schémas de relation B I ensemble de schémas de relation langage programme définissant les relations

40 sémantique du point fixe programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en vision plus opérationnelle d un programme : faits et règles opérateur : application des règles aux faits afin de produire de nouveaux faits chaînage avant ( bottom-up )

41 sémantique du point fixe programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en T P : opérateur de conséquence immédiate associé à un programme P T P (I) = {tete(r) r IH P et L corps(r),i = L} pour I IH T P est monotone T P admet un plus petit point fixe pppf (T P ) pppf (T P ) s obtient par l itération de T P

42 sémantique du point fixe programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en T P (I) = {tete(r) r IH P et L corps(r),i = L} pour I IH pppf (T P (I)) : plus petit point fixe de T P équivalence des sémantiques du point fixe et du modèle minimal P programme, M P modèle minimal de P M P = pppf (T P (I))

43 programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en : exemple sémantique du point fixe implémentation : stratégie chaînage avant ( bottom-up ) on part des faits de la B E pour dériver de nouveaux faits de la B I faits de la B E : table relationnelle Evaluation de requêtes : requêtes non récursives transformation de la requête sous forme d algèbre relationnelle puis opérations de l algèbre relationnelle requêtes récursives création succéssive de tables intermédiaires

44 exemple de programme programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en programme : parent(jean, Luc) parent(anne, Luc) parent(marie, Paul) parent(luc, Eric) parent(paul, Guy) parent(jean, Eve) parent(anne, Eve) parent(luc, Paul) parent(lucie, Guy) r 1 ancêtre(x,y) parent(x, y) r 2 ancêtre(x,y) parent(x, z) ancêtre(z,y) requête : ancêtre(x,y)

45 : étape 1 programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en évaluation de la requête : ancêtre(x,y) étape 1 : création d une table vide ancêtre 0 : ancêtre 0 x y étape 2 :création d une table ancêtre 1 en utilisant la règle r 1 ancêtre(x,y) parent(x, y) la table parent

46 : étape 2 programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en ancêtre 1 x y Jean Luc Jean Eve Anne Luc Anne Eve Marie Paul Luc Paul Luc Eve Lucie Guy Paul Guy

47 : étape 3 programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en étape 3 :création d une table ancêtre 2 en utilisant la règle r 2 ancêtre(x,y) parent(x, z) ancêtre(z,y)

48 : étape 3 programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en ancêtre 2 x y Jean Luc Jean Eve Anne Luc Anne Eve Marie Paul Luc Paul Luc Eve Lucie Guy Paul Guy Jean Jean Anne Anne Marie Luc Paul Eric Paul Eric Guy Guy

49 : étape 4 programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en étape 4 :création d une table ancêtre 3 en utilisant la règle r 2 ancêtre(x,y) parent(x, z) ancêtre(z,y)

50 : étape 4 programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en ancêtre 3 x y Jean Luc Jean Eve Anne Luc Anne Eve Marie Paul Luc Paul Luc Eve Lucie Guy Paul Guy Jean Jean Anne Anne Marie Luc Paul Eric Paul Eric Guy Guy Jean Anne Guy Guy

51 Evaluation des requêtes en programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en évaluation naïve itération de l opérateur de conséquence immédiate à l aide des opérations de l algèbre relationnelle résolution restriction de la résolution de L Pr à un langage sans symbole fonctionnel méthodes des ensembles magiques réécriture du programme en un programme équivalent relativement aux réponses à la requête

52 résolution Introduction programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en principe de la résolution J. -A. Robinson Soit A, B, X des formules propositionnelles On suppose que A X et A X sont cohérentes si X est cohérente alors B est cohérente X est cohérente alors A est cohérente dans les 2 cas A B est cohérente plus formellement : {A X,B X } = A B

53 résolution en logique propositionnelle programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en proposition (résolution) S : un ensemble de clauses, c 1, c 2 S si l est un littéral tel que : c 1 = l i1 l i2 l in l et c 2 = l j1 l j2 l jm l alors S = r, avec r = l i1 l i2 l in l j1 l j2 l jm On appelle r la résolvante

54 principe de la résolution programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en S : une ensemble de clauses (CNF correspondant à F ensemble de formules propositionnelles) proposition : S est incohérent ssi S = (avec : clause vide) Algorithme de résolution début tant que S faire choisir l, c 1, c 2 tels que l c 1 et l c 2 calculer la résolvante r remplacer S par S {r} fin tant que fin

55 propriétés de la résolution programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en S : un ensemble de clauses, S : ensemble de clauses après résolution F : une formule propositionnelle proposition : si S est satisfaisable alors S est satisfaisable proposition : si F a une preuve par résolution alors F est une tautologie théorème de complétude : si F est une tautologie alors F a une preuve par résolution

56 résolution en logique des prédicats programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en résolution R et saturation S (instanciation dans l univers de Herbrand H C ) semi-commutatives : plus généralement : R(S(H C )) S(R(H C )) R n (S(H C )) S(R n (H C ))

57 unification Introduction programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en substitution : Var : ensemble des variables, T : ensemble des termes σ fonction de Var dans T, tq l ensemble {x Var,σ(x) x} est fini instance : t un terme, l : un littéral, instance de t (resp. de l), le terme noté σ(t) (resp. le littéral σ(l)), obtenu en remplaçant toutes les occurences des variables x par σ(x). t 1 et t 2 des termes, t 2 est une instance de t 1 s il existe une substitution σ telle que t 2 = σ(t 1 )

58 unification Introduction programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en unificateur : 2 littéraux l et l sont unifiables s il existe une substitution σ telle que σ(l) = σ(l ). La substitution est appelée l unificateur. unificateur principal : σ est plus général que σ, s il existe σ tq σ = σ σ il existe un unificateur plus général que tous les autres : unificateur principal

59 algorithme d unification programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en algorithme unification (t 1, t 2 : des termes) début si l un des termes (t 1 ou t 2) est une variable x, (l autre est t) alors si x = t alors possible vrai σ sinon si x appara^ıt dans t alors possible faux sinon possible vrai σ (σ(x) = t) finsi fin si sinon (t 1 = f (x 1,,x n) et t 2 = g(y 1,,y m)) si f g ou n m alors

60 (suite) algorithme d unification sinon (t 1 = f (x 1,,x n) et t 2 = g(y 1,,y m)) si f g ou n m alors possible faux sinon i 0 possible vrai σ tant que i < n et possible faire i i + 1 (possible, σ ) unification(σ(x i), σ(y i)) si possible alors σ σ σ finsi fin tant que fin si fin si fin programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en

61 propriétés de la résolution programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en proposition (résolution) S : un ensemble de clauses, c 1, c 2 S, l 1 apparaît dans c 1 et l 2 apparaît dans c 2 θ une substitution de renommage tq θ(c 1 ) et c 2 n ont aucune variable libre en commun soit σ p l unificateur principal de θ(c 1 ) et c 2 S = S {r} et S {r} = S avec r = σ(θ(c 1 \{l 1 }) (c 2 \{ l 2 })) appelée résolvante

62 Algorithme de résolution programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en début tant que S faire choisir l 1, l 2, c 1, c 2 tels que l c 1 et l 2 c 2 et l 1, l 2 unifiables calculer la résolvante r à partir de l unificateur principal remplacer S par S {r} fin tant que fin

63 utilisation de la résolution programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en F un ensemble de formules F = F ssi F { F } est insatisfaisable ou incohérent. transformer l ensemble des formules F en ensembles de clauses S et la formule F en un ensemble de clauses C appliquer la résolution à S C

64 nègation dans programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en not : négation par échec not P : on ne peut déduire P problèmes : 1 risque de clauses incorrectes 2 il n existe pas toujours de modèle minimal Solutions : 1 condition de sécurité : toute variable apparaît dans une sous-requête non précédée d une négation 2 stratification

65 nègation dans programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en exemples de clauses incorrectes S(x) not R(x) S(x) R(y) not R(x) S(x) R(y) x > y exemple de clause correcte S(x) R(x) not S(x) MAIS problème!!!

66 programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en nègation dans : exemples de clause correcte mais problématique S(x) R(x) not S(x) R(1), R(2) évaluation de S étape 1 : S = étape 2 : S = {1,2} étape 3 : S = étape 4 : S = {1,2} contrainte de stratification : la négation ne peut pas être imbriquée dans une récursion

67 nègation stratifiée dans programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en nègation stratifiée : construction d un graphe de dépendances entre prédicats sommets : prédicats arcs : d un prédicat conséquent C vers un prédicat de l antécent de la règle A ériqueté + : si S C et R A ( S R ) ériqueté - : si S C et not R A ( S not R )

68 nègation stratifiée dans programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en négation non stratifiée : cycle dans le graphe avec au moins un arc étiqueté - négation stratifiée : pas de cycle strate d un sommet : nombre maximum d arc étiqueté - programme stratifié : tous les prédicats ont une strate finie évaluation des prédicats dans l ordre croissant des strates

69 programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en nègation stratifiée dans : exemple personne(jean, M) personne(anne, F) personne(guy, M) parent(jean, Luc) parent(jean, Eve) parent(paul, Guy) ancêtre(x,y) parent(x, y) ancêtre(x,y) parent(x, z) ancêtre(z,y) PasdescendantdeLuc(x) personne(x, y) not ancêtre(luc,x) négation stratifiée

70 programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en nègation stratifiée dans : exemple graphe de dépendances

71 liens avec le modèle relationnel programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en le langage : langage logique le plus simple pour le modèle relationnel aussi puissant qu une algèbre relationnelle classique, posséde en plus la récursivité

72 liens avec le modèle relationnel programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en atomes relationnels : relations représentées par des prédicats d arité finie atomes arithmétiques : comparaisons entre 2 expressions arithmétiques variables anonymes : variables utilisées une seule fois règles : tête : atome relationnel, suivi de, suivi du corps : constitué de un ou plusieurs atomes relié éventuellement par les opérateurs et not faits : tête : atome relationnel requête : collection d une ou plusieurs règles

73 programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en expression des opérateurs relationnels en intersection : P Q R(x,y,z) P(x,y,z) Q(x,y,z) union : P Q R(x,y,z) P(x,y,z) R(x,y,z) Q(x,y,z) difference : P Q R(x,y,z) P(x,y,z) not Q(x,y,z)

74 programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en expression des opérateurs relationnels en produit : P Q R(x,y,z,a,b,c,d) P(x,y,z) ;Q(a,b,c) projection : π x,y (P) R(x,y) P(x,y,z) jointure : P Q R(x,y,z,t) P(x,y) Q(y,z,t) sélection : σ condition (P) R(x,y,z) P(x,y,z) condition

75 programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en expression des opérateurs relationnels en : exemples schéma : P(dep : D 1, arr : D 2, d : D 3 ) types : dep : chaîne de caractères, arr : chaîne de caractères, d : entier σ dep= Marseille d 50(P) R(x,y,z) P(x,y,z) z 50 x = Marseille σ dep= Marseille or d 50(P) R(x,y,z) P(x,y,z) z 50 R(x,y,z) P(x,y,z) x = Marseille

76 programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en expression des opérateurs relationnels en : exemples σ not(dep= Marseille or d 50)(P) R(x,y,z) P(x,y,z) z < 50 x Marseille σ not(dep= Marseille d 50)(P) R(x,y,z) P(x,y,z) z < 50 R(x,y,z) P(x,y,z) x Marseille

77 programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en une implantation de : LDL++ voir le tutorial de LDL ++ : à télécharger à l URL : http ://pages-perso.esil.univmed.fr/ papini/sources/bd.html

78 spécificités : LDL++ programmes en sémantique de (modèle minimal) sémantique de (point fixe) négation en Syntaxe LDL++ Nom des variables : commence par une majuscule Nom de constantes : commence par une minuscule ou entre la conjocrion : se note, not : se note toutes les règles finissent par un point. parent( Jean, Luc ) parent( Jean, Eve ). parent( Paul, Guy ). ancêtre(x,y) parent(x,y). ancêtre(x,y) parent(x,z), ancêtre(z,y).

1ère partie Nadine Cullot. Bases de données déductives. Bases de données déductives Introduction et Motivation

1ère partie Nadine Cullot. Bases de données déductives. Bases de données déductives Introduction et Motivation Master STIC «Image Informatique et Ingénierie» Module Informatique Modèles de représentation - 10h CM Nadine Cullot Kokou Yétongnon nadine.cullot@u-bourgogne.fr kokou.yetongnon@u-bourgogne.fr 1ère partie

Plus en détail

La logique. et son automatisation

La logique. et son automatisation Université de Fribourg Cours 2001 Méthodes mathématiques de l informatique C. Auderset La logique et son automatisation Première partie: Logique propositionnelle 1. Syntaxe et sémantique de la logique

Plus en détail

Utilisation des tableaux sémantiques dans les logiques de description

Utilisation des tableaux sémantiques dans les logiques de description Utilisation des tableaux sémantiques dans les logiques de description IFT6281 Web Sémantique Jacques Bergeron Département d informatique et de recherche opérationnelle Université de Montréal bergerja@iro.umontreal.ca

Plus en détail

Systèmes décisionnels et programmation avancée

Systèmes décisionnels et programmation avancée Systèmes décisionnels et programmation avancée M1 SIR Philippe Muller et Mustapha Mojahid, Matthieu Serrurier, Marie-Christine Scheix 2014-2015 Introduction structure du cours intervenants introduction

Plus en détail

Arbres binaires de recherche

Arbres binaires de recherche Chapitre 1 Arbres binaires de recherche 1 Les arbre sont très utilisés en informatique, d une part parce que les informations sont souvent hiérarchisées, et peuvent être représentées naturellement sous

Plus en détail

Modèle relationnel Algèbre relationnelle

Modèle relationnel Algèbre relationnelle Modèle relationnel Algèbre relationnelle Modèle relationnel (Codd 1970) On considère D i où i = 1,2..n des ensembles, dits domaines Un domaine = ensemble de valeurs (ex. D1 : entiers sur 10 positions,

Plus en détail

Rappels sur les suites - Algorithme

Rappels sur les suites - Algorithme DERNIÈRE IMPRESSION LE 14 septembre 2015 à 12:36 Rappels sur les suites - Algorithme Table des matières 1 Suite : généralités 2 1.1 Déition................................. 2 1.2 Exemples de suites............................

Plus en détail

Partie II Cours 3 (suite) : Sécurité de bases de données

Partie II Cours 3 (suite) : Sécurité de bases de données Partie II Cours 3 (suite) : Sécurité de bases de données ESIL Université de la méditerranée Odile.Papini@esil.univ-mrs.fr http://odile.papini.perso.esil.univmed.fr/sources/ssi.html Plan du cours 1 Introduction

Plus en détail

CH.8 Décidabilité. Propriétés des langages récursifs : Fermés par complémentation, union et intersection. oui. non. oui M 1. non. oui M 2.

CH.8 Décidabilité. Propriétés des langages récursifs : Fermés par complémentation, union et intersection. oui. non. oui M 1. non. oui M 2. CH.8 Décidabilité 8.1 Les langages récursifs 8.2 La machine de Turing universelle 8.3 Des problèmes de langages indécidables 8.4 D'autres problèmes indécidables Automates ch8 1 8.1 Les langages récursifs

Plus en détail

Exercices «Programmation récursive» Deuxième saison UPMC Cycle L Revision: 1.21

Exercices «Programmation récursive» Deuxième saison UPMC Cycle L Revision: 1.21 Exercices «Programmation récursive» Deuxième saison UPMC Cycle L Revision: 1.21 Anne Brygoo, Maryse Pelletier, Christian Queinnec, Michèle Soria Université Paris 6 Pierre et Marie Curie septembre 2005

Plus en détail

Relation binaire. 2. Relations, fonctions et ordres. Exemples. Représentation d une relation binaire. Un couple est une paire ordonnée d éléments.

Relation binaire. 2. Relations, fonctions et ordres. Exemples. Représentation d une relation binaire. Un couple est une paire ordonnée d éléments. Relation binaire Un couple est une paire ordonnée d éléments. ex: les points (x,y) du plan de IN 2 ou de IR 2, les nom et prix d un produit, les instances d un objet en Java (à 2 attributs). 2. Relations,

Plus en détail

Intelligence artificielle appliquée à l automatique

Intelligence artificielle appliquée à l automatique Intelligence artificielle appliquée à l automatique par Sylviane GENTIL Professeur à l École nationale supérieure d ingénieurs électriciens Institut national polytechnique de Grenoble 1. Définitions et

Plus en détail

Fiche de TD-TP no. 4

Fiche de TD-TP no. 4 Master 1 Informatique Programmation Fonctionnelle, p. 1 Fiche de TD-TP no. 4 Exercice 1. Voici trois façons différentes de définir le type Image : type Image = [[ Int ]] data Image = Image [[ Int ]] newtype

Plus en détail

Intelligence Artificielle Planification

Intelligence Artificielle Planification Intelligence Artificielle Planification Bruno Bouzy http://web.mi.parisdescartes.fr/~bouzy bruno.bouzy@parisdescartes.fr Licence 3 Informatique UFR Mathématiques et Informatique Université Paris Descartes

Plus en détail

1 Introduction et installation

1 Introduction et installation TP d introduction aux bases de données 1 TP d introduction aux bases de données Le but de ce TP est d apprendre à manipuler des bases de données. Dans le cadre du programme d informatique pour tous, on

Plus en détail

Logique : ENSIIE 1A - contrôle final

Logique : ENSIIE 1A - contrôle final 1 Logique : ENSIIE 1A - contrôle final - CORRIGÉ Mardi 11 mai 2010 - Sans documents - Sans calculatrice ni ordinateur Durée : 1h30 Les exercices sont indépendants. Exercice 1 (Logique du premier ordre

Plus en détail

VIII. Interrogation de documents avec XQuery

VIII. Interrogation de documents avec XQuery VIII. Interrogation de documents avec XQuery 350 XQUERY? Est un langage d interrogation de données XML N est pas un dialecte XML Est un sur-ensemble de XPath 2.0 Utilise le même modèle de données (XDM)

Plus en détail

Algèbre relationnelle

Algèbre relationnelle Algèbre relationnelle Concepts Descriptifs : Bilan RELATION ou TABLE ATTRIBUT ou COLONNE DOMAINE ou TYPE CLE CLE ETRANGERE Langages de manipulation Langages formels : base théorique solide Langages utilisateurs

Plus en détail

Fondements de l informatique Logique, modèles, et calculs

Fondements de l informatique Logique, modèles, et calculs Fondements de l informatique Logique, modèles, et calculs Cours INF423 de l Ecole Polytechnique Olivier Bournez Version du 20 septembre 2013 2 Table des matières 1 Introduction 9 1.1 Concepts mathématiques........................

Plus en détail

3 Approximation de solutions d équations

3 Approximation de solutions d équations 3 Approximation de solutions d équations Une équation scalaire a la forme générale f(x) =0où f est une fonction de IR dans IR. Un système de n équations à n inconnues peut aussi se mettre sous une telle

Plus en détail

Chapitre-4 Logique du 1er ordre - Syntaxe -

Chapitre-4 Logique du 1er ordre - Syntaxe - Chapitre-4 Logique du 1er ordre - Syntaxe - Plan 1- Introduction 2- Alphabet 3-Termes d'un langage 4- Formule de la logique du 1er ordre 5-Sous-formule d'une formule du 1er ordre 6- Arbre de décomposition

Plus en détail

Image d un intervalle par une fonction continue

Image d un intervalle par une fonction continue DOCUMENT 27 Image d un intervalle par une fonction continue La continuité d une fonction en un point est une propriété locale : une fonction est continue en un point x 0 si et seulement si sa restriction

Plus en détail

Structures de données non linéaires

Structures de données non linéaires Structures de données non linéaires I. Graphes Définition Un graphe (simple) orienté G est un couple (S, A), où : S est un ensemble dont les éléments sont appelés les sommets. A est un ensemble de couples

Plus en détail

Polynômes à plusieurs variables. Résultant

Polynômes à plusieurs variables. Résultant Polynômes à plusieurs variables. Résultant Christophe Ritzenthaler 1 Relations coefficients-racines. Polynômes symétriques Issu de [MS] et de [Goz]. Soit A un anneau intègre. Définition 1.1. Soit a A \

Plus en détail

INF 232: Langages et Automates. Travaux Dirigés. Université Joseph Fourier, Université Grenoble 1 Licence Sciences et Technologies

INF 232: Langages et Automates. Travaux Dirigés. Université Joseph Fourier, Université Grenoble 1 Licence Sciences et Technologies INF 232: Langages et Automates Travaux Dirigés Université Joseph Fourier, Université Grenoble 1 Licence Sciences et Technologies Année Académique 2013-2014 Année Académique 2013-2014 UNIVERSITÉ JOSEPH

Plus en détail

Réalisabilité et extraction de programmes

Réalisabilité et extraction de programmes Mercredi 9 mars 2005 Extraction de programme: qu'est-ce que c'est? Extraire à partir d'une preuve un entier x N tel que A(x). π x N A(x) (un témoin) (En fait, on n'extrait pas un entier, mais un programme

Plus en détail

Exemple accessible via une interface Web. Bases de données et systèmes de gestion de bases de données. Généralités. Définitions

Exemple accessible via une interface Web. Bases de données et systèmes de gestion de bases de données. Généralités. Définitions Exemple accessible via une interface Web Une base de données consultable en ligne : Bases de données et systèmes de gestion de bases de données The Trans-atlantic slave trade database: http://www.slavevoyages.org/tast/index.faces

Plus en détail

Les Fonctions Processus FONCTIONS PROCESSUS CURRYFICATION

Les Fonctions Processus FONCTIONS PROCESSUS CURRYFICATION FONCTIONS PROCESSUS CURRYFICATION Patrick Bellot Télécom ParisTech Les Fonctions Processus Fonction processus vs. Fonction graphe Fonctions en extension Fonctions en intension Egalité extensionnelle 1

Plus en détail

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours Exo7 Continuité (étude globale). Diverses fonctions Exercices de Jean-Louis Rouget. Retrouver aussi cette fiche sur www.maths-france.fr * très facile ** facile *** difficulté moyenne **** difficile *****

Plus en détail

Raisonnements standard et non-standard pour les systèmes décentralisés de gestion de données et de connaissances

Raisonnements standard et non-standard pour les systèmes décentralisés de gestion de données et de connaissances Raisonnements standard et non-standard pour les systèmes décentralisés de gestion de données et de connaissances Nada Abdallah To cite this version: Nada Abdallah. Raisonnements standard et non-standard

Plus en détail

Cours d algèbre. Maths1 LMD Sciences et Techniques. Par M. Mechab

Cours d algèbre. Maths1 LMD Sciences et Techniques. Par M. Mechab Cours d algèbre Maths1 LMD Sciences et Techniques Par M. Mechab 2 Avant Propos Ceci est un avant projet d un manuel de la partie Algèbre du cours de Mathématiques de premières années LMD Sciences et techniques

Plus en détail

Langage SQL (1) 4 septembre 2007. IUT Orléans. Introduction Le langage SQL : données Le langage SQL : requêtes

Langage SQL (1) 4 septembre 2007. IUT Orléans. Introduction Le langage SQL : données Le langage SQL : requêtes Langage SQL (1) Sébastien Limet Denys Duchier IUT Orléans 4 septembre 2007 Notions de base qu est-ce qu une base de données? SGBD différents type de bases de données quelques systèmes existants Définition

Plus en détail

Bases de données avancées Introduction

Bases de données avancées Introduction Bases de données avancées Introduction Dan VODISLAV Université de Cergy-Pontoise Master Informatique M1 Cours BDA Plan Objectifs et contenu du cours Rappels BD relationnelles Bibliographie Cours BDA (UCP/M1)

Plus en détail

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que Introduction. On suppose connus les ensembles N (des entiers naturels), Z des entiers relatifs et Q (des nombres rationnels). On s est rendu compte, depuis l antiquité, que l on ne peut pas tout mesurer

Plus en détail

Grandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test

Grandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test Grandes lignes Analyseur Statique de logiciels Temps RÉel Embarqués École Polytechnique École Normale Supérieure Mercredi 18 juillet 2005 1 Présentation d 2 Cadre théorique de l interprétation abstraite

Plus en détail

Logique. Plan du chapitre

Logique. Plan du chapitre Logique Ce chapitre est assez abstrait en première lecture, mais est (avec le chapitre suivant «Ensembles») probablement le plus important de l année car il est à la base de tous les raisonnements usuels

Plus en détail

Bases de données. Chapitre 1. Introduction

Bases de données. Chapitre 1. Introduction Références : Bases de données Pierre Wolper Email : pw@montefiore.ulg.ac.be URL : http : //www.montefiore.ulg.ac.be/~pw/ http : //www.montefiore.ulg.ac.be/ ~pw/cours/bd.html Henry F. Korth, Abraham Silberschatz,

Plus en détail

Exercices - Polynômes : corrigé. Opérations sur les polynômes

Exercices - Polynômes : corrigé. Opérations sur les polynômes Opérations sur les polynômes Exercice 1 - Carré - L1/Math Sup - Si P = Q est le carré d un polynôme, alors Q est nécessairement de degré, et son coefficient dominant est égal à 1. On peut donc écrire Q(X)

Plus en détail

Information utiles. cinzia.digiusto@gmail.com. webpage : Google+ : http://www.ibisc.univ-evry.fr/ digiusto/

Information utiles. cinzia.digiusto@gmail.com. webpage : Google+ : http://www.ibisc.univ-evry.fr/ digiusto/ Systèmes de gestion de bases de données Introduction Université d Evry Val d Essonne, IBISC utiles email : cinzia.digiusto@gmail.com webpage : http://www.ibisc.univ-evry.fr/ digiusto/ Google+ : https://plus.google.com/u/0/b/103572780965897723237/

Plus en détail

Arbres binaires de recherche (ABR) Binary Search Trees (BST)

Arbres binaires de recherche (ABR) Binary Search Trees (BST) LSVIII-BIM Algorithmie, 2015 Arbres binaires de recherche (ABR) Binary Search Trees (BST) I. Arbres binaires 1. Structure 2. Parcours II. Arbres binaires de recherche 1. Définition 2. Opérations sur les

Plus en détail

Le langage SQL Rappels

Le langage SQL Rappels Le langage SQL Rappels Description du thème : Présentation des principales notions nécessaires pour réaliser des requêtes SQL Mots-clés : Niveau : Bases de données relationnelles, Open Office, champs,

Plus en détail

Mathématiques pour l Informatique Relations binaires Jérôme Gensel

Mathématiques pour l Informatique Relations binaires Jérôme Gensel Master ICA Spécialité IHS Année 2007/2008 Mathématiques pour l Informatique Relations binaires Jérôme Gensel I) Relations binaires 1. Généralités Définition 1 : Une relation binaire d un ensemble E vers

Plus en détail

Bases de Données Relationnelles. L algèbre relationnelle

Bases de Données Relationnelles. L algèbre relationnelle Bases de Données Relationnelles L algèbre relationnelle Langages de manipulation Langages formels : base théorique solide Langages utilisateurs : version plus ergonomique Langages procéduraux : définissent

Plus en détail

Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015

Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015 Énoncé Soit V un espace vectoriel réel. L espace vectoriel des endomorphismes de V est désigné par L(V ). Lorsque f L(V ) et k N, on désigne par f 0 = Id V, f k = f k f la composée de f avec lui même k

Plus en détail

Algèbre relationnelle

Algèbre relationnelle Algèbre relationnelle 1. Introduction L algèbre relationnelle est le support mathématique cohérent sur lequel repose le modèle relationnel. L algèbre relationnelle propose un ensemble d opérations élémentaires

Plus en détail

I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES

I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES Théorème - Définition Soit un cercle (O,R) et un point. Une droite passant par coupe le cercle en deux points A et

Plus en détail

BJ - RELATIONS BINAIRES

BJ - RELATIONS BINAIRES BJ - RELATIONS BINAIRES Définitions Soit A et B deux ensembles non vides, et G une partie de A B. On dit qu un élément x de A est relié à un élément y de B par une relation binaire de graphe G, si le couple

Plus en détail

λ-calcul et typage Qu est-ce qu une fonction?

λ-calcul et typage Qu est-ce qu une fonction? λ-calcul et typage Nicolas Barnier, Pascal Brisset ENAC Avril 2009 Nicolas Barnier, Pascal Brisset (ENAC) λ-calcul et typage Avril 2009 1 / 1 Qu est-ce qu une fonction? Classiquement Pas de notation uniforme/standard

Plus en détail

Partiel INF242, 2009-2010

Partiel INF242, 2009-2010 Partiel INF242, 2009-2010 Stéphane Devismes Pascal Lafourcade Lundi 22 mars 2010 Total : 120 points Durée : 2h00 Documents autorisés : une feuille recto verso de notes personnelles format A4 Le arème des

Plus en détail

Cours de Master Recherche

Cours de Master Recherche Cours de Master Recherche Spécialité CODE : Résolution de problèmes combinatoires Christine Solnon LIRIS, UMR 5205 CNRS / Université Lyon 1 2007 Rappel du plan du cours 16 heures de cours 1 - Introduction

Plus en détail

LES OUTILS D ALIMENTATION DU REFERENTIEL DE DB-MAIN

LES OUTILS D ALIMENTATION DU REFERENTIEL DE DB-MAIN LES OUTILS D ALIMENTATION DU REFERENTIEL DE DB-MAIN Les contenues de ce document sont la propriété exclusive de la société REVER. Ils ne sont transmis qu à titre d information et ne peuvent en aucun cas

Plus en détail

Université Paris-Dauphine DUMI2E 1ère année, 2009-2010. Applications

Université Paris-Dauphine DUMI2E 1ère année, 2009-2010. Applications Université Paris-Dauphine DUMI2E 1ère année, 2009-2010 Applications 1 Introduction Une fonction f (plus précisément, une fonction réelle d une variable réelle) est une règle qui associe à tout réel x au

Plus en détail

Le modèle relationnel L algèbre relationnelle

Le modèle relationnel L algèbre relationnelle François Jacquenet Professeur d'informatique Faculté des Sciences Laboratoire Hubert Curien UMR CNRS 5516 18 rue Benoit Lauras 42000 Saint-Etienne Tél : 04 77 91 58 07 e-mail : Francois.Jacquenet@univ-st-etienne.fr

Plus en détail

La NP-complétude. Johanne Cohen. PRISM/CNRS, Versailles, France.

La NP-complétude. Johanne Cohen. PRISM/CNRS, Versailles, France. La NP-complétude Johanne Cohen PRISM/CNRS, Versailles, France. Références 1. Algorithm Design, Jon Kleinberg, Eva Tardos, Addison-Wesley, 2006. 2. Computers and Intractability : A Guide to the Theory of

Plus en détail

Notation fonctionnelle : Union (R,S) ou OR (R, S) Chapitre 4 : Algèbre Relationnelle

Notation fonctionnelle : Union (R,S) ou OR (R, S) Chapitre 4 : Algèbre Relationnelle Chapitre 4 : IV. Qu est-ce que l algèbre relationnelle? Une collections d opérations, chacune agissant sur une ou deux relations et produisant une relation en résultat. Un langage pour combiner ces opérations.

Plus en détail

M é ca n ism e Pr o lo g. Ex e m p le

M é ca n ism e Pr o lo g. Ex e m p le M é ca n ism e Pr o lo g Principe général : 5. on élimine L du but (le but est géré comme une pile de clauses) 1. on prend dans le but (clause ne contenant que des littéraux négatifs) le premier littéral

Plus en détail

Chap 4: Analyse syntaxique. Prof. M.D. RAHMANI Compilation SMI- S5 2013/14 1

Chap 4: Analyse syntaxique. Prof. M.D. RAHMANI Compilation SMI- S5 2013/14 1 Chap 4: Analyse syntaxique 1 III- L'analyse syntaxique: 1- Le rôle d'un analyseur syntaxique 2- Grammaires non contextuelles 3- Ecriture d'une grammaire 4- Les méthodes d'analyse 5- L'analyse LL(1) 6-

Plus en détail

Rapport du Jury du Concours 2010 Épreuve Pratique d Algorithmique et de Programmation (EPAP)

Rapport du Jury du Concours 2010 Épreuve Pratique d Algorithmique et de Programmation (EPAP) Rapport du Jury du Concours 2010 Épreuve Pratique d Algorithmique et de Programmation (EPAP) Loris Marchal, Guillaume Melquion, Frédéric Tronel 21 juin 2011 Remarques générales à propos de l épreuve Organisation

Plus en détail

Fonctions homographiques

Fonctions homographiques Fonctions homographiques On donne ci-dessous deux définitions des fonctions homographiques, et on montre que ces deux définitions sont équivalentes. On décrit la courbe représentative d une fonction homographique.

Plus en détail

Bases de données cours 1

Bases de données cours 1 Bases de données cours 1 Introduction Catalin Dima Objectifs du cours Modèle relationnel et logique des bases de données. Langage SQL. Conception de bases de données. SQL et PHP. Cours essentiel pour votre

Plus en détail

Algèbre relationnelle. Introduction aux Bases de Données. Algèbre relationnelle: définitions. Sources du cours. Spécificité des opérateurs

Algèbre relationnelle. Introduction aux Bases de Données. Algèbre relationnelle: définitions. Sources du cours. Spécificité des opérateurs Algèbre relationnelle Introduction aux Bases de Données Joël Quinqueton Licence Mass, Universités de Montpellier II et III Concepts et outils : introduction à QL Compléments sur QL : schéma, tri, calcul

Plus en détail

Limites finies en un point

Limites finies en un point 8 Limites finies en un point Pour ce chapitre, sauf précision contraire, I désigne une partie non vide de R et f une fonction définie sur I et à valeurs réelles ou complees. Là encore, les fonctions usuelles,

Plus en détail

Bases de données déductives

Bases de données déductives Bases de données déductives par Mohand-Saïd HACID Maître de conférences en informatique à l université Lyon-I et Jacques KOULOUMDJIAN Docteur ès sciences Professeur d informatique à l INSA de Lyon 1. Bases

Plus en détail

Chapitre 2 Le problème de l unicité des solutions

Chapitre 2 Le problème de l unicité des solutions Université Joseph Fourier UE MAT 127 Mathématiques année 2011-2012 Chapitre 2 Le problème de l unicité des solutions Ce que nous verrons dans ce chapitre : un exemple d équation différentielle y = f(y)

Plus en détail

Prolog. Listes. Arbres en prolog. Structures : bases de données. Opérateurs & prédicats prédifinies

Prolog. Listes. Arbres en prolog. Structures : bases de données. Opérateurs & prédicats prédifinies Prolog Listes Arbres en prolog Structures : bases de données Opérateurs & prédicats prédifinies Inversion récursive d une liste Inversion récursive d une liste :?- reverserec([a,[x,[y,z]],[d,e],b],l).

Plus en détail

Évaluation et implémentation des langages

Évaluation et implémentation des langages Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation

Plus en détail

MIS 102 Initiation à l Informatique

MIS 102 Initiation à l Informatique MIS 102 Initiation à l Informatique Responsables et cours : Cyril Gavoille Catherine Pannier Matthias Robine Marc Zeitoun Planning : 6 séances de cours 5 séances de TD (2h40) 4 séances de TP (2h40) + environ

Plus en détail

Bases de données - Modèle relationnel

Bases de données - Modèle relationnel Bases de données - Modèle relationnel Introduction SITE :http://www.univ-orleans.fr/lifo/members/mirian.halfeld/ BD - Mírian Halfeld-Ferrari p. 1 Les bases de données - Bibliographie Ullman and Widom,

Plus en détail

CCP PSI - 2010 Mathématiques 1 : un corrigé

CCP PSI - 2010 Mathématiques 1 : un corrigé CCP PSI - 00 Mathématiques : un corrigé Première partie. Définition d une structure euclidienne sur R n [X]... B est clairement symétrique et linéaire par rapport à sa seconde variable. De plus B(P, P

Plus en détail

212 année 2013/2014 DM de synthèse 2

212 année 2013/2014 DM de synthèse 2 22 année 20/204 DM de synthèse 2 Exercice Soit f la fonction représentée cicontre.. Donner l'ensemble de définition de la fonction f. 2. Donner l'image de 4 par f.. a. Donner un nombre qui n'a qu'un seul

Plus en détail

Représentation des fonctions booléennes

Représentation des fonctions booléennes Représentation des fonctions booléennes Épreuve pratique d algorithmique et de programmation Juillet 2003 Ce problème est consacré à l étude de deux représentations des fonctions booléennes de N variables

Plus en détail

ACCESS 2013. Système de Gestion de Bases de Données Relationnelles

ACCESS 2013. Système de Gestion de Bases de Données Relationnelles Access est un logiciel permettant de gérer des données en masse : une liste de clients ou de fournisseurs, un stock de produits, des commandes, des salariés, un club de tennis, une cave à vin, une bibliothèque,

Plus en détail

Initiation à la Programmation en Logique avec SISCtus Prolog

Initiation à la Programmation en Logique avec SISCtus Prolog Initiation à la Programmation en Logique avec SISCtus Prolog Identificateurs Ils sont représentés par une suite de caractères alphanumériques commençant par une lettre minuscule (les lettres accentuées

Plus en détail

Chapitre 2. Eléments pour comprendre un énoncé

Chapitre 2. Eléments pour comprendre un énoncé Chapitre 2 Eléments pour comprendre un énoncé Ce chapitre est consacré à la compréhension d un énoncé. Pour démontrer un énoncé donné, il faut se reporter au chapitre suivant. Les tables de vérité données

Plus en détail

Bases de données Cours 1 : Généralités sur les bases de données

Bases de données Cours 1 : Généralités sur les bases de données Cours 1 : Généralités sur les bases de données POLYTECH Université d Aix-Marseille odile.papini@univ-amu.fr http://odile.papini.perso.esil.univmed.fr/sources/bd.html Plan du cours 1 1 Qu est ce qu une

Plus en détail

Souad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/

Souad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/ Recherche opérationnelle Les démonstrations et les exemples seront traités en cours Souad EL Bernoussi Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/ Table des matières 1 Programmation

Plus en détail

3. SPÉCIFICATIONS DU LOGICIEL. de l'expression des besoins à la conception. Spécifications fonctionnelles Analyse fonctionnelle et méthodes

3. SPÉCIFICATIONS DU LOGICIEL. de l'expression des besoins à la conception. Spécifications fonctionnelles Analyse fonctionnelle et méthodes PLAN CYCLE DE VIE D'UN LOGICIEL EXPRESSION DES BESOINS SPÉCIFICATIONS DU LOGICIEL CONCEPTION DU LOGICIEL LA PROGRAMMATION TESTS ET MISE AU POINT DOCUMENTATION CONCLUSION C.Crochepeyre Génie Logiciel Diapason

Plus en détail

Développements limités. Notion de développement limité

Développements limités. Notion de développement limité MT12 - ch2 Page 1/8 Développements limités Dans tout ce chapitre, I désigne un intervalle de R non vide et non réduit à un point. I Notion de développement limité Dans tout ce paragraphe, a désigne un

Plus en détail

Mathématiques assistées par ordinateur

Mathématiques assistées par ordinateur Mathématiques assistées par ordinateur Chapitre 4 : Racines des polynômes réels et complexes Michael Eisermann Mat249, DLST L2S4, Année 2008-2009 www-fourier.ujf-grenoble.fr/ eiserm/cours # mao Document

Plus en détail

Exemples de problèmes et d applications. INF6953 Exemples de problèmes 1

Exemples de problèmes et d applications. INF6953 Exemples de problèmes 1 Exemples de problèmes et d applications INF6953 Exemples de problèmes Sommaire Quelques domaines d application Quelques problèmes réels Allocation de fréquences dans les réseaux radio-mobiles Affectation

Plus en détail

Fonctions de plusieurs variables

Fonctions de plusieurs variables Module : Analyse 03 Chapitre 00 : Fonctions de plusieurs variables Généralités et Rappels des notions topologiques dans : Qu est- ce que?: Mathématiquement, n étant un entier non nul, on définit comme

Plus en détail

Équations non linéaires

Équations non linéaires Équations non linéaires Objectif : trouver les zéros de fonctions (ou systèmes) non linéaires, c-à-d les valeurs α R telles que f(α) = 0. y f(x) α 1 α 2 α 3 x Equations non lineaires p. 1/49 Exemples et

Plus en détail

Logique L2, phs / DS 2

Logique L2, phs / DS 2 Logique L2, phs / DS 2 Le 16 avril 2012 1. Pour chacun des énoncés suivants, donnez une analyse aussi complète que possible en termes de logique des prédicats ; c est-à-dire, spécifiez une clé de traduction

Plus en détail

Chapitre 5 : Flot maximal dans un graphe

Chapitre 5 : Flot maximal dans un graphe Graphes et RO TELECOM Nancy A Chapitre 5 : Flot maximal dans un graphe J.-F. Scheid 1 Plan du chapitre I. Définitions 1 Graphe Graphe valué 3 Représentation d un graphe (matrice d incidence, matrice d

Plus en détail

Chap. 3: Le modèle de données entité-association (E.A.)

Chap. 3: Le modèle de données entité-association (E.A.) Chap. 3: Le modèle de données entité-association (E.A.) En anglais: Entity-Relationship (ER) Origines: C.Bachman (1969), P.Chen (1976). Modèle de données > décrire la réalité perçue à travers les données

Plus en détail

Introduction aux inégalités

Introduction aux inégalités Introduction aux inégalités -cours- Razvan Barbulescu ENS, 8 février 0 Inégalité des moyennes Faisons d abord la liste des propritétés simples des inégalités: a a et b b a + b a + b ; s 0 et a a sa sa

Plus en détail

Calcul différentiel sur R n Première partie

Calcul différentiel sur R n Première partie Calcul différentiel sur R n Première partie Université De Metz 2006-2007 1 Définitions générales On note L(R n, R m ) l espace vectoriel des applications linéaires de R n dans R m. Définition 1.1 (différentiabilité

Plus en détail

Raisonnement par récurrence Suites numériques

Raisonnement par récurrence Suites numériques Chapitre 1 Raisonnement par récurrence Suites numériques Terminale S Ce que dit le programme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES Raisonnement par récurrence. Limite finie ou infinie d une suite.

Plus en détail

Exercices types Algorithmique et simulation numérique Oral Mathématiques et algorithmique Banque PT

Exercices types Algorithmique et simulation numérique Oral Mathématiques et algorithmique Banque PT Exercices types Algorithmique et simulation numérique Oral Mathématiques et algorithmique Banque PT Ces exercices portent sur les items 2, 3 et 5 du programme d informatique des classes préparatoires,

Plus en détail

Raisonnement probabiliste

Raisonnement probabiliste Plan Raisonnement probabiliste IFT-17587 Concepts avancés pour systèmes intelligents Luc Lamontagne Réseaux bayésiens Inférence dans les réseaux bayésiens Inférence exacte Inférence approximative 1 2 Contexte

Plus en détail

Arbres de décision. Intelligence Artificielle et Systèmes Formels Master 1 I2L

Arbres de décision. Intelligence Artificielle et Systèmes Formels Master 1 I2L Arbres de décision Intelligence Artificielle et Systèmes Formels Master 1 I2L Sébastien Verel verel@lisic.univ-littoral.fr http://www-lisic.univ-littoral.fr/ verel Université du Littoral Côte d Opale Laboratoire

Plus en détail

Optimisation des fonctions de plusieurs variables

Optimisation des fonctions de plusieurs variables Optimisation des fonctions de plusieurs variables Hervé Hocquard Université de Bordeaux, France 8 avril 2013 Extrema locaux et globaux Définition On étudie le comportement d une fonction de plusieurs variables

Plus en détail

Démonstrations exigibles au bac

Démonstrations exigibles au bac Démonstrations exigibles au bac On donne ici les 11 démonstrations de cours répertoriées comme exigibles dans le programme officiel. Toutes ces démonstrations peuvent donner lieu à une «restitution organisée

Plus en détail

Le théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche

Le théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche Le théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche Bachir Bekka Février 2007 Le théorème de Perron-Frobenius a d importantes applications en probabilités (chaines

Plus en détail

Structures de données, IMA S6

Structures de données, IMA S6 Structures de données, IMA S6 Arbres Binaires d après un cours de N. Devésa, Polytech Lille. Laure Gonnord http://laure.gonnord.org/pro/teaching/ Laure.Gonnord@polytech-lille.fr Université Lille 1 - Polytech

Plus en détail

Algorithmique et Structures de données Feuille 5 : Arbres binaires

Algorithmique et Structures de données Feuille 5 : Arbres binaires Université Bordeaux Algorithmique et Structures de données Feuille : Arbres binaires On considère le type abstrait arbrebinaire d objet défini en cours. Pour rappel voir annexe A. LicenceInformatique0-0

Plus en détail

Université de Nantes Année 2009-2010 Faculté des Sciences et des Techniques Département de Mathématiques. Topologie et calculs différentiel Liste n 5

Université de Nantes Année 2009-2010 Faculté des Sciences et des Techniques Département de Mathématiques. Topologie et calculs différentiel Liste n 5 Université de Nantes Année 009-010 Faculté des Sciences et des Techniques Département de Mathématiques Topologie et calculs différentiel Liste n 5 Applications Différentiables Exercice 1. Soit f : R n

Plus en détail

Les principaux domaines de l informatique

Les principaux domaines de l informatique Les principaux domaines de l informatique... abordés dans le cadre de ce cours: La Programmation Les Systèmes d Exploitation Les Systèmes d Information La Conception d Interfaces Le Calcul Scientifique

Plus en détail

Une calculatrice qui manipule les régions cubiques

Une calculatrice qui manipule les régions cubiques Une calculatrice qui manipule les régions cubiques Emmanuel Haucourt 1 Introduction Alors qu une calculatrice usuelle effectue des opérations numériques (addition, multiplication, soustraction, division,

Plus en détail

Mathématiques financières

Mathématiques financières Mathématiques financières Arnaud Triay Table des matières 1 Introduction Position du problème.1 Pricing des options........................................... Formalisme..............................................

Plus en détail