On Armstrong-compliant Logical Query Languages

Marie Agier 1 Christine Froidevaux 2, 3 Jean-Marc Petit 4 Yoan Renaud 4 Jef Wijsen
3 AMIB - Algorithms and Models for Integrative Biology
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France
4 BD - Base de Données
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
Résumé : Nous présentons un langage de requête simple appelé RL qui permet d'exprimer différentes sortes de règles et nous étudions comment ce langage se comporte par rapport aux axiomes d'Armstrong bien connus. La principale contribution de ce papier est de dégager une forme restreinte des requêtes RL, qui soit encore suffisamment expressive et pour laquelle les axiomes de Armstrong sont corrects. Il en découle que ce sous-langage a des propriétés tout à fait intéressantes pour une utilisation en Fouille de Donées, Bases de Données et l'Analyse de Concepts Formels.
Type de document :
Communication dans un congrès
George H. L. Fletcher and Slawek Staworko. 4th International Workshop on Logic in Databases, (EDBT/ICDT '10 joint conference), 2011, Uppsala, Sweden. ACM, pp.33-40, 2011, LID
Liste complète des métadonnées

https://hal.inria.fr/hal-00649604
Contributeur : Christine Froidevaux <>
Soumis le : jeudi 8 décembre 2011 - 11:46:57
Dernière modification le : mercredi 14 novembre 2018 - 16:08:06

Identifiants

  • HAL Id : hal-00649604, version 1

Citation

Marie Agier, Christine Froidevaux, Jean-Marc Petit, Yoan Renaud, Jef Wijsen. On Armstrong-compliant Logical Query Languages. George H. L. Fletcher and Slawek Staworko. 4th International Workshop on Logic in Databases, (EDBT/ICDT '10 joint conference), 2011, Uppsala, Sweden. ACM, pp.33-40, 2011, LID. 〈hal-00649604〉

Partager

Métriques

Consultations de la notice

699