## Are you sure?

This action might not be possible to undo. Are you sure you want to continue?

**Discovering Conditional Functional Dependencies
**

Wenfei Fan 1,2 , Floris Geerts 1 , Laks V.S. Lakshmanan 3 , Ming Xiong 2

1

University of Edinburgh, UK

2

Bell Laboratories, USA

3

**University of British Columbia, Canada
**

laks@cs.ubc.ca

{wenfei,fgeerts}@inf.ed.ac.uk

{wenfei,xiong}@research.bell-labs.com

Abstract— This paper investigates the discovery of conditional functional dependencies (CFDs). CFDs are a recent extension of functional dependencies (FDs) by supporting patterns of semantically related constants, and can be used as rules for cleaning relational data. However, ﬁnding CFDs is an expensive process that involves intensive manual effort. To effectively identify data cleaning rules, we develop techniques for discovering CFDs from sample relations. We provide three methods for CFD discovery. The ﬁrst, referred to as CFDMiner, is based on techniques for mining closed itemsets, and is used to discover constant CFDs, namely, CFDs with constant patterns only. The other two algorithms are developed for discovering general CFDs. The ﬁrst algorithm, referred to as CTANE, is a levelwise algorithm that extends TANE, a well-known algorithm for mining FDs. The other, referred to as FastCFD, is based on the depthﬁrst approach used in FastFD, a method for discovering FDs. It leverages closed-itemset mining to reduce search space. Our experimental results demonstrate the following. (a) CFDMiner can be multiple orders of magnitude faster than CTANE and FastCFD for constant CFD discovery. (b) CTANE works well when a given sample relation is large, but it does not scale well with the arity of the relation. (c) FastCFD is far more efﬁcient than CTANE when the arity of the relation is large.

discovery, the exponential complexity carries over to CFD discovery. Moreover, CFD discovery requires mining of semantic patterns with constants, a challenge that was not encountered when discovering FDs, as illustrated by the example below. Example 1: The following relation schema cust is taken from [1]. It speciﬁes a customer in terms of the customer’s phone (country code (CC), area code (AC), phone number (PN)), name (NM), and address (street (STR), city (CT), zip code (ZIP)). An instance r0 of cust is shown in Fig. 1. Traditional FDs that hold on r0 include the following:

f1 : f2 :

Here f1 requires that two customers with the same countryand area-codes also have the same city; similarly for f2 . In contrast, the CFDs that hold on r0 include not only the FDs f1 and f2 , but also the following (and more):

φ0 : φ1 : φ2 : φ3 : ([CC, ZIP] → STR, (44, ([CC, AC] → CT, (01, 908 ([CC, AC] → CT, (44, 131 ([CC, AC] → CT, (01, 212

MH )) EDI )) NYC ))

[CC, AC] → CT [CC, AC, PN] → STR

))

I. I NTRODUCTION Conditional functional dependencies (CFDs) [1] were recently introduced for data cleaning. They extend standard functional dependencies (FDs) by enforcing patterns of semantically related constants. CFDs have been proven more effective than FDs in detecting and repairing inconsistencies (dirtiness) of data [1], [2], and are expected to be adopted by data-cleaning tools that currently employ standard FDs (e.g., [3], [4], [5]; see [6], [7] for a survey of such tools). However, for CFD-based cleaning methods to be effective in practice, it is necessary to have techniques in place that can automatically discover, proﬁle, or learn CFDs from sample data, to be used as data cleaning rules. As indicated in [8], proﬁling of data cleaning rules is critical to commercial data quality tools. This practical concern highlights the need for studying the discovery problem for CFDs: given a sample instance r of a relation schema R, it is to ﬁnd a canonical cover of all CFDs that hold on r, i.e., a set of CFDs that is logically equivalent to the set of all CFDs that hold on r. To reduce redundancy, each CFD in the canonical cover should be minimal, i.e., nontrivial and left-reduced (see [9] for nontrivial and left-reduced FDs). The discovery problem is, however, highly nontrivial. It is already hard for traditional FDs since, among other things, a canonical cover of FDs discovered from a relation r is inherently exponential in the arity of the schema of r, i.e., the number of attributes in R. Since CFD discovery subsumes FD

10844627/09 $25.00 © 2009 IEEE DOI 10.1109/ICDE.2009.208

In φ0 , (44, ) is the pattern tuple that enforces a binding of semantically related constants for attributes (CC, ZIP, STR) in a tuple. It states that for customers in the UK, ZIP uniquely determines STR. It is an FD that only holds on the subset of tuples with the pattern “CC = 44”, rather than on the entire relation r0 . CFD φ1 assures that for any customer in the US (country code 01) with area code 908, the city of the customer must be MH, as enforced by its pattern tuple (01, 908 MH); similarly for φ2 and φ3 . These cannot be expressed as FDs. More speciﬁcally, a CFD is of the form (X → A, tp ), where X → A is an FD and tp is a pattern tuple with attributes in X and A. The pattern tuple consists of constants and an unnamed variable ‘ ’ that matches an arbitrary value. To discover a CFD it is necessary to ﬁnd not only the traditional FD X → A but also its pattern tuple tp . With the same FD X → A there are possibly multiple CFDs deﬁned with different pattern tuples, e.g., φ1 –φ3 . Hence a canonical cover of CFDs that hold on r0 is typically much larger than its FD counterpart. Indeed, as recently shown by [10], provided that a ﬁxed FD X → A is already given, the problem for discovering sensible patterns associated with the FD alone is already NP-complete. Prior work. The discovery problem has been studied for FDs for two decades [11], [12], [13], [14], [15], [16], [17], [18], [19] for database design, data archiving, OLAP and data mining. It was ﬁrst investigated in [13], which shows that the problem is inherently exponential in the arity |R| of the schema R of sample data r. One of the best-known methods

1231

Authorized licensed use limited to: The University of Edinburgh. Downloaded on June 26, 2009 at 08:05 from IEEE Xplore. Restrictions apply.

For a ﬁxed traditional FD fd. explores the connection between FD discovery and the problem of ﬁnding minimal covers of hypergraphs.g. ZIP] → STR. It hereby employs a depth-ﬁrst search strategy instead of following the levelwise approach. Nor does r satisfy ψ = (AC → CT. we say that Σ is equivalent to Σ . tp ). For each attribute A ∈ attr(R). Indeed. then (a) t1 [A] = t2 [A]. r |= Σ iff r |= Σ . [20].ZIP] ≤ ( . A. 07974. “EDI”) ≤ (44. t1 and t4 violate ψ since t1 [CC. Classiﬁcation of CFDs.t1 : t2 : t3 : t4 : t5 : t6 : t7 : t8 : CC 01 01 01 01 44 44 44 01 AC 908 1111111 Mike 908 1111111 Rick 212 2222222 Joe 908 2222222 Jim 131 3333333 Ben 131 4444444 Ian 908 4444444 Ian 131 2222222 Sean Fig. 1 satisﬁes CFDs f1 . which is an extension of TANE. Finally. we use AL and AR to indicate the occurrence of A in the LHS(ϕ) and RHS(ϕ). t[X] ≤ tp [X]} such that for any t1 . extends TANE to discover general CFDs based on an attribute-set/pattern tuple lattice. if t1 [X] = t2 [X] ≤ tp [X] then t1 [A] = t2 [A] ≤ tp [A]. Conditional Functional Dependencies Consider a relation schema R deﬁned over a ﬁxed set of attributes. CTANE. We say that an instance r of R satisﬁes a set Σ of CFDs over R.. [23]. It takes (almost) linear-time in the size of the output. Another algorithm.t. An instance r of R satisﬁes the CFD ϕ (or ϕ holds on r). There is an intimate connection between leftreduced constant CFDs and non-redundant association rules. and (3) tp is a pattern tuple with attributes in X and A. deﬁnes minimal and frequent CFDs. The order ≤ naturally extends to tuples. Organization. but t1 [STR] = t4 [STR]. but it is more sensitive to the size |r| (it is in O(|r|2 log |r|) time. (2) Our ﬁrst algorithm. tp [B] is either a constant ‘a’ in dom(B). data complexity). ). denoted by r |= Σ. (2) X → A is a standard FD. . we use dom(A) to denote its domain. “EDI”) (44. [10] showed that it is NP-complete to ﬁnd useful patterns that. make high quality CFDs.e. EDI Port PI MH 3rd Str. CTANE. and works well when the arity |R| is not very large. Restrictions apply. “Tree Ave. ( . a levelwise algorithm that searches an attribute-set containment lattice and derives FDs with + 1 attributes from sets of attributes. . contain redundant patterns. MH 5th Ave NYC Elm Str. we deﬁne an order ≤ on constants and the unnamed variable ‘ ’: η1 ≤ η2 if either η1 = η2 . To give the semantics of CFDs. ZIP] = t4 [CC. and a summary of our experimental results. t2 in r. e. an FD X → A can be expressed as a CFD (X → A. TANE takes linear time in the size |r| of input sample r. denoted by r |= ϕ. ϕ is a constraint deﬁned on the set rϕ = {t | t ∈ r. . rather than the entire instance r. where for each B in X ∪ {A}. and states the discovery problem. we state the discovery problem for CFDs. Indeed. with pruning based on FDs generated in previous levels.r. ). Section II reviews CFDs. denoted by Σ ≡ Σ . tp ) is called a constant CFD if its pattern tuple tp consists of constants only. (4) Our third algorithm. and A is a single attribute in attr(R). CFDs. (5) Our ﬁnal contribution is an experimental study of the effectiveness and efﬁciency of our algorithms. MH High St.e. CFD S AND CFD DISCOVERY In this section we ﬁrst review the deﬁnition of CFDs [1]. ) but (01. denoted by attr(R). [24]).. FastCFD.. and (b) t1 [A] ≤ tp [A]. We write t1 t1 ≤ t2 but t2 ≤ t1 . f2 and φ0 –φ3 of Example 1. referred to as FastFD [15]. Contributions. t2 ∈ rϕ . respectively. We denote X as LHS(ϕ) and A as RHS(ϕ). We then formalize the notions of minimal CFDs and frequent CFDs. in the size of the FD cover. The CFDs discovered by the TANE extensions may.. Here (a) enforces the semantics of the embedded FD on the set rϕ . tp ). From this one can see that while two tuples are needed to violate an FD. We separate the attributes in X and A in a pattern tuple with ‘ ’. ). if t1 [X] = t2 [X]. Intuitively. A CFD (X → A. i. Standard FDs are a special case of CFDs. 1232 Authorized licensed use limited to: The University of Edinburgh.. If A also occurs in X. (44. CFDMiner. )). The key contributions of our work include the following. It explores the connection between minimal constant CFDs and closed and free itemsets. Section IV concludes our work. i. 1. if r |= ϕ for each CFD ϕ ∈ Σ. including both traditional FDs and their associated patterns. Section III presents CFDMiner. For two sets Σ and Σ of CFDs deﬁned over the same schema R. a ﬁxed FD. where (1) X is a set of attributes in attr(R). was presented in [20]. (131 EDI)) since t8 violates ψ : t8 [AC] ≤ (131) but t8 [CT] ≤ (EDI). iff for each pair of tuples t1 . EDI High St. They provide efﬁcient heuristic algorithms for discovering patterns from samples w. Recently two sets of algorithms have been developed for discovering CFDs [10]. where tp [B] = for each B in X ∪ {A}. and employs the depth-ﬁrst strategy to search minimal covers. (44. discovers general CFDs. based on real-life data and synthetic datasets. FastCFD. which can be found from closed and free itemsets. (3) Our second algorithm. and (b) assures the binding between constants in tp [A] and constants in t1 [A]. CFDs can be violated by a single tuple. [22]) and in particular. discovers constant CFDs. UN the cust relation. as elaborated in [21]. “EH4 1DT”. We t2 if say that a tuple t1 matches t2 if t1 ≤ t2 . (1) We propose a notion of minimal (frequent) CFDs based on both the minimality of attributes and the minimality of patterns.g. An instance r0 of PN NM Tree Ave. for FD discovery is TANE [14]. Downloaded on June 26. Semantics. It does not satisfy the CFD ψ = ([CC. Finally. MH Tree Ave. ϕ constrains the subset rϕ of r identiﬁed by tp [X]. referred to as the FD embedded in ϕ. “EH4 1DT”. closed and free itemsets mining (e. It scales better than TANE when the arity is large. however. iff for any instance r of R. A novel pruning technique is introduced by leveraging constant CFDs found by CFDMiner. . Example 2: The instance r0 of Fig. That is. or η1 is a constant a and η2 is ‘ ’. Constant CFD discovery is related to association rule mining (e. when t2 is “more general” than t1 . A conditional functional dependency (CFD) ϕ over R is a pair (X → A. together with fd. An algorithm for discovering CFDs. For instance.”) ≤ (44. STR CT 07974 07974 01202 07974 EH4 1DT EH4 1DT W1B 1JH 01202 ZIP II.g. or an unnamed variable ‘ ’ that draws values from dom(B). 2009 at 08:05 from IEEE Xplore.

For an itemset (X. However. i. sp ). (ii) clo(X. CTANE: A Levelwise Algorithm We next present CTANE. tp ). (tp [X] )) for any tp with tp tp . tp . and (2) r |= (X → A. tp ). when tp [AL ] = tp [AR ])..e. i. CTANE starts from L1 . i. is deﬁned as the set of tuples in r that match with tp on the X-attributes. B. The support of a CFD ϕ = (X → A. tp ) is k-frequent if |supp(X. (sp [X \ {A}] sp [A])) is minimal. FastCFD: A Depth First Approach In contrast to CTANE. sp ). tp . When the algorithm considers (X. tp ) in an instance r. (tp a)) such that r |= ϕ iff (i) the itemset (X. tp ) (Y. (tp [Y ] )) for any proper subset Y X.e. we say that an itemset (X. Frequent CFDs. Our CFD discovery problem is to ﬁnd a canonical cover of CFDs on r w. Intuitively. FastCFD discovers k-frequent minimal CFDs in a depth-ﬁrst way. sp ). Apart from testing for minimality. where A ∈ X. r) ≥ k. a CFD ϕ is said to be k-frequent in r if sup(ϕ. an itemset (X. denoted by C + (X. denoted by sup(ϕ. r0 still satisﬁes (AC → CT. tp . sp ) (X. |X| = . CFDMiner. sp ). r) ⊆ supp(Y. in which (X. the RHS of its pattern tuple is the unnamed variable ‘ ’. sp ) such that (X. D ISCOVERING CFD S : A LGORITHMS AND R ESULTS In this section. A. (X \ {A} → A. k-frequent CFDs. tp [B] is a constant. if tp [AL ] and tp [AR ] are distinct constants). which is shown below. if (X. For a natural number k ≥ 1. Intuitively. sp ) (A. tp ) is free. where X ⊆ attr(R) and tp is a constant pattern over X. The Discovery Problem for CFDs Below we ﬁrst formalize the notions of minimal CFDs and frequent CFDs. tp ) is called closed in r if there is no itemset (Y. making the levelwise approach feasible in practice. denoted by (X.g. Furthermore.e. tp ). Example 3: On the sample r0 of Fig. then either it is satisﬁed by all instances of R (e. tp ) and has the same support in r as (X. C. Similarly. if Y ⊆ X and tp [Y ] = sp . i. left-reduced CFD such that r |= ϕ. a depth-ﬁrst algorithm for discovering FDs. In the sequel we consider nontrivial CFDs only. r). r)| ≥ k. it tests for CFDs of the form sp [A])). k is a set Σ of minimal. it assures the minimality of patterns. sp ) for which supp(Y. that is used to determine whether (X \ {A} → A. (tp a)) is said to be leftreduced on r if for any Y X. It is an extension of the TANE algorithm [14] for discovering FDs. Restrictions apply.. f2 are 8-frequent.. a). sp ) such that (X.g. i. and (2) none of the constants in its LHS pattern can be “upgraded” to ‘ ’. our algorithm for constant CFD proﬁling. and (iii) (X. CTANE derives CFDs in L +1 from L with pruning based on CFDs generated in previous levels. and clo(Y.. A CFD ϕ = (X → A. or in other words. A minimal CFD ϕ on r is a nontrivial. CTANE maintains for each considered element (X. r |= (Y → A. a minimal CFD is non-redundant. f2 and φ0 are minimal variable CFDs. a levelwise algorithm for discovering minimal. φ1 is not minimal since CC can be dropped. (tp [Y ] a)). r) = supp(X. tp ) (A. Minimal CFDs. The support of (X. k-frequent and it does not contain (A. there is a k-frequent left-reduced constant CFD ϕ = (X → A.. tp ) (Y. It is called a variable CFD if tp [A] = . such that Σ is equivalent to the set of all k-frequent CFDs that hold on r.r. sp ) with this property. sp . as explained in [21]. Clearly. tp ). A canonical cover of CFDs on r w. i. the lattice L consists of elements of the form (X. tp ) the unique closed itemset that extends (X. can be maintained during the levelwise traversal. 2009 at 08:05 from IEEE Xplore. where X ⊆ attr(R) and tp is pattern tuple over X. sp ) has size .e.t. sp .. sp ). tp ) over R is said to be trivial if A ∈ X. α) for A ∈ attr(R) and α ∈ dom(A) ∪ { }. (tp )) is left-reduced on r if (1) r |= (Y → A. (tp a)). singleton sets (A. or it is satisﬁed by none of the instances in which there is a tuple t such that t[X] ≤ tp [X] (e. i.e. respectively. k. .t. (212 NYC)) since there is only one tuple (t3 ) with AC = 212 in r0 . An itemset (X. φ2 of Example 1 is a minimal constant CFDs. tp ). the patterns now consist of both constants and unnamed variables ( ). r). a). C + (X. sp ) at this level. (sp [X \ {A}] This guarantees that only non-trivial CFDs are considered.r. In contrast to the itemsets in Section III-A. An itemset is a pair (X. denoted by supp(X. It is inspired by FastFD [15]. φ1 . Given a level in L. sp ) such that (Y.e. Readers are referred to [21] for more details. sp . r). Moreover. Free and closed itemsets. sp ) is more general than (X. i. φ2 of Example 1 are 3-frequent and 2-frequent. CTANE mines CFDs by traversing an attribute-set/pattern lattice L in a levelwise way. Proposition 1: For an instance r of R. tp ) in r. A constant CFD (X → A. Similarly. tp ) for which supp(Y.. For instance. If ϕ is trivial. For a natural number k ≥ 1. sp ) then supp(X.i. tp ) is called free in r if there exists no itemset (Y. we present high-level descriptions of our algorithms for CFD proﬁling and a summary of our experimental results. φ3 is not minimal: if we drop CC from LHS(φ3 ). Downloaded on June 26. these assure the following: (1) none of its LHS attributes can be removed. we denote by clo(X. tuples that match the pattern of ϕ. r). 1233 Authorized licensed use limited to: The University of Edinburgh. We then state the discovery problem for CFDs. Y X. The connection between k-frequent free and closed itemsets and k-frequent left-reduced constant CFDs forms the basis for CFDMiner. is deﬁned to be the set of tuples t in r such that t[X] ≤ tp [X] and t[A] ≤ tp [A]. ﬁnds a canonical cover of k-frequent minimal constant CFDs of the form (X → A. tp . A variable CFD (X → A.. k-frequent CFDs in r. f1 . III. tp ) (Y. tp ) does not contain a smaller free set (Y. The set C + (X. a). and f1 .e. sp ) also provides an effective pruning strategy. r). we denote by L the collection of elements (X. It then proceeds to larger attribute-set/pattern levels in L in a levelwise way. the minimality of attributes. there exists no (Y. More precisely. r) = supp(X. We say that (Y. tp [A] is a constant and for all B ∈ X.. CFDMiner: Discovering Constant CFDs Given an instance r of R and a support threshold k.e. tp . Similar to TANE. tp ) (Y. the pattern tp is “most general”. B.e. Problem statement.. sp ) a set.. 1.

vol. We implemented two approaches for computing the difference sets. Given (X. Hull. Wijsen. 3. X.” TODS. is produced if none of the variables (i. Srikant. [18] T. k) the set of all CFDs ϕ = (Y → A. Brown. vol. p p For each itemset tc in Patt(X). Addison-Wesley. pp. (2) CTANE for discovering general minimal CFDs based on the levelwise approach. pp.ac. [9] S. ϕ is minimal. Batini and M. Methodologies and Techniques.” in VLDB. Fourth. (b) CTANE usually works well when the arity of a sample relation is small and the support threshold is high. Summary of Experimental Results From our experiments based on real-life data.” in SIGMOD. Third. 2007.” 2007.” in DaWak. “Database repairing using updates. denoted by FastCFD. F. A. 33. Toivonen. V. 30. 2003.” in VLDB. 12. 2009 at 08:05 from IEEE Xplore. we use difference sets as in [15]. r. 1234 Authorized licensed use limited to: The University of Edinburgh. This guarantees that tp [X] is the most general in r. 100–111.ics. F. and L. we are currently experimenting with various datasets collected from real life. C ONCLUSIONS We have developed and implemented three algorithms for discovering minimal CFDs: (1) CFDMiner for mining minimal constant CFDs. To compute ﬁxlhs(attr(R) \ {A}. a topic for future work is to assess various quality measures for CFDs. FindCover maintains a list of possible k-frequent free itemsets Patt(X) together with its set of difference sets not covered yet.” in VLDB. vol. r) k. “Discovering data quality rules. R. and S. M. “BHUNT: Automatic discovery of fuzzy algebraic constraints in relational data. Brown and P. I. [15] C. Porkka. “Database dependency discovery: A machine learning approach. is inspired by the stripped partition-based approach used by FastFD [15]. Haas. (tp p p is the constant part of tp . and synthetic datasets generated from data scraped from the Web. Liu. no. [2] G. vol. called NaiveFast. A. Flach and I. Do. As suggested by our experimental results. 2. depth-ﬁrst algorithm for mining functional dependencies from relation instances . “Mining statistically important equivalence classes and delta-discriminative emerging patterns. [16] P. and a novel optimization technique via closed-itemset mining. 2005. vol. Aboulnaga. 2000. Kementsietsidis.” in EDBT.. G. Petit.edu/ml/). 3.” in KDD. “Mining non-redundant association rules. Li. Golab. 4. E. Ng.” AI Commun. W. and J. [24] J. Knowl. 1999. “Efﬁcient discovery of functional dependencies and armstrong relations. [5] J.Consider X ⊆ attr(R) and an attribute A in attr(R) \ X. [11] P. 2008.inf. J.. For each subset X ⊆ attr(R)\{A}.” TODS. 42.. june 2008. 27. 49–59. 722–768. King and J. H. Geerts. [17] S. no.’ ’) in tp [X] can be removed. Markl. these provide a set of tools for users to choose from for different applications. (c) NaiveFast and FastCFD are far more efﬁcient than CTANE when the arity of the relation is large. Rahm and H. Huhtala. vol. pp. worldwide. “Forecast: Data quality tools. 7. T. Marcinkowski. [7] E. 223–248. All k-frequent CFDs in r can thus be found by computing A∈attr(R) ﬁxlhs(attr(R) \ {A}. There is naturally much to be done. 2003. We denote by ﬁxlhs(X. Geerts. [21] Full version. [20] F. where tc in rtc . pp. ed. R. vol. “Dependency inference. 3–13. and B. this set of attributes is given by the attributes in those itemsets in Closed2 (r) that match with tc (the constant part of tp ). Savnik. pp. The ﬁrst one. vol. J. J. “TANE: An a efﬁcient algorithm for discovering functional and approximate dependencies. Bull. 3.” Comput. pp. 1995. A. Mannila and K. “Minimal-change integrity maintenance using tuple deletions. 2000.” in VLDB. p D. J. H.lfcs. L. r.e. 1. a a [14] Y. 2003. no. A. r. and moreover sup(ϕ. 2004. IV. Agrawal. “FastFDs: A heuristicdriven. 1999. Restrictions apply. 23. [23] M. “Consistent query answers in inconsistent databases. “Searching for dependencies at multiple abstraction levels. 2008. and L. Algorithm FastCFD does exactly this: for each A ∈ attr(R). A candidate CFD ϕ = (X → A. Haas. “Automatic discovery of correlations and soft functional dependencies. Finally. [19] R. 2006-2011. Indeed.” TPLP. Calders. Chomicki and J. 90–121. [8] Gartner. 2004. while we have employed in FastCFD techniques for mining closed itemsets.. “On generating near-optimal tableaux for conditional functional dependencies. Data Quality: Concepts. ϕ is minimal in rtc .e. pp. no.e. and A. we plan to explore the use of CFD inference in discovery. Toivonen. 229–260. Bertossi. Legendre.. FindCover inspects the subsets p of attr(R) \ {A} in a depth-ﬁrst.. 197. Lopes. no. we denote by rtc the set of tuples in r that match tc .pdf. k). Wisconsin breast cancer and chess datasets from UCI (http://archive. “Data cleaning: Problems and current approaches. pp. Lakhal. 2006. [13] H. p Then FindCover also ensures that the minimality conditions are checked for all subset itemsets of tc in Patt(X) such that p none of the constants in tp [X] can be removed or upgraded to ’ ’. F. Foundations of Databases. we are studying how to discover minimal CFDs from a dataset r when both its arity and size are large. “Improving data quality: Consistency and accuracy. [22] R.” Data Min. to eliminate CFDs that are entailed by those CFDs already found.. S. K¨ rkk ainen.extended abstract. r. but it scales poorly when the arity of the relation increases. 4-5. i. and J.-M. Arenas. Closed2 (r) can be used to infer for any two tuples in rtp on which attributes they agree. we expect that other mining techniques may also shed light on improving the performance of discovery algorithms. P. Jia. i. Srivastava.uci. Cong. R EFERENCES [1] W. “Conditional functional dependencies for capturing data inconsistencies. . Scannapieco. and A. and A. Discov. 393–424.e. Vianu. left-to-right fashion based on an ordering of attributes on attr(R) \ {A} for all tuples )). Fan. Verkamo. Mannila.” Information and Computation. Robertson. 1996. Springer. Wijsen. J. [4] J. The second approach. Ilyas. Ma. 1-2. a class of CFDs important for both data cleaning and data integration. (d) Our optimization technique based on closed-itemset mining is effective: FastCFD signiﬁcantly outperforms NaiveFast. it calls a procedure FindCover that computes ﬁxlhs(attr(R) \ {A}. Giannella. Chomicki. i.” IEEE Data Eng. Fan. X. [10] L. Downloaded on June 26. http://www. Miller. J. “Discovery of functional and approximate functional dependencies in relational databases. all 2-frequent closed itemsets in r.uk/research/ database/publications/proﬁling. R¨ ih¨ . Zaki. [12] I. k) in a depth-ﬁrst way. A. Korn. vol. and V. tp ). 2001. and E. and H. Karloff. vol. no.-J. 3. First. 2007. Jia. Abiteboul. “Fast discovery of association rules. [3] M.” JAMDS. L. Yu. J. D.” in VLDB. 139–160. R. 3.” in Advances in Knowledge Discovery and Data Mining. H. 2005. Second. we ﬁnd the following: (a) CFDMiner can be multiple orders of magnitude faster than CTANE and FastCFD for constant CFD proﬁling. P. F.” TODS. C. no. 9.. relies on the availability of Closed2 (r). For an itemset tc in p Patt(X). tp ) such that Y ⊆ X. pp. especially when the arity is large. no. no. 2003. k). 2. Wyss. P. [6] C. 1987. Chiang and R. Wong. no. and (3) FastCFD for discovering general minimal CFDs based on a depth-ﬁrst search strategy. H.

- [DRAFT] TheApplication of 3D CFD Simulation for Risk and Safety Assessment in Oil and Gas Industry Facilities Rev00d
- 3.8 ijseke
- NAFEMS2013 092713 White Paper Review
- ME268
- Cfd en Arogeneradores de eje vertical
- annurev-fluid-121108-145637
- Modelling air inlets in animal houses
- 2014_TaherehLiaghat
- IJAIEM-2013-08-18-036
- Bench Vortex
- 64B23d01
- Association Rule with Oracle Data Miner
- J.ijheATMASSTRANSFER.2015.01.068 a Simple Method to Calculate Shell Side Fluid Pressure Drop in a Shell and Tube Heat Exchanger
- Flow Lab
- The accuracy of computational fluid dynamics analysis.pdf
- cfd turo
- LectureSlides10_openfoam
- Hill chart of Francis turbine
- 35334279
- Hybrid 2007
- Li and Xu, 2016
- Measurement and Estimation of Evaporation from surfaces.
- Discovering Conditional Functional Dependencies
- Air-blast Effects on Civil Structures
- 2012 Son Master Thesis HKNU Reviewed v4
- Storage Tank Mixing
- Intro
- IntroToDG
- Numerical-Methods-in-Computational-Fluid-Dynamics-CFD
- Fluent-Intro_14.5_L11-Transient.pdf

- Optimization of Natural Gas Mixture Design Using Computational Method for HCCI Engine by Improving Swirl Effect.
- tmp2C23
- A Review on Design Optimization of Air Dam for Lift Reduction of a Car Using in Wind Tunnel and CFD Analysis
- An Overview of Vortex Tube on CFD with Straight and Helical Nozzle
- tmpE735.tmp
- tmp7E6C.tmp
- tmp8E1D.tmp
- CFD Analysis of Enhancement of the Forced Convection Heat Transfer over the Pin Fin with Trapezoidal Fin and Flow Structure Analysis Using "ANSYS" Fluent 15.0
- tmpA98.tmp
- Scaling of Ballast Water Treatment Systems - DHI Solution
- CFD Analysis of Convergent-Divergent Nozzle using Standard K-ÃŽâ€¢ Model
- tmpA0FB.tmp
- Lid driven cavity flow simulation using CFD & MATLAB
- Comparison of CFD Analysis of Heat Transfer Augmentation & Surface Heat Transfer Co-efficient of I. C. Engine Fins at Different wind Velocities with Experimental Investigation
- Understanding Water-structure Interaction - DHI Solution
- Comparative Assessment of Aerodynamic Forces Generated Due to Wind Deflector of Passenger Car by CFD and Experimental Method
- An Effective Tool for Engineering Design and Analysis of Fluid Design - DHI Solution
- tmpFAEF.tmp
- Performance Improvement of Modified Omnidirectional Ducted Wind Mill
- Investigation On Computational Fluid Dynamics (CFD) Simulation for Wind Effects On Tall Tapered Buildings
- tmp979.tmp
- CFD Trials for Comparative Evaluation and Recommendation of Nozzle Geometry for Gas Atomization of Aluminum Alloys
- Columbia Accident Investigation Board Volume Five Book Three
- Listening to the Water - DHI Case Story DE and SG
- UV reactors for water treatment – DHI Solution
- tmp1790.tmp
- tmp53C2.tmp
- CFD simulation of Lid driven cavity flow
- Burnback Analysis & CFD Simulation of Finocyl Grain in Solid Propellant Rocket Motor
- tmpF4A5.tmp

Sign up to vote on this title

UsefulNot usefulClose Dialog## Are you sure?

This action might not be possible to undo. Are you sure you want to continue?

Close Dialog## This title now requires a credit

Use one of your book credits to continue reading from where you left off, or restart the preview.

Loading