On Armstrong-compliant Logical Query Languages - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

On Armstrong-compliant Logical Query Languages

Jean-Marc Petit
Yoan Renaud
Jef Wijsen
  • Function : Author
  • PersonId : 1088757

Abstract

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.
Fichier principal
Vignette du fichier
2011 LID_ICDT_EDBT.pdf (247.73 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-00649604 , version 1 (18-01-2021)

Identifiers

  • HAL Id : hal-00649604 , version 1

Cite

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

Share

Gmail Mastodon Facebook X LinkedIn More