On Armstrong-compliant Logical Query Languages
Résumé
We present a simple logical query language called RL for expressing diff erent kinds of rules and we study how this language behaves with respect to the well-known Armstrong's axioms. We point out some negative results, e.g. it is undecidable to know whether or not a query from this language is \Armstrong compliant". The main contribution of this paper is to exhibit a restricted form of RL-queries - yet with a good expressive power - for which Armstrong's axioms are sound. From this result, this sublanguage turns out to have structural and computational properties which have been shown to be very useful in data mining, databases and formal concept analysis.
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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|