S. Abiteboul, R. Hull, and V. Vianu, Foundations of Databases, 1995.

V. Kira, J. B. Adaricheva, and . Nation, On implicational bases of closure systems with unique critical sets, Discrete Applied Mathematics, vol.162, pp.51-69, 2014.

K. V. Adaricheva, J. B. Nation, G. Okimoto, V. Adarichev, A. Amanbekkyzy et al., Alibek Sailanbayev, Nazar Seidalin, and Kenneth Alibek. Measuring the implications of the dbasis in analysis of data in biomedical studies, Formal Concept Analysis -13th International Conference Proceedings, pp.39-57, 2015.

K. V. Adaricheva, J. B. Nation, and R. Rand, Ordered direct implicational basis of a finite closure system, Discrete Applied Mathematics, vol.161, issue.6, pp.707-723, 2013.
DOI : 10.1016/j.dam.2012.08.031

M. Agier, C. Froidevaux, J. Petit, Y. Renaud, and J. Wijsen, On Armstrong-compliant logical query languages, Proceedings of the 4th International Workshop on Logic in Databases, LID '11, pp.33-40, 2011.
DOI : 10.1145/1966357.1966365
URL : https://hal.archives-ouvertes.fr/hal-00649604

M. Agier, J. Petit, and E. Suzuki, Unifying framework for rule semantics: Application to gene expression data, Fundam. Inform, vol.78, issue.4, pp.543-559, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01501476

H. Arimura and T. Uno, Polynomial-Delay and Polynomial-Space Algorithms for Mining Closed Sequences, Graphs, and Pictures in Accessible Set Systems, In SDM, pp.1088-1099, 2009.
DOI : 10.1137/1.9781611972795.93

A. Mikhail, S. O. Babin, and . Kuznetsov, Computing premises of a minimal cover of functional dependencies is intractable, Discrete Applied Mathematics, vol.161, issue.6, pp.742-749, 2013.

M. Baudinet, J. Chomicki, and P. Wolper, Constraint-Generating Dependencies, Journal of Computer and System Sciences, vol.59, issue.1, pp.94-115, 1999.
DOI : 10.1006/jcss.1999.1632

K. Bertet and B. Monjardet, The multiple facets of the canonical direct unit implicational basis, Theoretical Computer Science, vol.411, issue.22-24, pp.22-242155, 2010.
DOI : 10.1016/j.tcs.2009.12.021
URL : https://hal.archives-ouvertes.fr/halshs-00308798

H. Blockeel, T. Calders, E. Fromont, B. Goethals, A. Prado et al., A Practical Comparative Study Of Data Mining Query Languages, Inductive Databases and Constraint-Based Data Mining, pp.59-77, 2010.
DOI : 10.1007/978-1-4419-7738-0_3
URL : https://hal.archives-ouvertes.fr/hal-00531167

C. Prado and . Robardet, An inductive database system based on virtual mining views, Data Min. Knowl. Discov, vol.24, issue.1, pp.247-287, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00599315

P. Bohannon, W. Fan, F. Geerts, X. Jia, and A. Kementsietsidis, Conditional Functional Dependencies for Data Cleaning, 2007 IEEE 23rd International Conference on Data Engineering, pp.746-755, 2007.
DOI : 10.1109/ICDE.2007.367920

T. Calders and J. Wijsen, On Monotone Data Mining Languages, Proceedings of the 8th International Workshop on Database Programming Languages, DBPL '01, pp.119-132, 2001.
DOI : 10.1007/3-540-46093-4_7

N. Caspard and B. Monjardet, The lattices of closure systems, closure operators, and implicational systems on a finite set: a survey, Discrete Applied Mathematics, vol.127, issue.2, pp.241-269, 2003.
DOI : 10.1016/S0166-218X(02)00209-3
URL : https://hal.archives-ouvertes.fr/hal-00095569

B. Chardin, E. Coquery, B. Gouriou, M. Pailloux, and J. Petit, Query Rewriting for Rule Mining in Databases, Languages for Data Mining and Machine Learning (LML) Workshop@ECML/PKDD 2013, pp.1-16, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01339257

B. Chardin, E. Coquery, M. Pailloux, and J. Petit, RQL: A SQL-Like Query Language for Discovering Meaningful Rules, 2014 IEEE International Conference on Data Mining Workshop, 2014.
DOI : 10.1109/ICDMW.2014.50

X. Chu, I. F. Ilyas, and P. Papotti, Discovering denial constraints, Proceedings of the VLDB Endowment, vol.6, issue.13, pp.1498-1509, 2013.
DOI : 10.14778/2536258.2536262

J. Demetrovics and T. Vu-duc, Some remarks on generating Armstrong and inferring functional dependencies relation, Acta Cybernetica, vol.12, issue.2, pp.167-180, 1995.

W. Fan and F. Geerts, Uniform dependency language for improving data quality, IEEE Data Eng. Bull, vol.34, issue.3, pp.34-42, 2011.

L. Fang and K. Lefevre, Splash, Proceedings of the 13th International Conference on Extending Database Technology, EDBT '10, pp.275-286, 2010.
DOI : 10.1145/1739041.1739076

A. Peter, I. Flach, and . Savnik, Database dependency discovery: A machine learning approach, AI Commun, vol.12, issue.3, pp.139-160, 1999.

F. Flouvat, F. De-marchi, and J. Petit, The iZi Project: Easy Prototyping of Interesting Pattern Mining Algorithms, New Frontiers in Applied Data Mining, pp.1-15, 2010.
DOI : 10.1007/978-3-642-14640-4_1
URL : https://hal.archives-ouvertes.fr/hal-01381435

L. Michael, L. Fredman, and . Khachiyan, On the complexity of dualization of monotone disjunctive normal forms, J. Algorithms, vol.21, issue.3, pp.618-628, 1996.

B. Ganter and R. Wille, Formal Concept Analysis, 1999.

L. Golab, H. J. Karloff, F. Korn, and D. Srivastava, Data Auditor, Proceedings of the VLDB Endowment, vol.3, issue.1-2, pp.1641-1644, 2010.
DOI : 10.14778/1920841.1921060

G. Gottlob and L. Libkin, Investigations on Armstrong relations, dependency inference, and excluded functional dependencies, Acta Cybernetica, vol.9, issue.4, pp.385-402, 1990.

J. Guigues and V. Duquenne, Familles minimales d'implications informatives résultant d'un tableau de données binaires, Math. Sci. Humaines, vol.24, issue.95, pp.5-18, 1986.

T. Guns, S. Nijssen, and L. De-raedt, Itemset mining: A constraint programming perspective, Artificial Intelligence, vol.175, issue.12-13, pp.12-131951, 2011.
DOI : 10.1016/j.artint.2011.05.002

Y. Huhtala, J. Kärkkäinen, P. Porkka, and H. Toivonen, Tane: An Efficient Algorithm for Discovering Functional and Approximate Dependencies, The Computer Journal, vol.42, issue.2, pp.100-111, 1999.
DOI : 10.1093/comjnl/42.2.100

T. Imielinski and H. Mannila, A database perspective on knowledge discovery, Communications of the ACM, vol.39, issue.11, pp.58-64, 1996.
DOI : 10.1145/240455.240472

S. Stephen, K. Intille, E. M. Larson, J. S. Tapia, P. Beaudin et al., Using a live-in laboratory for ubiquitous computing research, PERVASIVE '06, pp.349-365, 2006.

N. Koudas, A. Saha, D. Srivastava, and S. Venkatasubramanian, Metric Functional Dependencies, 2009 IEEE 25th International Conference on Data Engineering, pp.1275-1278, 2009.
DOI : 10.1109/ICDE.2009.219

M. Lichman, UCI machine learning repository, 2016.

S. Lopes, J. Petit, and L. Lakhal, Efficient Discovery of Functional Dependencies and Armstrong Relations, EDBT 2000, pp.350-364, 2000.
DOI : 10.1007/3-540-46439-5_24
URL : https://hal.archives-ouvertes.fr/hal-00271567

S. Lopes, J. Petit, and L. Lakhal, Functional and approximate dependency mining: database and FCA points of view, Journal of Experimental & Theoretical Artificial Intelligence, vol.29, issue.2-3, pp.93-114, 2002.
DOI : 10.1016/S0020-0190(99)00108-8
URL : https://hal.archives-ouvertes.fr/hal-00286642

H. Mannila and K. Räihä, Algorithms for inferring functional dependencies from relations, Data & Knowledge Engineering, vol.12, issue.1, pp.83-99, 1994.
DOI : 10.1016/0169-023X(94)90023-X

H. Mannila and H. Toivonen, Levelwise search and borders of theories in knowledge discovery, DMKD, vol.1, issue.3, pp.241-258, 1997.

. Marketresearch and . Com, Worldwide relational database management systems 2012-2016 forecast, 2012.

R. Medina and L. Nourine, A Unified Hierarchy for Functional Dependencies, Conditional Functional Dependencies and Association Rules, ICFCA, pp.98-113, 2009.
DOI : 10.1007/978-3-642-01815-2_9

R. Meo, G. Psaila, and S. Ceri, An extension to SQL for mining association rules, Data Mining and Knowledge Discovery, vol.2, issue.2, pp.195-224, 1998.
DOI : 10.1023/A:1009774406717

J. Métivier, P. Boizumault, B. Crémilleux, M. Khiari, and S. Loudni, A Constraint-Based Language for Declarative Pattern Discovery, 2011 IEEE 11th International Conference on Data Mining Workshops, pp.1112-1119, 2011.
DOI : 10.1109/ICDMW.2011.11

K. Murakami and T. Uno, Efficient algorithms for dualizing large-scale hypergraphs, 1102.

B. Négrevergne, A. Termier, M. Rousset, and J. Méhaut, Para Miner: a generic pattern mining algorithm for multi-core architectures, Data Mining and Knowledge Discovery, vol.1, issue.1, pp.593-633, 2014.
DOI : 10.1007/s10618-013-0313-2

L. Nourine and J. Petit, Extending Set-Based Dualization: Application to Pattern Mining, ECAI 2012, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01353000

L. Nourine and J. Petit, Extended dualization: Application to maximal pattern mining, Theoretical Computer Science, vol.618, pp.107-121, 2016.
DOI : 10.1016/j.tcs.2016.01.020
URL : https://hal.archives-ouvertes.fr/hal-01261861

C. Ordonez and S. K. Pitchaimalai, One-pass data mining algorithms in a DBMS with UDFs, Proceedings of the 2011 international conference on Management of data, SIGMOD '11, pp.1217-1220, 2011.
DOI : 10.1145/1989323.1989458

T. Papenbrock, T. Bergmann, M. Finke, J. Zwiener, and F. Naumann, Data profiling with metanome, Proceedings of the VLDB Endowment, vol.8, issue.12, pp.1860-1871, 2015.
DOI : 10.14778/2824032.2824086

T. Papenbrock, J. Ehrlich, J. Marten, T. Neubert, J. Rudolph et al., Functional dependency discovery, Proceedings of the VLDB Endowment, vol.8, issue.10, pp.1082-1093, 2015.
DOI : 10.14778/2794367.2794377

J. Vincent, P. Martre, B. Gouriou, C. Ravel, Z. Dai et al., RulNet: A Web-Oriented Platform for Regulatory Network Inference, Application to Wheat ???Omics Data, PLOS ONE, vol.60, issue.Suppl 2, p.20, 2015.
DOI : 10.1371/journal.pone.0127127.s016
URL : https://hal.archives-ouvertes.fr/hal-01260267

J. Wijsen, Temporal dependencies, Encyclopedia of Database Systems, pp.2960-2966, 2009.