Nourine, Lhouari; Vilmin, Simon Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements. (English) Zbl 07720776 Theor. Comput. Sci. 969, Article ID 114030, 24 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Nourine} and \textit{S. Vilmin}, Theor. Comput. Sci. 969, Article ID 114030, 24 p. (2023; Zbl 07720776) Full Text: DOI arXiv
Sioutis, Michael; Paparrizou, Anastasia; Condotta, Jean-François Collective singleton-based consistency for qualitative constraint networks: theory and practice. (English) Zbl 1435.68322 Theor. Comput. Sci. 797, 17-41 (2019). MSC: 68T30 68T20 PDFBibTeX XMLCite \textit{M. Sioutis} et al., Theor. Comput. Sci. 797, 17--41 (2019; Zbl 1435.68322) Full Text: DOI HAL
Chardin, Brice; Coquery, Emmanuel; Pailloux, Marie; Petit, Jean-Marc RQL: a query language for rule discovery in databases. (English) Zbl 1356.68051 Theor. Comput. Sci. 658, Part B, 357-374 (2017). MSC: 68P15 68T30 PDFBibTeX XMLCite \textit{B. Chardin} et al., Theor. Comput. Sci. 658, Part B, 357--374 (2017; Zbl 1356.68051) Full Text: DOI
Biskup, Joachim; Wiese, Lena A sound and complete model-generation procedure for consistent and confidentiality-preserving databases. (English) Zbl 1223.68036 Theor. Comput. Sci. 412, No. 31, 4044-4072 (2011). Reviewer: Antonín Říha (Praha) MSC: 68P15 PDFBibTeX XMLCite \textit{J. Biskup} and \textit{L. Wiese}, Theor. Comput. Sci. 412, No. 31, 4044--4072 (2011; Zbl 1223.68036) Full Text: DOI
Afrati, Foto N. Determinacy and query rewriting for conjunctive queries and views. (English) Zbl 1217.68072 Theor. Comput. Sci. 412, No. 11, 1005-1021 (2011). MSC: 68P15 68Q42 PDFBibTeX XMLCite \textit{F. N. Afrati}, Theor. Comput. Sci. 412, No. 11, 1005--1021 (2011; Zbl 1217.68072) Full Text: DOI
Bertet, K.; Monjardet, B. The multiple facets of the canonical direct unit implicational basis. (English) Zbl 1209.68187 Theor. Comput. Sci. 411, No. 22-24, 2155-2166 (2010). MSC: 68P15 PDFBibTeX XMLCite \textit{K. Bertet} and \textit{B. Monjardet}, Theor. Comput. Sci. 411, No. 22--24, 2155--2166 (2010; Zbl 1209.68187) Full Text: DOI
Hartmann, Sven; Link, Sebastian Deciding implication for functional dependencies in complex-value databases. (English) Zbl 1110.68034 Theor. Comput. Sci. 364, No. 2, 212-240 (2006). MSC: 68P15 PDFBibTeX XMLCite \textit{S. Hartmann} and \textit{S. Link}, Theor. Comput. Sci. 364, No. 2, 212--240 (2006; Zbl 1110.68034) Full Text: DOI
Hartmann, Sven; Link, Sebastian; Schewe, Klaus-Dieter Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets. (English) Zbl 1088.68046 Theor. Comput. Sci. 355, No. 2, 167-196 (2006). MSC: 68P15 PDFBibTeX XMLCite \textit{S. Hartmann} et al., Theor. Comput. Sci. 355, No. 2, 167--196 (2006; Zbl 1088.68046) Full Text: DOI
Loyer, Yann; Spyratos, Nicolas; Stamate, Daniel Parametrized semantics of logic programs – a unifying framework. (English) Zbl 1070.68086 Theor. Comput. Sci. 308, No. 1-3, 429-447 (2003). MSC: 68Q55 68N17 PDFBibTeX XMLCite \textit{Y. Loyer} et al., Theor. Comput. Sci. 308, No. 1--3, 429--447 (2003; Zbl 1070.68086) Full Text: DOI
Hájek, Petr; Holeňa, Martin Formal logics of discovery and hypothesis formation by machine. (English) Zbl 1018.03025 Theor. Comput. Sci. 292, No. 2, 345-357 (2003). MSC: 03B80 68T27 03B70 03B52 PDFBibTeX XMLCite \textit{P. Hájek} and \textit{M. Holeňa}, Theor. Comput. Sci. 292, No. 2, 345--357 (2003; Zbl 1018.03025) Full Text: DOI
van der Aalst, W. M. P.; Basten, T. Inheritance of workflows: An approach to tackling problems related to change. (English) Zbl 0984.68113 Theor. Comput. Sci. 270, No. 1-2, 125-203 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{W. M. P. van der Aalst} and \textit{T. Basten}, Theor. Comput. Sci. 270, No. 1--2, 125--203 (2002; Zbl 0984.68113) Full Text: DOI
Wijesekera, D.; Ganesh, M.; Srivastava, J.; Nerode, A. Normal forms and syntactic completeness proofs for functional independencies. (English) Zbl 0989.68037 Theor. Comput. Sci. 266, No. 1-2, 365-405 (2001). MSC: 68P15 PDFBibTeX XMLCite \textit{D. Wijesekera} et al., Theor. Comput. Sci. 266, No. 1--2, 365--405 (2001; Zbl 0989.68037) Full Text: DOI
Spruit, P.; Wieringa, R.; Meyer, J.-J. Regular database update logics. (English) Zbl 0974.68046 Theor. Comput. Sci. 254, No. 1-2, 591-661 (2001). MSC: 68P15 PDFBibTeX XMLCite \textit{P. Spruit} et al., Theor. Comput. Sci. 254, No. 1--2, 591--661 (2001; Zbl 0974.68046) Full Text: DOI
Bidoit, N.; De Amo, S. A first step towards implementing dynamic algebraic dependences. (English) Zbl 0893.68050 Theor. Comput. Sci. 190, No. 2, 115-149 (1998). MSC: 68P15 PDFBibTeX XMLCite \textit{N. Bidoit} and \textit{S. De Amo}, Theor. Comput. Sci. 190, No. 2, 115--149 (1998; Zbl 0893.68050) Full Text: DOI
Kivinen, Jyrki; Mannila, Heikki Approximate inference of functional dependencies from relations. (English) Zbl 0874.68247 Theor. Comput. Sci. 149, No. 1, 129-149 (1995). MSC: 68T05 PDFBibTeX XMLCite \textit{J. Kivinen} and \textit{H. Mannila}, Theor. Comput. Sci. 149, No. 1, 129--149 (1995; Zbl 0874.68247) Full Text: DOI