La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

1 Une méthode pour lévolution de schémas XML préservant la validité des documents Denio Duarte 1 1 Boursier du gouvernement brésilien - CAPES Université

Présentations similaires


Présentation au sujet: "1 Une méthode pour lévolution de schémas XML préservant la validité des documents Denio Duarte 1 1 Boursier du gouvernement brésilien - CAPES Université"— Transcription de la présentation:

1 1 Une méthode pour lévolution de schémas XML préservant la validité des documents Denio Duarte 1 1 Boursier du gouvernement brésilien - CAPES Université François-Rabelais de Tours - Campus Blois Laboratoire dInformatique - LI Bases de données et Traitement des langues naturelles - BdTln

2 2 Denio Duarte Document XML Motivation

3 3 Denio Duarte Document XML Motivation

4 4 Denio Duarte Documen t XML Schéma (DTD) Documents valides Motivation

5 5 Denio Duarte Documen t XML Schéma mise à jour Motivation

6 6 Denio Duarte Documen t XML Schéma mise à jour vérifier la validité Motivation

7 7 Denio Duarte Documen t XML Schéma mise à jour mise à jour valide ou invalide Motivation

8 8 Denio Duarte Documen t XML Schéma Faire évoluer le schéma Motivation

9 9 Denio Duarte Documen t XML Schéma Motivation

10 10 Denio Duarte Est-ce quun schéma peut être changé sans : Modifier les documents auparavant valides ? Revalider les documents auparavant valides ? Motivation

11 11 Denio Duarte Vérification de typage et inférence de type V. Vianu (PODS03) et D. Suciu (SIGMOD02) Adaptation des documents aux schémas E. Kuikka et al (DocEng02) et H. Su (WIDM04) Primitives de mise à jour de schémas H. Su et al (SIGMOD01) et L. Al-Jadir (OOIS03) Apprentissage des automates L.G. Valiant (CACM84) et E.M. Gold (Inf. and Control67) Motivation

12 12 Denio Duarte But : Proposer une méthode pour aider les administrateurs dans la tâche dévolution des schémas XML qui préserve la validité des documents sans les modifier. Motivation

13 13 Denio Duarte Documen t XML Schéma mise à jour Motivation

14 14 Denio Duarte Documen t XML Schéma mise à jour Document XML Motivation

15 15 Denio Duarte Documen t XML Schéma mise à jour Document XML Motivation

16 16 Denio Duarte Documen t XML Schéma Document XML Motivation

17 17 Denio Duarte Approche GREC GREC -e Conclusion Perspectives Plan

18 18 Denio Duarte Documents vus comme des arbres ( M. Murata – PODDP98, A. Bruggeman-Klein et al – TechRep98, B. Bouchou et al – ICEIS03 ) : Motivation Approche GRECGREC-eConclusionPerspectives Universite Laboratoire Chercheur CId data Nom data Titre data Publication Sujet data Annee data Revue Nom data TArticle idAutsdata Annee data Revue Nom data TArticle idAutsdata NomUniv data

19 19 Denio Duarte Σ = {Universite, Chercheur, Publication, Revue,....} Q = {q Universite, q Chercheur, q Publication, q Revue,..... } Q f = {q Universite } Δ = { Universite,, q Laboratoire + q Universite Laboratoire,, q Nom q Chercheur + q Publication + q Laboratoire Chercheur,, q Nom q Titre q Chercheur Publication,, q Sujet (q Annee q Revue +)* q Publication : } Les schémas vus comme des automates darbres ( A. Bruggeman-Klein et al – Inf. and Comp.98, B. Chidloskii - ADL00, B. Bouchou et al – ICEIS03 ) : Motivation Approche GRECGREC-eConclusionPerspectives

20 20 Denio Duarte Lassociation détats. Publication Sujet data Annee data Revue Nom data TArticle idAutsdata Annee data Revue Nom data TArticle idAutsdata Motivation Approche GRECGREC-eConclusionPerspectives

21 21 Denio Duarte Lassociation détats. Publication Sujet data Annee data Revue Nom data TArticle idAutsdata Annee data Revue Nom data TArticle idAutsdata ? q Sujet q data q Annee q data q Revue q Nom q data q TArticle q idAuts q data q Annee q data q Revue q Nom q data q TArticle q idAuts q data Publication,, q Sujet (q Annee q Revue +)* q Publication Motivation Approche GRECGREC-eConclusionPerspectives

22 22 Denio Duarte Lassociation détats. Publication Sujet data Annee data Revue Nom data TArticle idAutsdata Annee data Revue Nom data TArticle idAutsdata ? q Sujet q data q Annee q data q Revue q Nom q data q TArticle q idAuts q data q Annee q data q Revue q Nom q data q TArticle q idAuts q data q Sujet q Annee q Revue q Annee q Revue L(q Sujet (q Annee q Revue +)* ) Publication,, q Sujet (q Annee q Revue +)* q Publication Motivation Approche GRECGREC-eConclusionPerspectives

23 23 Denio Duarte Lassociation détats. Publication Sujet data Annee data Revue Nom data TArticle idAutsdata Annee data Revue Nom data TArticle idAutsdata q Publication q Sujet q data q Annee q data q Revue q Nom q data q TArticle q idAuts q data q Annee q data q Revue q Nom q data q TArticle q idAuts q data Motivation Approche GRECGREC-eConclusionPerspectives

24 24 Denio Duarte Évolution du schéma (expressions régulières) : Connaître la syntaxe (parenthèses, ?, *, +, |) Connaître la sémantique Approches: Changer manuellement (revalidation, erreurs) Changer automatiquement (préserve la consistance) Motivation Approche GRECGREC-eConclusionPerspectives

25 25 Denio Duarte Automatique : Ladministrateur modifie un document pour expliciter lévolution du schéma souhaitée. Lévolution est transparente pour les autres applications qui utilisent le schéma. Motivation Approche GRECGREC-eConclusionPerspectives

26 26 Denio Duarte Conference Publication Sujet data Annee data Revue Nom data TArticle idAutsdata Annee data Revue Nom data TArticle idAutsdata Motivation Approche GRECGREC-eConclusionPerspectives

27 27 Denio Duarte ? q Sujet q data q Annee q data q Revue q Nom q data q TArticle q idAuts q data q Annee q data q Revue q Nom q data q TArticle q idAuts q data q Sujet q Annee q Revue q Annee q Revue q Conference L(q Sujet (q Annee q Revue +)* ) q Conference Motivation Approche GRECGREC-eConclusionPerspectives Le système utilise lautomate darbre pour trouver les informations nécessaires à la modification du schéma.

28 28 Denio Duarte La mise à jour : insert(5,Publication,Conference) ( B. Bouchou et al - DBLP03 ) Mot dorigine w= q Sujet q Annee q Revue q Annee q Revue Mot mis à jour w= q Sujet q Annee q Revue q Annee q Revue q Conference w L(q Sujet (q Annee q Revue +)* ) Motivation Approche GRECGREC-eConclusionPerspectives

29 29 Denio Duarte Expression régulière Automate détats finis Algorithme de Glushkov Automate de Glushkov Lexpression régulière est indicée : q Sujet (q Annee q Revue +)* q Sujet 1 (q Annee 2 q Revue 3 +)* ou 1 (2 3 + ) * Un seul état initial, chaque position a un seul état et, si on ajoute une marque de fin (e.g., #), un seul état final : q Sujet (q Annee q Revue +)*# ou 1 (2 3 + ) * q Sujet q Annee q Revue 4 # # Motivation Approche GRECGREC-eConclusionPerspectives

30 30 Denio Duarte Les automates de Glushkov ont des propriétés que nous exploitons dans notre méthode ( P. Caron et D. Ziadi - TCS00 ) : Homogène : un état est toujours atteint par un même symbole Les orbites : sous-expressions étoilées de lexpression régulière Hamac : il existe (i) un état qui atteint tous les autres états et (ii) un état dont tous les autres états latteint (grâce à la marque de fin #) Réduction : Automate Expression régulière dorigine Motivation Approche GRECGREC-eConclusionPerspectives

31 31 Denio Duarte Homogène : q Sujet q Annee q Revue 4 # # Motivation Approche GRECGREC-eConclusionPerspectives

32 32 Denio Duarte Orbites x Sous-expressions étoilées : q Sujet (q Annee q Revue + ) * # 1 (2 3 + ) * Motivation Approche GRECGREC-eConclusionPerspectives

33 33 Denio Duarte Hamac : Motivation Approche GRECGREC-eConclusionPerspectives

34 34 Denio Duarte Réduction (exploitée par notre méthode) : Dabord : calculer et supprimer les orbites maximales : H={} (hiérarchie des orbites maximales) Motivation Approche GRECGREC-eConclusionPerspectives

35 35 Denio Duarte H={{2,3}} Motivation Approche GRECGREC-eConclusionPerspectives

36 36 Denio Duarte Graphe de Glushkov sans orbite Hiérarchie des orbites Motivation Approche GRECGREC-eConclusionPerspectives H={{3},{2,3}}

37 37 Denio Duarte Ensuite appliquer trois règles de réduction (plus décoration) : R 1 : Concaténation R 2 : Union R 3 : Optionalité xyxy x y x|y x x? Motivation Approche GRECGREC-eConclusionPerspectives

38 38 Denio Duarte H={{3},{2,3}}0 - décoration + Motivation Approche GRECGREC-eConclusionPerspectives

39 39 Denio Duarte H={{3},{2,3}} H={{2,3}} R1R décoration + Motivation Approche GRECGREC-eConclusionPerspectives

40 40 Denio Duarte H={{3},{2,3}} 1(2 3 + ) + 40 H={{2,3}} R1R décoration + Motivation Approche GRECGREC-eConclusionPerspectives

41 41 Denio Duarte H={{3},{2,3}} 1(2 3 + ) + 40 H={{2,3}} R1R1 1(2 3 + ) + 40 H={} R3R décoration + Motivation Approche GRECGREC-eConclusionPerspectives

42 42 Denio Duarte H={{3},{2,3}} 1(2 3 + ) + 40 H={{2,3}} R1R1 1(2 3 + ) + 40 H={} R3R3 1(2 3 + ) * (2 3 + ) * 4 R1R1 0 1 (2 3 + ) * Résultat: R1R1 R1R1 décoration + Motivation Approche GRECGREC-eConclusionPerspectives

43 43 Denio Duarte H={{3},{2,3}} 1(2 3 + ) + 40 H={{2,3}} R1R1 1(2 3 + ) + 40 H={} R3R3 1(2 3 + ) * (2 3 + ) * 4 R1R1 0 1 (2 3 + ) * Résultat: R1R1 R1R1 1 (2 3 + ) * q Sujet (q Annee q Revue + ) * Motivation Approche GRECGREC-eConclusionPerspectives

44 44 Denio Duarte Un document mis à jour sert comme guide pour lévolution du schéma. Lautomate qui accepte le langage de lexpression régulière dorigine est modifié Le processus de réduction de lautomate de Glushkov est la base de lapproche. Plusieurs candidats sont générés et ladministrateur choisit celui qui lui convient le plus. MotivationApproche GREC ( Generate Regular Expression Choices ) GREC-eConclusionPerspectives

45 45 Denio Duarte Lalgorithme GREC : MotivationApproche GREC GREC-eConclusionPerspectives x y z w R2R2 x y z ws x y|z w R3R3 x y|z w s x (y|z)? w R1R1 x (y|z)? w s x y|s z w x s?(y|z) w x (y|z)?s ? w GREC * * *

46 46 Denio Duarte Mot w= q Sujet q Annee q Revue q Annee q Revue q Conference # Dernier état atteint avant léchec de lautomate Prochain état à exécuter si le nouveau symbole nexistait pas MotivationApproche GREC GREC-eConclusionPerspectives

47 47 Denio Duarte Mot w= q Sujet q Annee q Revue q Annee q Revue q Conference # s nl s nr Un nouveau nœud qui représente q Conference : s new MotivationApproche GREC GREC-eConclusionPerspectives

48 48 Denio Duarte Entrée de lalgorithme GREC : G: H: {{3},{2,3}} Triplet: MotivationApproche GREC GREC-eConclusionPerspectives

49 49 Denio Duarte Exécution de GREC : H={{3},{2,3}} Pas 1: Décoration du nœud 3 – vérifier si un nouveau graphe peut être construit MotivationApproche GREC GREC-eConclusionPerspectives

50 50 Denio Duarte Exécution de GREC (rappel ) : H={{3},{2,3}} Pas 1: Décoration du nœud 3 – vérifier si un nouveau graphe peut être construit x s nl x s nr x x Condition: s new Nouveaux graphes: MotivationApproche GREC GREC-eConclusionPerspectives

51 51 Denio Duarte Exécution de GREC (rappel ) : H={{3},{2,3}} Pas 1: Décoration du nœud 3 – vérifier si un nouveau graphe peut être construit x s nl x s nr x x Condition: s new Nouveaux graphes: La condition est vérifiée:H={{3,5},{2,3,5}} (2 (3 5?) + ) * (2 (3 5*) + ) * (2 (3|5) + ) * 4 MotivationApproche GREC GREC-eConclusionPerspectives

52 52 Denio Duarte Exécution de GREC (rappel ) : Pas 3: décorer le nœud 2 3 H={{2,3}} x s nl x s nr x x Condition: s new Nouveaux graphes: Nouveaux graphes ( ?) * ( *) * (2 3 + | 5) * 4 MotivationApproche GREC GREC-eConclusionPerspectives H={{2,3,5}}

53 53 Denio Duarte Exécution de GREC (rappel ) : Pas 5: Appliquer R 1 sur les nœuds 2 3 et 4 H={} 1(2 3 + ) * 40 x s nl x y = s nr Condition: y Nouveau graphe: x y s new Nouveau graphe : 1(2 3 + ) * (2 3 + ) * 5?4 0 1 (2 3 + ) * 5*4 MotivationApproche GREC GREC-eConclusionPerspectives

54 54 Denio Duarte Le résultat de lexécution de GREC : q Sujet (q Annee (q Revue q Conference ?) + )* q Sujet (q Annee (q Revue q Conference *) + )*Dans q Revue + q Sujet (q Annee (q Revue |q Conference ) + )* q Sujet (q Annee q Revue + q Conference ?)* q Sujet (q Annee q Revue + q Conference *)*Dans (q Annee q Revue + )* q Sujet (q Annee q Revue + |q Conference )* q Sujet (q Annee q Revue + )*q Conference ? q Sujet (q Annee q Revue + )*q Conference * En dehors des sous-expressions étoilées MotivationApproche GREC GREC-eConclusionPerspectives

55 55 Denio Duarte Lutilisateur peut choisir le meilleur candidat selon sa connaissance de lapplication. Ex : La règle de transition dorigine : Publication,, q Sujet (q Annee q Revue +)* q Publication Le candidat choisit : q Sujet (q Annee (q Revue |q Conference ) + )* La nouvelle règle de transition : Publication,, q Sujet (q Annee (q Revue |q Conference ) + )* q Publication MotivationApproche GREC GREC-eConclusionPerspectives

56 56 Denio Duarte Objectifs : La validité des documents est respectée sans les modifier et le document mis à jour est valide : L(E) {w} L(E) Distance entre E et E : Pos(E) et Pos (E) : ensemble de positions de E et E Distance entre E et E : |Pos(E)|-|Pos(E)| D( q Sujet (q Annee q Revue + )*, q Sujet (q Annee (q Revue |q Conference ) + )* ) = |{1,2,3}|-|{1,2,3,4}|=|-1|=1 Permet déviter q Sujet (q Annee q Revue + )* (q Annee (q Revue q Conference ?) + )* MotivationApproche GREC GREC-eConclusionPerspectives

57 57 Denio Duarte function GREC(G wo, H, s nl,s nr, s new ) { setRegExp:= ; if (G wo n'a qu'un noeud) { return } else { R i := ChooseRule(G wo,H); for each (G new,H new ):=LookForGraphAlternative(G wo,H,R i,s nl,s nr,s new ) do setRegExp=setRegExp {GraphToRegExp(G new, H new )}; (G wo ',H):= ApplyRule(R i,G wo,H); setRegExp=setRegExp GREC(G wo ', H',s nl,s nr,s new ); } return setRegExp } MotivationApproche GREC GREC-eConclusionPerspectives

58 58 Denio Duarte Documen t XML Schéma mise à jour MotivationApproche GREC GREC-eConclusionPerspectives Document XML GREC

59 59 Denio Duarte Documen t XML Schéma MotivationApproche GREC GREC-eConclusionPerspectives GREC Candidats

60 60 Denio Duarte Documen t XML Schéma MotivationApproche GREC GREC-eConclusionPerspectives Document XML

61 61 Denio Duarte Et si le mot a plusieurs positions mises à jour ? w= q Sujet q Annee q Revue q Annee q Revue # w= q Sujet q Annee q Revue q Annee q Revue q Conference q Brevet q Conference # Construire plusieurs triplets Trouver les positions qui provoquent léchec de lautomate Trouver un rapport entre ces positions. Algorithme GREC-e MotivationApprocheGREC GREC-e ConclusionPerspectives

62 62 Denio Duarte Séquence de mises à jour sur des fils dun même nœud père dun arbre (document) XML : insert(5,Conference), insert(5,Brevet), insert(5,Conference). Basé sur la séquence de mises à jour, construire un tableau avec les correspondance entre le mot dorigine et le mot résultat de la mise à jour. MotivationApprocheGREC GREC-e ConclusionPerspectives

63 63 Denio Duarte Mot dorigine w= q Sujet q Annee q Revue q Annee q Revue # Mot mis à jour w= q Sujet q Annee q Revue q Annee q Revue q Conference q Brevet q Conference # old (w)new (w) q Sujet q Annee q Revue q Annee q Revue q Conference q Brevet q Conference ## MotivationApprocheGREC GREC-e ConclusionPerspectives

64 64 Denio Duarte Mot dorigine w= q Sujet q Annee q Revue q Annee q Revue # Mot mis à jour w= q Sujet q Annee q Revue q Annee q Revue q Conference q Brevet q Conference # old (w)new (w) q Sujet q Annee q Revue q Annee q Revue q Conference q Brevet q Conference ## Une ligne w[k:m] w[i:j] : rien à faire Une ligne w[i:j] : les symboles w[i:j] ont été insérés Une ligne w[i:j] : les symboles w[i:j] ont été supprimés MotivationApprocheGREC GREC-e ConclusionPerspectives

65 65 Denio Duarte old (w)new (w) q Sujet q Annee q Revue q Annee q Revue q Conference q Brevet q Conference ## Colonne old et new : on avance les états dans lautomate MotivationApprocheGREC GREC-e ConclusionPerspectives

66 66 Denio Duarte old (w)new (w) q Sujet q Annee q Revue q Annee q Revue q Conference q Brevet q Conference ## Colonne old et new : on avance les états dans lautomate Colonne old = : on cherche si les symboles insérés provoquent le échec de lautomate MotivationApprocheGREC GREC-e ConclusionPerspectives

67 67 Denio Duarte old (w)new (w) q Sujet q Annee q Revue q Annee q Revue q Conference q Brevet q Conference ## Colonne new = : on cherche si les symboles supprimés sont obligatoires Colonne old et new : on avance les états dans lautomate Colonne old = : on cherche si les symboles insérés provoquent le échec de lautomate MotivationApprocheGREC GREC-e ConclusionPerspectives

68 68 Denio Duarte Le tableau est utilisé pour trouver les triplets et le rapport entre les positions : MotivationApprocheGREC GREC-e ConclusionPerspectives oldnew q Sujet q Annee q Revue q Annee q Revue q Conference q Brevet q Conference 5

69 69 Denio Duarte Le tableau est utilisé pour trouver les triplets et le rapport entre les positions : MotivationApprocheGREC GREC-e ConclusionPerspectives oldnew q Sujet q Annee q Revue q Annee q Revue q Conference q Brevet q Conference 5 ##

70 70 Denio Duarte Le tableau est utilisé pour trouver les triplets et le rapport entre les positions : MotivationApprocheGREC GREC-e ConclusionPerspectives oldnew q Sujet q Annee q Revue q Annee q Revue q Conference q Brevet q Conference 6

71 71 Denio Duarte Le tableau est utilisé pour trouver les triplets et le rapport entre les positions : MotivationApprocheGREC GREC-e ConclusionPerspectives oldnew q Sujet q Annee q Revue q Annee q Revue q Conference q Brevet q Conference 6 ## et un couple (5,6)

72 72 Denio Duarte Le tableau est utilisé pour trouver les triplets et le rapport entre les positions : MotivationApprocheGREC GREC-e ConclusionPerspectives oldnew q Sujet q Annee q Revue q Annee q Revue q Conference q Brevet q Conference 7

73 73 Denio Duarte Le tableau est utilisé pour trouver les triplets et le rapport entre les positions : MotivationApprocheGREC GREC-e ConclusionPerspectives oldnew q Sujet q Annee q Revue q Annee q Revue q Conference q Brevet q Conference 7 nest pas proposé car a été déjà proposé

74 74 Denio Duarte Le tableau est utilisé pour trouver les triplets et le rapport entre les positions : MotivationApprocheGREC GREC-e ConclusionPerspectives oldnew q Sujet q Annee q Revue q Annee q Revue q Conference q Brevet q Conference Cependant, la restriction (6,5) est construite

75 75 Denio Duarte Le tableau est utilisé pour trouver les triplets et le rapport entre les positions : MotivationApprocheGREC GREC-e ConclusionPerspectives oldnew q Sujet q Annee q Revue q Annee q Revue q Conference q Brevet q Conference ## Il ny a plus de ligne avec w[i:j] ou w[i:j] Triplets : et Restrictions : (5,6) et (6,5)

76 76 Denio Duarte Entrée de lalgorithme GREC-e : G: H: {{3},{2,3}} Triplets:, > Ensemble de paires: {(5, 6), (6, 5)} MotivationApprocheGREC GREC-e ConclusionPerspectives

77 77 Denio Duarte Exécution de GREC-e : H={{3},{2,3}} Pas 1: Décoration du noeud 3 Les conditions de construction des nouveaux graphes sont vérifiées pour les deux triplets: et. MotivationApprocheGREC GREC-e ConclusionPerspectives

78 78 Denio Duarte Exécution de GREC-e : {(5, 6), (6, 5)} Voir GREC H={{3,5,6},{2,3,5,6}} MotivationApprocheGREC GREC-e ConclusionPerspectives

79 79 Denio Duarte Exécution de GREC-e : {(5, 6), (6, 5)} (2 (3 (5|6)?) + ) * (2 (3 (5|6)*) + ) * (2 (3 5? 6?) + ) * (2 (3 5* 6*) + ) * (2 (3 (5 6)?) + ) * (2 (3 (5 6)*) + ) * 4 MotivationApprocheGREC GREC-e ConclusionPerspectives

80 80 Denio Duarte Exécution de GREC-e : {(5,6), (6, 5)} (2 (3 (5|6)?) + ) * (2 (3 (5|6)*) + ) * (2 (3 5? 6?) + ) * (2 (3 5* 6*) + ) * (2 (3 (5 6)?) + ) * (2 (3 (5 6)*) + ) * 4 MotivationApprocheGREC GREC-e ConclusionPerspectives

81 81 Denio Duarte Exécution de GREC-e : {(5, 6), (6, 5)} H={{3,5,6},{2,3,5,6}} MotivationApprocheGREC GREC-e ConclusionPerspectives

82 82 Denio Duarte Exécution de GREC-e : {(5, 6), (6, 5)} (2 (3|5|6) + ) * (2 (3|(5 6)?) + ) * (2 (3|(5 6)*) + ) * MotivationApprocheGREC GREC-e ConclusionPerspectives

83 83 Denio Duarte Exécution de GREC-e : {(5, 6), (6, 5)} (2 (3|5|6) + ) * (2 (3|(5 6)?) + ) * (2 (3|(5 6)*) + ) * MotivationApprocheGREC GREC-e ConclusionPerspectives

84 84 Denio Duarte Le résultat de lexécution de GREC-e (avec Revue) : a)0 1 (2 (3 (5|6)*) + ) * 4 q Sujet (q Annee (q Revue ( q Conference | q Brevet )*) + )* b)0 1 (2 (3 (5 6)*) + ) * 4 q Sujet (q Annee (q Revue ( q Conference q Brevet )*) + )* c)0 1 (2 (3|5|6) + ) * 4 q Sujet (q Annee (q Revue |q Conference | q Brevet ) + )* d)0 1 (2 (3|(5 6)*) + ) * 4 q Sujet (q Annee (q Revue |( q Conference q Brevet )*) + )* Voir GREC MotivationApprocheGREC GREC-e ConclusionPerspectives

85 85 Denio Duarte Lutilisateur choisit le candidat. Ex : La règle de transition dorigine : Publication,, q Sujet (q Annee q Revue +)* q Publication Le candidat choisit : q Sujet (q Annee (q Revue |q Conference | q Brevet ) + )* La nouvelle règle de transition : Publication,, q Sujet (q Annee (q Revue |q Conference | q Brevet ) + )* q Publication MotivationApprocheGREC GREC-e ConclusionPerspectives

86 86 Denio Duarte Les propriétés de GREC-e sont les mêmes de GREC : L(E) {w} L(E) Un nouvel ensemble de documents est accepté. Distance entre E et E est égale au nombre de triplets trouvés MotivationApprocheGREC GREC-e ConclusionPerspectives

87 87 Denio Duarte function GREC-e(G wo, H, RTState, STrans) { setRegExp:= ; if (RTState est vide) { return (setRegExp=setRegExp {GraphToRegExp(G new, H new )}); } if (G wo n'a qu'un noeud) {return } R i := ChooseRule(G wo,H); for each (G new,H new,RTStates) := LookForGraphAlternative-e(G wo,H,R i,RTStates,STrans) do setRegExp=setRegExp GREC-e(G new,H new,RTStates,STrans); (G wo ',H):= ApplyRule(R i,G wo,H); setRegExp=setRegExp GREC(G wo ', H', RTStates,STrans); return setRegExp } MotivationApprocheGREC GREC-e ConclusionPerspectives

88 88 Denio Duarte Méthode daide à lutilisateur pour lévolution de schémas XML qui préserve la validité des documents sans les modifier. Fondée sur un document exemple (mis à jour) Plusieurs candidats sont proposés en essayant de garder la structure de lexpression régulière dorigine. MotivationApprocheGRECGREC-e Conclusion Perspectives

89 89 Denio Duarte Généraliser la méthode pour qu'elle prenne en considération différents mots appartenant à différents noeuds de l'arbre ayant la même étiquette : –Plusieurs paires (w,w) Proposer une notion de distance plus précise Appliquer la méthode dans l'ensemble du schéma (non plus une seule expression régulière) MotivationApprocheGRECGREC-eConclusion Perspectives

90 90 Denio Duarte Merci


Télécharger ppt "1 Une méthode pour lévolution de schémas XML préservant la validité des documents Denio Duarte 1 1 Boursier du gouvernement brésilien - CAPES Université"

Présentations similaires


Annonces Google