ALGORITHMIQUE DU TREILLIS DES FERMES : APPLICATION A L'ANALYSE FORMELLE DE CONCEPTS ET AUX BASES DE DONNEES / RAFIK TAOUIL ; SOUS LA DIR. DE LOTFI LAKHAL

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 2000

Format : 141 p.

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Lakhal, Lotfi (1958-....) (Directeur de thèse / thesis advisor)

Université Blaise Pascal (Clermont-Ferrand ; 1976-2016) (Organisme de soutenance / degree-grantor)

Relation : ALGORITHMIQUE DU TREILLIS DES FERMES : APPLICATION A L'ANALYSE FORMELLE DE CONCEPTS ET AUX BASES DE DONNEES / Rafik Taouil ; sous la direction de Lotfi Lakhal / Grenoble : Atelier national de reproduction des thèses , 2000

Résumé / Abstract : UNE FERMETURE SUR UN TREILLIS EST UN OPERATEUR VERIFIANT LA MONOTONIE, L'EXTENSIVITE ET L'IDEMPOTENCE. LA REPRESENTATION D'UNE FERMETURE PAR SON IMAGE EST UN TREILLIS DIT TREILLIS DES FERMES. CE TREILLIS PEUT ETRE REPRESENTE PAR DES REGLES D'IMPLICATIONS ; CES REPRESENTATIONS SONT DITES BASES D'IMPLICATIONS. NOUS PROPOSONS DANS CE MEMOIRE DES ALGORITHMES DE GENERATION DU TREILLIS DES FERMES D'UNE FERMETURE SUR L'ENSEMBLE DES PARTIES. NOUS MONTRONS SUR DES CAS REELS L'INFLUENCE DES APPELS DE FERMETURE SUR LE TEMPS D'EXECUTION DES ALGORITHMES. NOUS PROPOSONS ENSUITE DES ALGORITHMES INCREMENTAUX QUI GENERENT LE TREILLIS DE CONCEPTS, LE COMPLETE DE DEDEKIND-MACNEILLE D'UN ORDRE ET LE TREILLIS DES ANTICHAINES MAXIMALES D'UN ORDRE. LES COMPLEXITES OBTENUES AMELIORENT CELLES DES ALGORITHMES ANTERIEURS. NOUS PROPOSONS EGALEMENT UN ALGORITHME (IMPEC) QUI CALCULE LA BASE CANONIQUE DES IMPLICATIONS POUR TOUTES FERMETURES SUR L'ENSEMBLE DES PARTIES. EN ANALYSE FORMELLE DE CONCEPTS, NOUS PROPOSONS LE TREILLIS DE CONCEPTS FORTS - CONSTITUE PAR LES CONCEPTS AYANT UN NOMBRE SUFFISANT (POUR L'UTILISATEUR) D'OBJETS - COMME OUTIL DE CLASSIFICATION. LA GENERATION DU TREILLIS DES CONCEPTS FORTS EST UN NOUVEAU PROBLEME, QUE NOUS FORMALISONS ; ET NOUS MONTRONS QUE LE TREILLIS DE CONCEPTS FORTS EST UN SUPPORT FORMEL POUR L'EXTRACTION DES REGLES D'ASSOCIATIONS. NOUS APPLIQUONS LES ALGORITHMES DE LA PREMIERE PARTIE DE CE MEMOIRE POUR SA GENERATION. EN BASES DE DONNEES, NOUS MONTRONS QUE L'ALGORITHME IMPEC PERMET DE RESOUDRE DE MANIERE GENERIQUE ET EFFICACE LES PROBLEMES DE PROJECTION DE DEPENDANCES FONCTIONNELLES, DE CONSTRUCTION DE LA RELATION D'ARMSTRONG ET D'INFERENCE DES DEPENDANCES FONCTIONNELLES. FERMETURES, TREILLIS, REGLES D'IMPLICATIONS, ALGORITHMES, ANALYSE FORMELLE DE CONCEPTS, CONCEPTION DES BASES DE DONNEES.