From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 72E117F256 for ; Tue, 6 Nov 2012 17:06:19 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alphablock@orange.fr) identity=pra; client-ip=80.12.242.126; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="alphablock@orange.fr"; x-sender="alphablock@orange.fr"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alphablock@orange.fr) identity=mailfrom; client-ip=80.12.242.126; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="alphablock@orange.fr"; x-sender="alphablock@orange.fr"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.smtpout.orange.fr) identity=helo; client-ip=80.12.242.126; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="alphablock@orange.fr"; x-sender="postmaster@smtp.smtpout.orange.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuQBAOY0mVBQDPJ+dmdsb2JhbABEhT1avTsBDAkLCREGJIIxF08gHAImAk4RiAoBFgeaT45TgjyGKAGKK4EgkCWBEwONdIgHgRxpg2aNSQ X-IronPort-AV: E=Sophos;i="4.80,722,1344204000"; d="scan'208";a="161577760" Received: from smtp04.smtpout.orange.fr (HELO smtp.smtpout.orange.fr) ([80.12.242.126]) by mail4-smtp-sop.national.inria.fr with ESMTP; 06 Nov 2012 17:06:12 +0100 Received: from [192.168.1.10] ([90.29.122.118]) by mwinf5d59 with ME id LG6B1k00C2ZNNtE03G6B8n; Tue, 06 Nov 2012 17:06:12 +0100 From: "Damien Guichard" To: "Caml Mailing List" Content-Type: text/plain; charset="UTF-8" MIME-Version: 1.0 Date: Tue, 6 Nov 2012 17:06:06 +0100 Message-ID: <504621037245943557@orange.fr> X-Mailer: EssentialPIM Portable v. 4.54 X-Validation-by: alphablock@orange.fr Subject: [Caml-list] =?UTF-8?Q?ERic_0=2E3=2C_une_id=C3=A9e_de_projet_de_fi?= =?UTF-8?Q?n_d=27ann=C3=A9e?= ERic 0.2 a été pensé comme une utilisation minimaliste de la catégorie des graphes pour implanter une base de données simpliste mais néanmoins expressive : * les objets de la catégorie sont des graphes dirigés étiquetés * les morphismes de la catégorie sont les homomorphismes de graphes dirigés étiquetés * il existe deux hiérarchies : une hiérarchie de concepts et une hiérarchie de relations * les graphes dirigés étiquetés sont des graphes entités/relations * les notions de subsomption entre entités et entre relations sont étendues à la notion de subsomption entre graphes entités/relations * l'interrogation dans la base de données se fait en fournissant un graphe-motif * une structure de données arborescente utilise un ordre partiel (la subsomption entre deux arêtes) pour rechercher efficacement tous les homomorphismes possibles entre le graphe-motif et les graphes entités/relations contenus dans la base de données Le cadre du projet : * ERic 0.2 est sous licence compatible OSI (http://opensource.org/licenses/EUPL-1.1) * ERic 0.2 a une base de code, petite et de grande qualité * ERic 0.2 est assez bien documenté (en français) * jusqu'ici l'auteur de ce message est l'unique contributeur du projet ERic Plus de détails sur la dernière version, ERic 0.2f : http://www.developpez.net/forums/f1699/applications/projets/projets-heberges/eric Suite à la version 0.2f, une réflexion a été menée et trois extensions ont été proposées afin d'améliorer encore l'expressivité de la base de données : * les hyper-nœuds : désormais les nœuds pourront contenir des structures aussi complexes que la base elle-même * les arêtes trans-hyper-nœuds : les arêtes pourront traverser (entrer et sortir) les enveloppes des hyper-nœuds * la recherche récursive : la recherche d'homomorphismes se poursuivra à l'intérieur des hyper-nœuds * on ne parlera plus de graphes entités/relations mais de diagrammes entités/relations Malheureusement je suis en proie à certains problèmes récurrents de santé (fatigue psychologique, épisode(s) dépressif, perte d'attention/concentration) qui mettent en péril le passage à cette version 0.3 si je restais l'unique contributeur. Je pense que ERic 0.3 pourrait faire un excellent projet de fin d'année pour un étudiant motivé. Si vous le pensez aussi alors n'hésitez pas à me contacter : * pour plus d'explications sur ERic 0.3, illustrées avec de nombreux schémas * pour me communiquer vos préférences personnelles (license, langage, hébergement, système de versionnement...) Merci à vous d'avoir lu jusqu'ici. - Damien Guichard