A new A informative genericGeneric new Informative base of Base association rules Rules of Association Gh. Gasmi1 , S. Ben Yahia1,2 , E. Mephu Nguifo2 , and Y. Slimani1 Gh. Gasmi1 , S. Ben Yahia1;2 , E. Mephu Nguifo2 , and Y. Slimani1 1 Départment des Sciences de l’Informatique 1 Faculté Départment des Sciences des Sciences deFaculté de l’Informatique, Tunis des Sciences de Tunis Campus Universitaire, 1060 Tunis, Tunisie. {sadok.benyahia,yahya.slimani}@fst.rnu.tn 22 Centre de Centre de Recherche Recherche enen Informatique Informatique de de Lens-IUT Lens-IUT de de Lens Lens Rue de l’Université SP 16, 62307 Lens Cedex mephu@cril.univ-artois.fr mephu@cril.univ-artois.fr Abstract. The problem of the relevance and the usefulness of extracted association rules is becoming of primary importance, since an overwhelm- ing number of association rules may be derived from even reasonably sized real-life databases. In this paper, we introduce a novel generic base of association rules, based on the Galois connection semantics. The novel generic base is sound and informative. We also present a sound axiomatic system, allowing to derive all association rules that can be drawn from an extraction context. 1 Introduction Data mining has been extensively addressed for the last years, particularly the problem of discovering association rules. These latter aim at exhibiting corre- lations between data items (or attributes), whose interestingness is assessed by statistical metrics. However, an unexploited huge amount of association rules is drawn from real-life databases. This drawback encouraged many research issues, aiming at finding the minimal nucleus of relevant knowledge can be extracted from several thousands of highly redundant rules. Various techniques are used to limit the number of reported rules, starting by basic pruning techniques based on thresholds for both the frequency of the represented pattern (called the support) and the strength of the dependency between premise and conclusion (called the confidence). More advanced techniques that produce only a limited number of the entire set of rules rely on closures and Galois connections [1–3]. These formal concept analysis (FCA) [4] based techniques have in common a feature, which is to present a better trade-off between the size of the mining result and the con- veyed information than the ”frequent patterns” algorithms. Finally, works on FCA have yielded a row of results on compact representations of closed set fam- ilies, also called bases, whose impact on association rule reduction is currently under intensive investigation within the community [1, 2, 5]. Once these generic bases are obtained, all the remaining (redundant) rules can be derived ”easily”. In this context, little attention was paid to reasoning c V. Snášel, R. Bělohlávek (Eds.): CLA 2004, pp. 67–79, ISBN 80-248-0597-9. VŠB – Technical University of Ostrava, Dept. of Computer Science, 2004. 68 Gh. Gasmi, S. Ben Yahia, E. Mephu Nguifo, Y. Slimani from generic bases comparatively to the battery of papers to define them. Essen- tially, they were interested in defining syntactic mechanisms for deriving rules from generic bases. In this paper, we introduce a novel generic base of association rule, which is sound and informative. The soundness property assesses the ”syntactic” deriva- tion, since it ensures that all association rules can be derived from the generic base. The informativeness property ensures that the support and confidence of a derivable rule can be exactly determined. The remainder of the paper is organized as follows. Section 2 introduces the mathematical background of FCA and its connection with the derivation of (non-redundant) association rule bases. Section 3 presents the related work on defining and reasoning from generic bases of association rules. In section 4, we introduce a novel, sound and informative generic base of association rules. We also provide a set of inference axioms, for deriving association rules and we we prove its soundness. Section 5 concludes this paper and points out future research directions. 2 Mathematical background In the following, we recall some key results from the Galois lattice-based paradigm in FCA and its applications to association rules mining. 2.1 Basic notions In the rest of the paper, we shall use the theoretical framework presented in [4]. In this paragraph, we recall some basic constructions from this framework. Formal context: A formal context is a triplet K = (O, A, R), where O represents a finite set of objects (or transactions), A is a finite set of attributes and R is a binary (incidence) relation (i.e., R ⊆ O × A). Each couple (o, a) ∈ R expresses that the transaction o ∈ O contains the attribute a ∈ A. Within a context (c.f., Figure 1 on the left), objects are denoted by numbers and attributes by letters. We define two functions, summarizing links between subsets of objects and subsets of attributes induced by R, that map sets of objects to sets of attributes and vice versa. Thus, for a set O ⊆ O, we define φ(O) = {a | ∀o, o ∈ O ⇒ (o, a) ∈ R}; and for A ⊆ A, ψ(A) = {o | ∀a, a ∈ A ⇒ (o, a) ∈ R}. Both functions φ and ψ form a Galois connection between the sets P(A) and P(O) [6]. Consequently, both compound operators of φ and ψ are closure operators, in particular ω = φ◦ψ is a closure operator. In what follows, we introduce the frequent closed itemset 3 , since we may only look for itemsets that occur in a sufficient number of transactions. 3 Itemset stands for a set of items A new Informative Generic Base of Association Rules 69 Frequent closed itemset: An itemset A ⊆ A is said to be closed if A = ω(A), and is said to be frequent with respect to minsup threshold if supp(A)= |ψ(A)| |O| ≥ minsup. Formal Concept: A formal concept is a pair c = (O, A), where O is called extent, and A is a closed itemset, called intent. Furthermore, both O and A are related through the Galois connection, i.e., φ(O) = A and ψ(A) = O. Minimal generator: An itemset g ⊆ A is called minimal generator of a closed itemset A, if and only if ω(g) = A and @g 0 ⊆ g such that ω(g 0 ) = A [1]. The closure operator ω induces an equivalence relation on items power set, i.e., the power set of items is partionned into disjoint subsets (also called classes). In each distinct class, all elements are equal support value. The minimal generator is the smallest element in this subset, while the closed itemset is the largest one. Figure 1(Right) sketches sample classes of the induced equivalence relation from the context K. Galois lattice: Given a formal context K, the set of formal concepts CK is a complete lattice Lc = (C, ≤), called the Galois (concept) lattice, when CK is considered with inclusion between itemsets [4, 6]. A partial order on formal concepts is defined as follows ∀ c1 , c2 ∈ CK , c1 ≤ c2 iif intent(c2 ) ⊆ intent(c1 ), or equivalently extent(c1 ) ⊆ extent(c2 ). The partial order is used to generate the lattice graph, called Hasse diagram, in the following manner: there is an arc (c1 , c2 ), if c1 ¹ c2 where ¹ is the transitive reduction of ≤, i.e., ∀c3 ∈ CK , c1 ≤ c3 ≤ c2 implies either c1 = c3 or c2 = c3 . Iceberg Galois lattice: When only frequent closed itemsets are considered with set inclusion, the resulting structure (L̂, ⊆) only preserves the LUBs, i.e., the joint operator. This is called a join semi-lattice or upper semi-lattice. In the remaining of the paper, such structure is referred to as ”Iceberg Galois Lattice”. Example 1. Let us consider the extraction context given by Figure 1 (Left). The associated Iceberg Galois lattice, for minsup=2, is depicted by Figure 1(Bottom)4 . Each node in the Iceberg is represented as couple (closed itemset; support) and is decorated with its associated minimal generators list. In the following, we present the general framework for the derivation of associ- ation rules, then we establish its important connexion with the FCA framework. 2.2 Derivation of association rules Let I = {i1 , i2 , . . . , im } be a set of m distinct items. A transaction T , with an identifier further called TID, contains a set of items in I. A subset X of I where k = |X| is referred to as a k−itemset (or simply an itemset), and k is called the length of X. A transaction database, say D, is a set of transactions, which can be easily transformed in an extraction context K. The number of transactions of D containing the itemset X is called the support of X, i.e., 4 We use a separator-free form for sets, e.g., AB stands for {A, B}. 70 Gh. Gasmi, S. Ben Yahia, E. Mephu Nguifo, Y. Slimani ABCDE AB AC AD AE BC BD BE CD CE DE 1× ×× 2 ×× × 3××× × A B C D E 4 × × 5××× × ∅ {AE}, {AB} (ABCE;2) {A} {BC} ,{CE} (AC;3) (BCE;3) {C} {B}, {E} (C;4) (BE;4) ∅;5) (∅ Fig. 1. Left: Extraction context K Right: Associated sample of equivalence relation classes Bottom: Associated Iceberg Galois lattice for minsup =2. supp(X)=| {T ∈ D | X ⊆ T } |. An itemset X is said to be frequent when support(X) reaches at least the user-specified minimum threshold minsup. Association rule derivation is achieved from a set F of frequent itemsets in an extraction context K, for a minimal support minsup. An association rule R is a relation between itemsets of the form R : X ⇒ (Y − X), in which X and Y are frequent itemsets, and X ⊂ Y . Itemsets X and (Y − X) are called, respectively, premise and conclusion of the rule R. The valid association rules are those whose the strength metric conf(R)= |XY | |X| is greater than or equal to the minimal threshold of confidence minconf. If conf(R)=1 then R is called exact association rule (ER), otherwise it is called approximative association rule (AR). 3 Related work on generic bases of association rules The problem of the relevance and usefulness of extracted association rules is of primary importance. Indeed, in most real life databases, thousands and even millions of high-confidence rules are generated among which many are redun- dant. This problem encouraged the development of tools for rule classification according to their properties, for rule selection according to user-defined criteria, and for rule visualization. In this paper, we are specially interested in the lossless information reduction, which is based on the extraction of a generic subset of all association rules, called base, from which the remaining (redundant) associ- ation rules may be derived. The concept of rule redundancy can be considered as follows [7]: A new Informative Generic Base of Association Rules 71 Definition 1. Let ARK be the set of association rules that can be drawn from a c context K. A rule R: X⇒Y 5 ∈ ARK is considered as redundant (or derivable) c with respect to (from) R1 : X1 ⇒Y1 if R fulfils the following conditions: 1. Supp(R)=Supp(R1 ) and conf(R)=conf(R1 )=c 2. (X1 ⊂ X and Y ⊂ Y1 ) or (X1 = X and Y ⊂ Y1 ) Exact association rules, of the form R : X ⇒ (Y ), are implications between two itemsets X and XY whose closures are identical, i.e., ω(X) = ω(XY ). Indeed, from the aforementioned equality, we deduce that X and XY belong to the same class of the equivalence relation induced by the closure operator ω on P(A) and then supp(X)= supp(XY) (i.e., conf(R) = 1). 3.1 Work of Bastide et al. Bastide et al. characterized what they called ”the generic basis for exact associa- tion rules” (adapting the global implications base of Duquenne and Guigues [8]). Definition 2. Let FC be the set of frequent closed itemsets extracted from the context and, for each frequent closed itemset c, let us denote Gc the set of minimal generators of c. The generic basis for exact association rules, called GBE, is defined as follows: GBE ={R : g ⇒ (c − g) | c ∈ FCI and g ∈ Gc and g 6= c}. The authors also characterized a generic base of approximate association rules, based on extending the partial implications base of Luxenburger [9]. The GBA base is defined as follows : Definition 3. The generic base of approximate association rules given by : GBA = {R| R : X ⇒ Y, Y ∈ F CI and ω(X) ≤ Y and c=conf(R) ≥ minconf and supp(Y) ≥ minsup}. As pointed out in [10], the couple (GBE,GBA) of generic bases form a sound and informative generic base. With respect to Definitions 2 and 3, we consider that given an Iceberg Galois lattice, representing precedence-relation-based or- dered closed itemsets, generic bases of association rules can be derived in a straightforward manner. We assume that in such structure, each closed itemset is ”decorated” with its associated list of minimal generators. Hence, AR repre- sent ”inter-node” implications, assorted with a statistical information, i.e., the confidence, from a sub-closed-itemset to a super-closed-itemset while starting from a given node in an ordered structure. Inversely, ER are ”intra-node” impli- cations extracted from each node in the ordered structure. For example, Generic bases of exact and approximative association rules that can be drawn from the context K, are respectively depicted in Figure 2 (Left and Right). In [7], the authors presented sound inference axioms for both (GBE and GBA) bases, permitting to derive all association rules from generic bases of association rules. 5 c When conf(R: X⇒Y) =1, then c is omitted, i.e., R is written as R: X⇒Y. 72 Gh. Gasmi, S. Ben Yahia, E. Mephu Nguifo, Y. Slimani Rule # Implication Rule # Implication Rule # Implication R1 E⇒B .75 .75 R2 B⇒E R8 C⇒A R13 B⇒CE .75 .5 R3 A⇒C R9 C⇒BE R14 E⇒ABC R4 BC⇒E .5 .5 R10 C⇒ABE R15 B⇒ACE R5 CE⇒B R11 .66 A⇒BCE R16 .66 BC⇒AE R6 AB⇒CE .75 .66 R12 E⇒BC R17 CE⇒AB R7 AE⇒BC Fig. 2. Generic bases drawn from the context K Left: the GBE base Right: the GBA base. 3.2 Work of Phan In [11], the author presented a definition of a generic base and the associ- ated derivation axioms. The author broke the ”monopoly” of the FCA based- semantics related work for deriving generic bases. Indeed, the presented approach to derive the generic base takes as input the set of frequent itemsets (and not closed) yield for example by the Apriori algorithm. Another peculiarity of the proposed generic base is that it is composed of association rules, in which the respective premise and conclusion parts are not necessarily disjoint. In what follows, we present the GBP han algorithm, whose pseudo-code is given by Algorithm 1.1, permitting to derive the GBP han generic base. Example 2. Let us consider the extraction context given by Figure 1 (Left). Then, in what follows the running process of the GBP han algorithm for minsup = 52 and minconf = 12 . The set R is initialized with the set of frequent itemsets in a decreasing order, i.e., R= {ABCE, ABC, ABE, ACE, BCE, AB, AC, AE, BC, BE, CE, A, B, C, E}. For J = ABCE, we have supp(ABCE) = 25 ≤ minconf. Then, we have : LABCE = A, B, C, E, AB, AC, AE, BC, BE, CE, ABC, ABE, ACE, BCE. For I = A, we have |ABCE| |A| = 23 ≥ minconf. In this case, the generic rule A⇒ ABCE is added to the generic base and from LABCE we delete all element including A, i.e., AB, AC, AE, ABC, ABE, ACE, and A. Therefore, the set LABCE equals {B, C, E, BC, CE, BCE}. Next for I= B, we have |ABCE| 1 |B| = 2 , we have to generate the generic rule B⇒ ABCE and to delete BC, C and BCE from LABCE . Therefore, the set LABCE is equal to {C, E, CE}. For I= C, we have supp(ABCE) supp(C) = 12 , then we generate the generic rule C⇒ ABCE and we delete CE and C from LABCE . Finally for I= E, we have |ABCE| |E| = 12 . Hence, we generate the generic rule E⇒ABCE and E is removed from LABCE . Next, we have to remove from the set R, the following itemsets ABC, ABE, ACE, AB and AE. The set R is found to be equal to {BCE, AC, BC, BE, CE, A, B, C, E}. Then, for J= BCE, we have |BCE|= 53 ≥ minconf. In this case, we have to generate the generic rule ∅ ⇒BCE and we delete BCE, BC, BE, CE, B, C and E from R. Therefore, R= {AC, A} and for J= AC we have |AC|= 35 ≥ minconf. Then, we have to generate the generic rule ∅ ⇒ AC. After the removal of AC and A from A new Informative Generic Base of Association Rules 73 Algorithm 1.1: GBP han Data: – R= {frequent itemsets in a decreasing order} – minsup – minconf Result: GBP han : generic base begin foreach J ∈ R of size i from m down to 1| m= |largest frequent itemset| do if support(J) ≥ minconf then GBP han =GBP han ∪ {∅ ⇒J } R=R-{J 0 |J 0 ⊆ J } else LJ = {all nonempty subset of J in an ascendant order } foreach I ∈ LJ of size k from 1 to i-1 do if @ I 0 ⇒ J 0 ∈ GBP han | I 0 ⊆ I ∧ and J ⊆ J 0 ∧ |J| |I| ≥ minconf then GBP han =GBP han ∪ {I ⇒ J} LJ =LJ -{ I 0 | I ⊂ I 0 ⊂ J} LJ =LJ - I R= R- {J0 ⊆ J| |J0 |=|J|} end R, the set R is found to be empty and the algorithm terminates. The resulting generic base is depicted by Table 1. Implication Support Confidence 2 2 A⇒ABCE 5 3 2 1 B⇒ABCE 5 2 2 1 C⇒ABCE 5 2 2 1 E⇒ABCE 5 2 4 3 ∅ ⇒BCE 5 5 4 3 ∅ ⇒AC 5 5 Table 1. Generic Base GBP han . For the derivation of association rules, the author presented a sound ax- iomatic system composed of the following two axioms: A1:Left augmentation If I⇒ JK ∈ GBP han , then IJ⇒JK is a derivable valid rule. A2:Decomposition If I ⇒ JK∈ GBP han , then I⇒J and I⇒ K are derivable valid rules. 74 Gh. Gasmi, S. Ben Yahia, E. Mephu Nguifo, Y. Slimani For example, from ∅ ⇒AC and using the above mentioned axioms, it is possible to derive A⇒ AC, C⇒ AC and A⇒ C. However, two drawbacks may be addressed. At first, only frequent itemsets are used to define the generic base, and one can imagine the length and the num- ber of such frequent itemsets that could be derived from correlated extraction contexts. Second, the presented generic base is not informative, i.e., it may exist a derivable rule for which it is impossible to determine exactly both its support and confidence. For example, the association rule BE⇒C is derivable from the generic rule E⇒ABCE. However, it is impossible to derive the exact confidence and support of the derivable rule from the GBP han generic base. 3.3 Work of Kryszkiewicz In [10], the author introduced another syntactic derivation operator, called the cover, defined as follows: Cover(X ⇒Y) = {X ∪ Z ⇒ V | Z, V ⊆ Y ∧ Z ∩ V = ∅ ∧ V 6= ∅}. The number of the derived rules from a rule R: X ⇒ Y is equal to |Cover(R)|=3m - 2 , where |Y|=m. For a derived rule R’, we have conf(R’)≥ max { conf(Ri )| R’∈ m Cover(Ri )} and supp(R’)≥ max { supp(Ri )| R’∈ Cover(Ri )}. In order to deter- mine whether a rule R’:X’⇒Y’ belongs to the cover of a rule R:X⇒Y, we have to check that X ⊆ X 0 and Y 0 ⊂ Y . The author proposed a minimal base of rules called representative association rules (RR) defined as follows: RR={R ∈ AR | @ R’∈ AR, R6=R’and R ∈ C(R’)} where AR is the set of all valid association rules. As pointed out in [10], using the cover operator as a rule inference mechanism, RR is lossless, sound but it is not informative. However, the author claimed that the couple (GBE,GBA) forms a lossless, sound and informative generic base, by using the cover operator as inference mechanism. On the other hand, the author showed that given the following bases: – The DG Duquenne-Guigues basis for exact rules, i.e., DG={R:X⇒ω(X)-X |X ∈FP}, where FP the pseudo-closed itemsets. – the PB Proper basis for approximative rules, i.e., PB={R:X⇒Y-X |X,Y ∈FCI and X ⊂ Y and conf(R)≤ minconf} then the couple(PB,DG) forms a lossless, sound and informative base, by using the conjunction of closure-closure inference rule [10] and Armstong’s ax- ioms [12] as inference mechanism. Clearly, the drawback of the solution proposed is the considerable increase in the size of base in order to be sound and informa- tive. 4 New generic base Intuitively, we are looking for defining a new informative generic base provid- ing the ”maximal boundaries” in which stand all the derivable rules. Indeed, a derivable rule cannot present a smaller premise than that of its associated A new Informative Generic Base of Association Rules 75 generic rule, i.e., from which it can be derived. On the other hand, a derivable rule cannot present a larger conclusion than that of its associated generic rule. In what follows, we present the definition of the introduced IGB generic base. Definition 4. The generic base IGB of association rules given by : IGB = {R : gs ⇒ A-gs | A ∈ F CI ∧ ω(gs ) ≤ A ∧ conf(R) ≥ minconf ∧ @ g0 such that gs ⊂ g0 and conf(g0 ⇒ A-g0 )≥minconf }. Proposition 1. Let I a frequent closet itemset. If |I| ≥ minconf, then the generic rule that can be drawn from I is ∅ ⇒I. Proof. since conf(∅ ⇒I)=supp(I), then the generic rule ∅ ⇒I is valid. It is also the largest rule that can be drawn from the frequent closed itemset I. Indeed, @ R1 : X1 ⇒ Y1 such that X1 ⊂ ∅ and I ⊆Y1 . 4.1 The IGB generic base construction In what follows, we present the Igb algorithm, whose pseudo-code is given by Algorithm1.2, permitting to construct the introduced generic base of association rules. The Igb algorithm is based on Proposition 1. So, it considers the set of frequent closed itemsets FCI. For each closed itemset I, it checks whether its support is greater than or equal to minconf. If it is the case, then we generate the generic rule ∅ ⇒I. Otherwise, it has to look for the smallest minimal generator, say gs , associated to a frequent closed itemset subsumed by I, and generates the generic rule gs ⇒I-gs . Example 3. Let us consider the extraction context given by Figure 1 (Left). Then, in what follows the running process of the Igb algorithm for minsup = 25 and minconf = 12 . For I = ABCE, we have |ABCE|= 25 < 12 , LABCE = {C, A, B, E, BC, CE, AE, AB}. Since |ABCE| |C| = 12 , we have to generate the generic rule C⇒ABE and to remove BC, CE and C from LABCE . Next, we have |ABCE| |A| = 32 > 12 . Then, we generate A⇒ BCE and AE, AB and A are removed from LABCE . Then, we have |ABCE| |B| = 12 . So, we generate the generic rule B⇒ACE and we delete B from LABCE . From, the evaluation of |ABCE| |E| = 12 , we have to generate E⇒ ABC, and to remove E from LABCE , which is found to be empty. For I = BCE we have |BCE| ≥ minconf, then we generate the generic rule ∅ ⇒BCE. Next, we have to apply the same process, respectively, for I = AC, I = BE and I = C. The resulting generic base is depicted by Table 2. Obviously, the introduced IGB generic base is largely more compact than that proposed by Bastide et al. (8 generic rules vs 17). Comparatively to that proposed by Phan, the IGB generic base is not more compact but it presents the informative property. The Igb algorithm is currently under implementation, and we have to assess its compactness output versus those presented in the literature survey. 76 Gh. Gasmi, S. Ben Yahia, E. Mephu Nguifo, Y. Slimani Algorithm 1.2: Igb Data: 1. FCI: set of frequent closed itemsets and their associated supports. 2. minconf Result: IGB:Informative generic base begin foreach frequent closed itemset I ∈ F CI / I6= ∅ do if (|I| ≥ minconf ) then R= ∅ ⇒ I R.supp=|I| R.conf=|I| IGB=IGB ∪ R else LI1 ={non empty minimal generators of frequent closed itemset I1 | I1 ⊆ I} foreach minimal generator g ∈ LI1 do |I| if ( |g| ≥ minconf ∧ I 6= g) then R= g ⇒I-g R.supp=|I| |I| R.conf= |g| IGB=IGB ∪ R LI1 =LI1 -{g 0 | g ⊂ g 0 } LI1 =LI1 -g end 4.2 Association rule derivation In this subsection, we will try to axiomatize the derivation of association rules from the the IGB generic base. In the following, we provide a set of inference axioms and we prove their soundness. Then, we show that the IGB generic base is informative. Proposition 2. Let IGB K and ARK be a generic base and the set of valid association rules, respectively, that can be drawn from a context K. Then, the following inference axioms are sound: c c A0.Conditional Reflexivity: If X ⇒ Y ∈ IGBK ∧ X 6= ∅ then X⇒Y ∈ ARK c c0 A1.Conditional Decomposition: If X⇒Y ∈ IGBK ∧ X 6= ∅ then X ⇒Z ∈ ARK / Z ⊂ Y ∧ c0 = |XZ| |X| . c c0 A2.Augmentation If X⇒Y ∈ IGBK then X ∪ Z⇒Y-{Z} ∈ ARK /Z ⊂ Y ∧ |Y | c0 = |XZ| . Proof. A0.Conditional Reflexivity: follows from the proper definition of the IGB generic base. The condition X 6= ∅ ensures the non emptiness of the derived rule. A new Informative Generic Base of Association Rules 77 Implication Support Confidence 2 1 C⇒ABE 5 2 2 2 A⇒BCE 5 3 2 1 B⇒ACE 5 2 2 1 E⇒ABC 5 2 3 3 ∅ ⇒BCE 5 5 3 3 ∅ ⇒AC 5 5 4 4 ∅ ⇒BE 5 5 4 4 ∅ ⇒C 5 5 Table 2. The IGB generic base. c c A1.Conditional Decomposition: Since, X⇒Y ∈ IGBK then conf(X⇒Y)=c ≥ minconf. Since Z ⊂ XY, we have |XZ|≥ |XY| and then |XZ| |XY | |X| ≥ |X| ≥ c0 minconf. Hence, X⇒Z is a valid rule with a confidence value c0 = |XZ| |X| .The condition X 6= ∅ ensures the non emptiness of the derived rule. A2.Augmentation Since, X⇒Y ∈ IGBK then conf(X⇒Y)=c ⇔ |XY | c c |X| =c ≥ minconf. From X ⊂ XZ, we have |X| >|XZ| > and minconf < |XY | |XY Z| |X| < |XZ| . c0 |Y | Hence, X ∪ Z⇒Y-{Z} is a valid rule, with a confidence value c0 = |XZ| . Proposition 3. The IGB generic base is informative. Proof. To prove that the IGB generic base is informative, it is sufficient to show that it contains all the necessary information to determine the support of an itemset in a derived rule. Therefore, it means that we have to be able to recon- stitute all closed itemset by concatenation of the premise and the conclusion of a generic rule 6 . The algorithm considers all the discovered frequent closed item- sets. Hence for a given frequent closed itemset, say c, it tries to find the smallest minimal generator, say gs , associated to frequent closed itemsets subsumed by c and fulfilling the minsup constraint. Therefore, the algorithm generates the following generic rule gs ⇒c. Since gs ⊂ c, then gs ∪ c=c. Then by construction, all frequent closed itemsets can be reconstituted from the IGB generic base. Conclusion: The IGB generic base is informative. In what follows, we present the AR-deriv algorithm, whose pseudo-code is given by Algorithm1.3, permitting to derive all valid association rules from the IGB generic base. 5 Conclusion In this paper, we presented a critical survey of the reported approaches for defining generic bases of association rules. Then, we introduced a novel generic 6 It is known that the support of an itemset is equal to the support of the smallest closed itemset containing it. 78 Gh. Gasmi, S. Ben Yahia, E. Mephu Nguifo, Y. Slimani Algorithm 1.3: A-r-deriv Data: IGB K : Informative generic base Result: ARK :set of valid association rules begin c foreach R:X⇒Y ∈ IGB K do /* Applying Reflexivity axiom*/ c if X 6= ∅ then ARK =ARK ∪ X⇒ Y if |Y| > 1 then foreach Z | Z⊂ Y do /*Applying Decomposition axiom*/ R’=X⇒Z s=Get-smallest-support(XZ, IGBK ) /* the Get-smallest-support function yields the support value of the smallest closed itemset containing XZ*/ c×s c’= |XY | c0 ARK =ARK ∪ X⇒ Z /*Applying Augmentation axiom*/ R’=XZ⇒Y-{Z} s=Get-smallest-support(XZ,IGB K ) c’= |XY s | c0 ARK =ARK ∪ XZ⇒ Y − {Z} end base, which is sound and informative. We also provided a set of sound inference axioms for deriving all association rules from the introduced generic base of association rules. The reported algorithms are currently under implementation in order to include them in a Information Retrieval prototype. Specially, we are interested in assessing the well-known IR metrics, namely recall and precision, by using the introduced generic rule base in a query expansion process. References 1. Bastide, Y., Pasquier, N., Taouil, R., Lakhal, L., Stumme, G.: Mining minimal non-redundant association rules using frequent closed itemsets. In: Proceedings of the Intl. Conference DOOD’2000, LNCS, Springer-verlag. (2000) 972–986 2. Stumme, G., Taouil, R., Bastide, Y., Pasquier, N., Lakhal, L.: Intelligent struc- turing and reducing of association rules with formal concept analysis. In: Proc. KI’2001 conference, LNAI 2174, Springer-verlag. (2001) 335–350 3. Zaki, M.J.: Generating non-redundant association rules. In: Proceedings of the 6th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining,Boston, MA. (2000) 34–43 4. Ganter, B., Wille, R.: Formal Concept Analysis. Springer-Verlag (1999) 5. BenYahia, S., Cherif, C.L., Mineau, G., Jaoua, A.: Découverte des règles asso- ciatives non redondantes : application aux corpus textuels. Revue d’Intelligence A new Informative Generic Base of Association Rules 79 Artificielle (special issue of Intl. Conference of Journées francophones d’Extraction et Gestion des Connaissances(EGC’2003), Lyon, France 17 (2003) 131–143 6. Barbut, M., Monjardet, B.: Ordre et classification. Algèbre et Combinatoire. Ha- chette, Tome II (1970) 7. BenYahia, S., Nguifo, E.M.: Revisiting generic bases of association rules. In: Proceedings of 6th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2004) (Springer-Verlag) to appear, Zaragoza, Spain. (2004) 8. Guigues, J., Duquenne, V.: Familles minimales d’implications informatives résultant d’un tableau de données binaires. Mathématiques et Sciences Humaines (1986) 5–18 9. Luxenburger, M.: Implication partielles dans un contexte. Mathématiques et Sci- ences Humaines 29 (1991) 35–55 10. Kryszkiewicz, M.: Concise representations of association rules. In Hand, D.J., Adams, N., Bolton, R., eds.: Proceedings of Pattern Detection and Discovery, ESF Exploratory Workshop, London, UK. Volume 2447 of Lecture Notes in Computer Science., Springer (2002) 92–109 11. Luong, V.P.: Raisonnement sur les règles d’association. In: Proceedings 17ème Journées Bases de Données Avancées BDA’2001, Agadir (Maroc), Cépaduès Edi- tion. (2001) 299–310 12. Armstrong, W.: Dependency structures of database relationships. In: IFIP Congress. (1974) 580–583