Notion de sémantiques bien-formées pour les règles

Résumé : La notion de r`egles entre attributs est tr`es g´en´erale, allant des r`egles d’association en fouille de donn´ees aux d´ependances fonctionnelles (DF) en bases de donn´ees. Malgr´e cette diversit´e, la syntaxe des r`egles est toujours la mˆeme, seule leur s´emantique diff`ere. Pour une s´emantique donn´ee, en fonction des propri´et´es induites, des techniques algorithmiques sont mises en oeuvre pour d´ecouvrir les r`egles `a partir des donn´ees. A partir d’un ensemble de r`egles, il est aussi utile en pratique de raisonner sur ces r`egles, comme cela est le cas par exemple avec les axiomes d’Armstrong pour les d´ependances fonctionnelles. Dans cet article, nous proposons un cadre qui permet de s’assurer qu’une s´emantique donn´ee pour les r`egles est bien-form´ee, i.e. les axiomes d’Armstrong sont justes et complets pour cette s´emantique. Les propositions faites dans ce papier proviennent du contexte applicatif de l’analyse de donn´ees de biopuces. A partir de plusieurs s´emantiques pour les donn´ees d’expression de g`enes, nous montrons comment ces s´emantiques s’int`egrent dans le cadre pr´esent´e.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01590954
Contributor : Équipe Gestionnaire Des Publications Si Liris <>
Submitted on : Wednesday, September 20, 2017 - 2:55:32 PM
Last modification on : Tuesday, February 26, 2019 - 4:07:33 PM

Identifiers

  • HAL Id : hal-01590954, version 1

Citation

Marie Agier, Jean-Marc Petit. Notion de sémantiques bien-formées pour les règles. EGC 2005, Jan 2005, Paris, France. pp.19-30. ⟨hal-01590954⟩

Share

Metrics

Record views

55