Hirvonen, Minna The implication problem for functional dependencies and variants of marginal distribution equivalences. (English) Zbl 07630643 Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 130-146 (2022). MSC: 68P15 68T27 68T35 68U35 PDF BibTeX XML Cite \textit{M. Hirvonen}, Lect. Notes Comput. Sci. 13388, 130--146 (2022; Zbl 07630643) Full Text: DOI OpenURL
Jiang, Junli; Naumov, Pavel Data-informed knowledge and strategies. (English) Zbl 1491.68247 Artif. Intell. 309, Article ID 103727, 26 p. (2022). MSC: 68T42 68T27 PDF BibTeX XML Cite \textit{J. Jiang} and \textit{P. Naumov}, Artif. Intell. 309, Article ID 103727, 26 p. (2022; Zbl 1491.68247) Full Text: DOI OpenURL
Galliani, Pietro; Väänänen, Jouko Diversity, dependence and independence. (English) Zbl 07473200 Ann. Math. Artif. Intell. 90, No. 2-3, 211-233 (2022). MSC: 03B60 PDF BibTeX XML Cite \textit{P. Galliani} and \textit{J. Väänänen}, Ann. Math. Artif. Intell. 90, No. 2--3, 211--233 (2022; Zbl 07473200) Full Text: DOI OpenURL
Fernández, Maribel; Pinaud, Bruno; Varga, János A port graph rewriting approach to relational database modelling. (English) Zbl 07576129 Gabbrielli, Maurizio (ed.), Logic-based program synthesis and transformation. 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12042, 211-227 (2020). MSC: 68P15 68Q42 PDF BibTeX XML Cite \textit{M. Fernández} et al., Lect. Notes Comput. Sci. 12042, 211--227 (2020; Zbl 07576129) Full Text: DOI HAL OpenURL
Deuser, Kaya; Naumov, Pavel On composition of bounded-recall plans. (English) Zbl 07382233 Artif. Intell. 289, Article ID 103399, 19 p. (2020). MSC: 68Txx PDF BibTeX XML Cite \textit{K. Deuser} and \textit{P. Naumov}, Artif. Intell. 289, Article ID 103399, 19 p. (2020; Zbl 07382233) Full Text: DOI OpenURL
Morrison, Colby; Naumov, Pavel Group conformity in social networks. (English) Zbl 1435.91138 J. Logic Lang. Inf. 29, No. 1, 3-19 (2020). MSC: 91D30 03B80 PDF BibTeX XML Cite \textit{C. Morrison} and \textit{P. Naumov}, J. Logic Lang. Inf. 29, No. 1, 3--19 (2020; Zbl 1435.91138) Full Text: DOI OpenURL
Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan Questions and dependency in intuitionistic logic. (English) Zbl 1453.03025 Notre Dame J. Formal Logic 61, No. 1, 75-115 (2020). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B65 03B60 03B20 PDF BibTeX XML Cite \textit{I. Ciardelli} et al., Notre Dame J. Formal Logic 61, No. 1, 75--115 (2020; Zbl 1453.03025) Full Text: DOI arXiv Euclid Link OpenURL
Chiaselotti, G.; Infusino, F.; Oliverio, P. A. Set relations and set systems induced by some families of integral domains. (English) Zbl 1441.13025 Adv. Math. 363, Article ID 106999, 50 p. (2020). MSC: 13C05 13G05 PDF BibTeX XML Cite \textit{G. Chiaselotti} et al., Adv. Math. 363, Article ID 106999, 50 p. (2020; Zbl 1441.13025) Full Text: DOI OpenURL
Cordero, P.; Enciso, M.; Mora, A.; Rodriguez-Jiménez, J. M. Inference of mixed information in formal concept analysis. (English) Zbl 1430.68329 Cornejo, María Eugenia (ed.) et al., Trends in mathematics and computational intelligence. Selected papers based on the presentations at the 9th European symposium on computational intelligence and mathematics, ESCIM 2017, Faro, Portugal, October 4–7, 2017. Cham: Springer. Stud. Comput. Intell. 796, 81-87 (2019). MSC: 68T30 PDF BibTeX XML Cite \textit{P. Cordero} et al., Stud. Comput. Intell. 796, 81--87 (2019; Zbl 1430.68329) Full Text: DOI Link OpenURL
Biskup, Joachim; Preuß, Marcel Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations. (English) Zbl 1452.68063 Ann. Math. Artif. Intell. 87, No. 1-2, 43-82 (2019). MSC: 68P15 68T35 PDF BibTeX XML Cite \textit{J. Biskup} and \textit{M. Preuß}, Ann. Math. Artif. Intell. 87, No. 1--2, 43--82 (2019; Zbl 1452.68063) Full Text: DOI OpenURL
Yang, Fan Negation and partial axiomatizations of dependence and independence logic revisited. (English) Zbl 1477.03106 Ann. Pure Appl. Logic 170, No. 9, 1128-1149 (2019). MSC: 03B60 PDF BibTeX XML Cite \textit{F. Yang}, Ann. Pure Appl. Logic 170, No. 9, 1128--1149 (2019; Zbl 1477.03106) Full Text: DOI arXiv OpenURL
Galliani, Pietro Characterizing downwards closed, strongly first-order, relativizable dependencies. (English) Zbl 1468.03031 J. Symb. Log. 84, No. 3, 1136-1167 (2019). MSC: 03B60 03C80 03C85 PDF BibTeX XML Cite \textit{P. Galliani}, J. Symb. Log. 84, No. 3, 1136--1167 (2019; Zbl 1468.03031) Full Text: DOI arXiv OpenURL
Chiaselotti, Giampiero; Gentile, T.; Infusino, F. Granular computing on information tables: families of subsets and operators. (English) Zbl 1440.68288 Inf. Sci. 442-443, 72-102 (2018). MSC: 68T37 PDF BibTeX XML Cite \textit{G. Chiaselotti} et al., Inf. Sci. 442--443, 72--102 (2018; Zbl 1440.68288) Full Text: DOI OpenURL
Triska, Jan; Vychodil, Vilem Minimal bases of temporal attribute implications. (English) Zbl 1448.68412 Ann. Math. Artif. Intell. 83, No. 1, 73-97 (2018). MSC: 68T30 68T27 PDF BibTeX XML Cite \textit{J. Triska} and \textit{V. Vychodil}, Ann. Math. Artif. Intell. 83, No. 1, 73--97 (2018; Zbl 1448.68412) Full Text: DOI OpenURL
Chiaselotti, G.; Infusino, F. Notions from rough set theory in a generalized dependency relation context. (English) Zbl 1446.03087 Int. J. Approx. Reasoning 98, 25-61 (2018). MSC: 03E72 68T37 68T30 PDF BibTeX XML Cite \textit{G. Chiaselotti} and \textit{F. Infusino}, Int. J. Approx. Reasoning 98, 25--61 (2018; Zbl 1446.03087) Full Text: DOI OpenURL
Lück, Martin Axiomatizations of team logics. (English) Zbl 1469.03085 Ann. Pure Appl. Logic 169, No. 9, 928-969 (2018). MSC: 03B60 03B45 PDF BibTeX XML Cite \textit{M. Lück}, Ann. Pure Appl. Logic 169, No. 9, 928--969 (2018; Zbl 1469.03085) Full Text: DOI arXiv OpenURL
Ciardelli, Ivano Questions as information types. (English) Zbl 1455.03038 Synthese 195, No. 1, 321-365 (2018). MSC: 03B65 03A05 PDF BibTeX XML Cite \textit{I. Ciardelli}, Synthese 195, No. 1, 321--365 (2018; Zbl 1455.03038) Full Text: DOI OpenURL
van Eijck, Jan; Gattinger, Malvin; Wang, Yanjing Knowing values and public inspection. (English) Zbl 1485.03043 Ghosh, Sujata (ed.) et al., Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5–7, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10119, 77-90 (2017). MSC: 03B42 PDF BibTeX XML Cite \textit{J. van Eijck} et al., Lect. Notes Comput. Sci. 10119, 77--90 (2017; Zbl 1485.03043) Full Text: DOI arXiv OpenURL
Triska, Jan; Vychodil, Vilem Logic of temporal attribute implications. (English) Zbl 1409.68283 Ann. Math. Artif. Intell. 79, No. 4, 307-335 (2017). MSC: 68T27 68Q25 68T30 PDF BibTeX XML Cite \textit{J. Triska} and \textit{V. Vychodil}, Ann. Math. Artif. Intell. 79, No. 4, 307--335 (2017; Zbl 1409.68283) Full Text: DOI arXiv OpenURL
Naumov, Pavel; Tao, Jia Marketing impact on diffusion in social networks. (English) Zbl 1358.91086 J. Appl. Log. 20, 49-74 (2017). MSC: 91D30 PDF BibTeX XML Cite \textit{P. Naumov} and \textit{J. Tao}, J. Appl. Log. 20, 49--74 (2017; Zbl 1358.91086) Full Text: DOI arXiv OpenURL
Väänänen, Jouko Grelling on dependence. (English) Zbl 1429.03122 Abramsky, Samson (ed.) et al., Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 33-52 (2016). MSC: 03B60 03-03 01A60 PDF BibTeX XML Cite \textit{J. Väänänen}, in: Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on `Dependence logic: theory and applications', Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 33--52 (2016; Zbl 1429.03122) Full Text: DOI OpenURL
Vychodil, Vilem Computing sets of graded attribute implications with witnessed non-redundancy. (English) Zbl 1398.68560 Inf. Sci. 351, 90-100 (2016). MSC: 68T37 03B52 06F05 68T30 PDF BibTeX XML Cite \textit{V. Vychodil}, Inf. Sci. 351, 90--100 (2016; Zbl 1398.68560) Full Text: DOI arXiv OpenURL
Vychodil, Vilem On sets of graded attribute implications with witnessed non-redundancy. (English) Zbl 1390.68682 Inf. Sci. 329, 434-446 (2016). MSC: 68T37 03B52 68T30 PDF BibTeX XML Cite \textit{V. Vychodil}, Inf. Sci. 329, 434--446 (2016; Zbl 1390.68682) Full Text: DOI arXiv OpenURL
Winter, Michael Dependencies in relational models of databases. (English) Zbl 1355.68076 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 1095-1107 (2016). MSC: 68P15 PDF BibTeX XML Cite \textit{M. Winter}, J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 1095--1107 (2016; Zbl 1355.68076) Full Text: DOI OpenURL
Yang, Fan Negation and partial axiomatizations of dependence and independence logic revisited. (English) Zbl 1478.03057 Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 410-431 (2016). MSC: 03B60 PDF BibTeX XML Cite \textit{F. Yang}, Lect. Notes Comput. Sci. 9803, 410--431 (2016; Zbl 1478.03057) Full Text: DOI arXiv OpenURL
Harjes, Kristine; Naumov, Pavel Functional dependence in strategic games. (English) Zbl 1397.91020 Notre Dame J. Formal Logic 57, No. 3, 341-353 (2016). MSC: 91A10 03B80 PDF BibTeX XML Cite \textit{K. Harjes} and \textit{P. Naumov}, Notre Dame J. Formal Logic 57, No. 3, 341--353 (2016; Zbl 1397.91020) Full Text: DOI arXiv Euclid OpenURL
Hannula, Miika; Kontinen, Juha A finite axiomatization of conditional independence and inclusion dependencies. (English) Zbl 1435.68076 Inf. Comput. 249, 121-137 (2016). MSC: 68P15 03B70 PDF BibTeX XML Cite \textit{M. Hannula} and \textit{J. Kontinen}, Inf. Comput. 249, 121--137 (2016; Zbl 1435.68076) Full Text: DOI OpenURL
Hellings, Jelle; Gyssens, Marc; Paredaens, Jan; Wu, Yuqing Implication and axiomatization of functional and constant constraints. (English) Zbl 1357.68047 Ann. Math. Artif. Intell. 76, No. 3-4, 251-279 (2016). MSC: 68P15 05C60 PDF BibTeX XML Cite \textit{J. Hellings} et al., Ann. Math. Artif. Intell. 76, No. 3--4, 251--279 (2016; Zbl 1357.68047) Full Text: DOI Link OpenURL
Hyttinen, Tapani; Paolini, Gianluca Reduction of database independence to dividing in atomless Boolean algebras. (English) Zbl 1341.03045 Arch. Math. Logic 55, No. 3-4, 505-518 (2016). Reviewer: Jānis Cīrulis (Riga) MSC: 03C45 03C30 06E05 60A99 68P15 PDF BibTeX XML Cite \textit{T. Hyttinen} and \textit{G. Paolini}, Arch. Math. Logic 55, No. 3--4, 505--518 (2016; Zbl 1341.03045) Full Text: DOI arXiv OpenURL
Yang, Fan; Väänänen, Jouko Propositional logics of dependence. (English) Zbl 1355.03021 Ann. Pure Appl. Logic 167, No. 7, 557-589 (2016). Reviewer: Alex Citkin (Warren) MSC: 03B60 03B70 03B65 PDF BibTeX XML Cite \textit{F. Yang} and \textit{J. Väänänen}, Ann. Pure Appl. Logic 167, No. 7, 557--589 (2016; Zbl 1355.03021) Full Text: DOI arXiv OpenURL
Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem Automated prover for attribute dependencies in data with grades. (English) Zbl 1351.68088 Int. J. Approx. Reasoning 70, 51-67 (2016). MSC: 68P15 03B52 03B70 68T15 PDF BibTeX XML Cite \textit{R. Belohlavek} et al., Int. J. Approx. Reasoning 70, 51--67 (2016; Zbl 1351.68088) Full Text: DOI OpenURL
Chee, Yoew Meng; Kiah, Han Mao; Zhang, Hui; Zhang, Xiande Optimal codes in the Enomoto-Katona space. (English) Zbl 1371.05139 Comb. Probab. Comput. 24, No. 2, 382-406 (2015). MSC: 05C35 05C15 57M25 PDF BibTeX XML Cite \textit{Y. M. Chee} et al., Comb. Probab. Comput. 24, No. 2, 382--406 (2015; Zbl 1371.05139) Full Text: DOI OpenURL
Galliani, Pietro Upwards closed dependencies in team semantics. (English) Zbl 1333.03089 Inf. Comput. 245, 124-135 (2015). MSC: 03B60 PDF BibTeX XML Cite \textit{P. Galliani}, Inf. Comput. 245, 124--135 (2015; Zbl 1333.03089) Full Text: DOI arXiv OpenURL
Vychodil, Vilem Fuzzy inequational logic. (English) Zbl 1343.03024 Int. J. Approx. Reasoning 60, 23-36 (2015). MSC: 03B52 PDF BibTeX XML Cite \textit{V. Vychodil}, Int. J. Approx. Reasoning 60, 23--36 (2015; Zbl 1343.03024) Full Text: DOI arXiv OpenURL
Hartmann, Sven; Köhler, Henning; Leck, Uwe; Link, Sebastian; Thalheim, Bernhard; Wang, Jing Constructing Armstrong tables for general cardinality constraints and not-null constraints. (English) Zbl 1319.68072 Ann. Math. Artif. Intell. 73, No. 1-2, 139-165 (2015). MSC: 68P15 PDF BibTeX XML Cite \textit{S. Hartmann} et al., Ann. Math. Artif. Intell. 73, No. 1--2, 139--165 (2015; Zbl 1319.68072) Full Text: DOI OpenURL
Hannula, Miika Axiomatizing first-order consequences in independence logic. (English) Zbl 1343.03027 Ann. Pure Appl. Logic 166, No. 1, 61-91 (2015). MSC: 03B60 03C80 03F03 PDF BibTeX XML Cite \textit{M. Hannula}, Ann. Pure Appl. Logic 166, No. 1, 61--91 (2015; Zbl 1343.03027) Full Text: DOI arXiv OpenURL
Wang, LiMin; Wang, ShuangCheng; Li, XiongFei; Chi, BaoRong Extracting credible dependencies for averaged one-dependence estimator analysis. (English) Zbl 1407.62089 Math. Probl. Eng. 2014, Article ID 470821, 11 p. (2014). MSC: 62F15 PDF BibTeX XML Cite \textit{L. Wang} et al., Math. Probl. Eng. 2014, Article ID 470821, 11 p. (2014; Zbl 1407.62089) Full Text: DOI OpenURL
Naumov, Pavel; Nicholls, Brittany Rationally functional dependence. (English) Zbl 1305.91046 J. Philos. Log. 43, No. 2-3, 603-616 (2014). Reviewer: Can Baskent (Bath) MSC: 91A26 03E20 68P15 PDF BibTeX XML Cite \textit{P. Naumov} and \textit{B. Nicholls}, J. Philos. Log. 43, No. 2--3, 603--616 (2014; Zbl 1305.91046) Full Text: DOI OpenURL
Bazhanov, Konstantin; Obiedkov, Sergei Optimizations in computing the Duquenne-Guigues basis of implications. (English) Zbl 1310.68193 Ann. Math. Artif. Intell. 70, No. 1-2, 5-24 (2014). MSC: 68T30 06A15 68W05 68W40 PDF BibTeX XML Cite \textit{K. Bazhanov} and \textit{S. Obiedkov}, Ann. Math. Artif. Intell. 70, No. 1--2, 5--24 (2014; Zbl 1310.68193) Full Text: DOI OpenURL
Kane, Jeffrey; Naumov, Pavel Symmetry in information flow. (English) Zbl 1408.03009 Ann. Pure Appl. Logic 165, No. 1, 253-265 (2014). MSC: 03B42 03B70 20A15 03B60 PDF BibTeX XML Cite \textit{J. Kane} and \textit{P. Naumov}, Ann. Pure Appl. Logic 165, No. 1, 253--265 (2014; Zbl 1408.03009) Full Text: DOI OpenURL
Grädel, Erich; Väänänen, Jouko Dependence and independence. (English) Zbl 1272.03125 Stud. Log. 101, No. 2, 399-410 (2013). MSC: 03B60 PDF BibTeX XML Cite \textit{E. Grädel} and \textit{J. Väänänen}, Stud. Log. 101, No. 2, 399--410 (2013; Zbl 1272.03125) Full Text: DOI arXiv Link OpenURL
Väänänen, Jouko Breaking the atom with Samson. (English) Zbl 1264.03081 Coecke, Bob (ed.) et al., Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-38163-8/pbk). Lecture Notes in Computer Science 7860, 327-335 (2013). MSC: 03B60 PDF BibTeX XML Cite \textit{J. Väänänen}, Lect. Notes Comput. Sci. 7860, 327--335 (2013; Zbl 1264.03081) Full Text: DOI OpenURL
Naumov, Pavel Independence in information spaces. (English) Zbl 1268.03035 Stud. Log. 100, No. 5, 953-973 (2012). Reviewer: Mario Alviano (Rende) MSC: 03B70 68P15 68T27 68T42 PDF BibTeX XML Cite \textit{P. Naumov}, Stud. Log. 100, No. 5, 953--973 (2012; Zbl 1268.03035) Full Text: DOI OpenURL
Link, Sebastian Characterisations of multivalued dependency implication over undetermined universes. (English) Zbl 1246.68111 J. Comput. Syst. Sci. 78, No. 4, 1026-1044 (2012). MSC: 68P15 PDF BibTeX XML Cite \textit{S. Link}, J. Comput. Syst. Sci. 78, No. 4, 1026--1044 (2012; Zbl 1246.68111) Full Text: DOI OpenURL
Köhler, Henning Autonomous sets for the hypergraph of all canonical covers. (English) Zbl 1243.68170 Ann. Math. Artif. Intell. 63, No. 3-4, 257-285 (2011). MSC: 68P15 68P05 05C65 05C70 68R10 PDF BibTeX XML Cite \textit{H. Köhler}, Ann. Math. Artif. Intell. 63, No. 3--4, 257--285 (2011; Zbl 1243.68170) Full Text: DOI OpenURL
Biskup, Joachim; Link, Sebastian Appropriate inferences of data dependencies in relational databases. (English) Zbl 1258.68047 Ann. Math. Artif. Intell. 63, No. 3-4, 213-255 (2011). Reviewer: Mario Alviano (Rende) MSC: 68P15 03B70 PDF BibTeX XML Cite \textit{J. Biskup} and \textit{S. Link}, Ann. Math. Artif. Intell. 63, No. 3--4, 213--255 (2011; Zbl 1258.68047) Full Text: DOI OpenURL
Akhtar, Waseem; Cortés-Calabuig, Álvaro; Paredaens, Jan Constraints in RDF. (English) Zbl 1347.68108 Schewe, Klaus-Dieter (ed.) et al., Semantics in data and knowledge bases. 4th international workshops, SDKB 2010, Bordeaux, France, July 5, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-23440-8/pbk). Lecture Notes in Computer Science 6834, 23-39 (2011). MSC: 68P15 PDF BibTeX XML Cite \textit{W. Akhtar} et al., Lect. Notes Comput. Sci. 6834, 23--39 (2011; Zbl 1347.68108) Full Text: DOI OpenURL
Miner More, Sara; Naumov, Pavel The functional dependence relation on hypergraphs of secrets. (English) Zbl 1348.68265 Leite, João (ed.) et al., Computational logic in multi-agent systems. 12th international workshop, CLIMA XII, Barcelona, Spain, July 17–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22358-7/pbk). Lecture Notes in Computer Science 6814. Lecture Notes in Artificial Intelligence, 29-40 (2011). MSC: 68T42 05C65 05C90 68T27 PDF BibTeX XML Cite \textit{S. Miner More} and \textit{P. Naumov}, Lect. Notes Comput. Sci. 6814, 29--40 (2011; Zbl 1348.68265) Full Text: DOI OpenURL
Koehler, Henning; Link, Sebastian Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics. (English) Zbl 1234.68088 Inf. Process. Lett. 110, No. 16, 717-724 (2010). MSC: 68P15 PDF BibTeX XML Cite \textit{H. Koehler} and \textit{S. Link}, Inf. Process. Lett. 110, No. 16, 717--724 (2010; Zbl 1234.68088) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{K. Bertet} and \textit{B. Monjardet}, Theor. Comput. Sci. 411, No. 22--24, 2155--2166 (2010; Zbl 1209.68187) Full Text: DOI OpenURL
Abramsky, Samson; Väänänen, Jouko From IF to BI. A tale of dependence and separation. (English) Zbl 1175.03016 Synthese 167, No. 2, 207-230 (2009). MSC: 03B60 PDF BibTeX XML Cite \textit{S. Abramsky} and \textit{J. Väänänen}, Synthese 167, No. 2, 207--230 (2009; Zbl 1175.03016) Full Text: DOI arXiv OpenURL
Link, Sebastian Charting the completeness frontier of inference systems for multivalued dependencies. (English) Zbl 1169.68014 Acta Inf. 45, No. 7-8, 565-591 (2008). MSC: 68P15 PDF BibTeX XML Cite \textit{S. Link}, Acta Inf. 45, No. 7--8, 565--591 (2008; Zbl 1169.68014) Full Text: DOI OpenURL
Cordero, P.; Mora, A.; de Guzmán, I. P.; Enciso, M. Non-deterministic ideal operators: an adequate tool for formalization in data bases. (English) Zbl 1142.68023 Discrete Appl. Math. 156, No. 6, 911-923 (2008). MSC: 68N30 68P15 PDF BibTeX XML Cite \textit{P. Cordero} et al., Discrete Appl. Math. 156, No. 6, 911--923 (2008; Zbl 1142.68023) Full Text: DOI OpenURL
Hartmann, Sven; Köhler, Henning; Link, Sebastian Full hierarchical dependencies in fixed and undetermined universes. (English) Zbl 1129.68031 Ann. Math. Artif. Intell. 50, No. 1-2, 195-226 (2007). MSC: 68P15 PDF BibTeX XML Cite \textit{S. Hartmann} et al., Ann. Math. Artif. Intell. 50, No. 1--2, 195--226 (2007; Zbl 1129.68031) Full Text: DOI OpenURL
Domenach, Florent; Leclerc, Bruno The structure of the overhanging relations associated with some types of closure systems. (English) Zbl 1125.06004 Ann. Math. Artif. Intell. 49, No. 1-4, 137-149 (2007). MSC: 06A15 08A02 68T30 PDF BibTeX XML Cite \textit{F. Domenach} and \textit{B. Leclerc}, Ann. Math. Artif. Intell. 49, No. 1--4, 137--149 (2007; Zbl 1125.06004) Full Text: DOI OpenURL
Obiedkov, S.; Duquenne, V. Attribute-incremental construction of the canonical implication basis. (English) Zbl 1125.68121 Ann. Math. Artif. Intell. 49, No. 1-4, 77-99 (2007). MSC: 68T30 06A15 68W40 PDF BibTeX XML Cite \textit{S. Obiedkov} and \textit{V. Duquenne}, Ann. Math. Artif. Intell. 49, No. 1--4, 77--99 (2007; Zbl 1125.68121) Full Text: DOI OpenURL
Hartmann, Sven; Link, Sebastian; Schewe, Klaus-Dieter Functional and multivalued dependencies in nested databases generated by record and list constructor. (English) Zbl 1097.68553 Ann. Math. Artif. Intell. 46, No. 1-2, 114-164 (2006). MSC: 68P15 PDF BibTeX XML Cite \textit{S. Hartmann} et al., Ann. Math. Artif. Intell. 46, No. 1--2, 114--164 (2006; Zbl 1097.68553) Full Text: DOI OpenURL
Hartmann, Sven; Link, Sebastian On a problem of Fagin concerning multivalued dependencies in relational databases. (English) Zbl 1088.68045 Theor. Comput. Sci. 353, No. 1-3, 53-62 (2006). MSC: 68P15 PDF BibTeX XML Cite \textit{S. Hartmann} and \textit{S. Link}, Theor. Comput. Sci. 353, No. 1--3, 53--62 (2006; Zbl 1088.68045) Full Text: DOI OpenURL
Pasquier, Nicolas; Taouil, Rafik; Bastide, Yves; Stumme, Gerd; Lakhal, Lotfi Generating a condensed representation for association rules. (English) Zbl 1071.68022 J. Intell. Inf. Syst. 24, No. 1, 29-60 (2005). MSC: 68P15 68U35 PDF BibTeX XML Cite \textit{N. Pasquier} et al., J. Intell. Inf. Syst. 24, No. 1, 29--60 (2005; Zbl 1071.68022) Full Text: DOI HAL OpenURL
Domenach, Florent; Leclerc, Bruno Closure systems, implicational systems, overhanging relations and the case of hierarchical classification. (English) Zbl 1059.93007 Math. Soc. Sci. 47, No. 3, 349-366 (2004). Reviewer: Bohumil František Šmarda (Brno) MSC: 93A13 06A15 68T30 PDF BibTeX XML Cite \textit{F. Domenach} and \textit{B. Leclerc}, Math. Soc. Sci. 47, No. 3, 349--366 (2004; Zbl 1059.93007) Full Text: DOI OpenURL
Hartmann, Sven; Hoffmann, Anne; Link, Sebastian; Schewe, Klaus-Dieter Axiomatizing functional dependencies in the higher-order entity-relationship model. (English) Zbl 1161.68421 Inf. Process. Lett. 87, No. 3, 133-137 (2003). MSC: 68P15 PDF BibTeX XML Cite \textit{S. Hartmann} et al., Inf. Process. Lett. 87, No. 3, 133--137 (2003; Zbl 1161.68421) Full Text: DOI OpenURL
Demetrovics, J.; Katona, Gyula O. H.; Miklós, D. Recent combinatorial results in the theory of relational databases. (English) Zbl 1074.68015 Math. Comput. Modelling 38, No. 7-9, 763-772 (2003). MSC: 68P15 PDF BibTeX XML Cite \textit{J. Demetrovics} et al., Math. Comput. Modelling 38, No. 7--9, 763--772 (2003; Zbl 1074.68015) Full Text: DOI OpenURL
Monjardet, Bernard The presence of lattice theory in discrete problems of mathematical social sciences. Why. (English) Zbl 1054.91062 Math. Soc. Sci. 46, No. 2, 103-144 (2003). MSC: 91B68 PDF BibTeX XML Cite \textit{B. Monjardet}, Math. Soc. Sci. 46, No. 2, 103--144 (2003; Zbl 1054.91062) Full Text: DOI OpenURL
Caspard, Nathalie; Monjardet, Bernard The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey. (English) Zbl 1026.06008 Discrete Appl. Math. 127, No. 2, 241-269 (2003); erratum ibid. 145, No. 3, 333 (2005). MSC: 06A15 68P15 PDF BibTeX XML Cite \textit{N. Caspard} and \textit{B. Monjardet}, Discrete Appl. Math. 127, No. 2, 241--269 (2003; Zbl 1026.06008) Full Text: DOI OpenURL
Lopes, Stéphane; Petit, Jean-Marc; Lakhal, Lotfi Functional and approximate dependency mining: Database and FCA points of view. (English) Zbl 1024.68027 J. Exp. Theor. Artif. Intell. 14, No. 2-3, 93-114 (2002). MSC: 68P15 PDF BibTeX XML Cite \textit{S. Lopes} et al., J. Exp. Theor. Artif. Intell. 14, No. 2--3, 93--114 (2002; Zbl 1024.68027) Full Text: DOI OpenURL
Nambiar, K. K.; Kannoth, V. Generic dependencies and database design. (English) Zbl 0980.68043 Comput. Math. Appl. 41, No. 3-4, 281-288 (2001). MSC: 68P15 PDF BibTeX XML Cite \textit{K. K. Nambiar} and \textit{V. Kannoth}, Comput. Math. Appl. 41, No. 3--4, 281--288 (2001; Zbl 0980.68043) Full Text: DOI OpenURL
Brandt, Silke; Albert, Dietrich; Hockemeyer, Cord Surmise relations between tests – preliminary results of the mathematical modeling. (English) Zbl 0971.68153 Janowitz, Melvin F. (ed.), OSDA98. Ordinal and symbolic data analysis. Univ. of Massachusetts, Amherst, MA, USA, September 28-30, 1998. Amsterdam: Elsevier, Electron. Notes Discrete Math. 2, no pag., electronic only (1999). MSC: 68T30 68U20 PDF BibTeX XML Cite \textit{S. Brandt} et al., Electron. Notes Discrete Math. 2, no pag. (1999; Zbl 0971.68153) OpenURL
Cubero, J. C.; Medina, J. M.; Pons, O.; Vila, M. A. Data summarization in relational databases through fuzzy dependencies. (English) Zbl 0945.68051 Inf. Sci. 121, No. 3-4, 233-270 (1999). MSC: 68P15 PDF BibTeX XML Cite \textit{J. C. Cubero} et al., Inf. Sci. 121, No. 3--4, 233--270 (1999; Zbl 0945.68051) Full Text: DOI OpenURL
Cubero, J. C.; Medina, J. M.; Pons, O.; Vila, M. A. Transitive fuzzy dependencies. II. (English) Zbl 0971.68042 Fuzzy Sets Syst. 106, No. 3, 433-448 (1999). MSC: 68P15 PDF BibTeX XML Cite \textit{J. C. Cubero} et al., Fuzzy Sets Syst. 106, No. 3, 433--448 (1999; Zbl 0971.68042) Full Text: DOI OpenURL
Levene, Mark; Loizou, George Axiomatisation of functional dependencies in incomplete relations. (English) Zbl 0912.68025 Theor. Comput. Sci. 206, No. 1-2, 283-300 (1998). MSC: 68P15 PDF BibTeX XML Cite \textit{M. Levene} and \textit{G. Loizou}, Theor. Comput. Sci. 206, No. 1--2, 283--300 (1998; Zbl 0912.68025) Full Text: DOI OpenURL
Bennett, F. E.; Wu, L. Minimum matrix representation of Sperner systems. (English) Zbl 0892.05047 Discrete Appl. Math. 81, No. 1-3, 9-17 (1998). Reviewer: P.L.Erdős (Budapest) MSC: 05D05 PDF BibTeX XML Cite \textit{F. E. Bennett} and \textit{L. Wu}, Discrete Appl. Math. 81, No. 1--3, 9--17 (1998; Zbl 0892.05047) Full Text: DOI Link OpenURL
Ross, Kenneth A.; Sagiv, Yehoshua Monotonic aggregation in deductive databases. (English) Zbl 0869.68042 J. Comput. Syst. Sci. 54, No. 1, 79-97 (1997). MSC: 68P15 PDF BibTeX XML Cite \textit{K. A. Ross} and \textit{Y. Sagiv}, J. Comput. Syst. Sci. 54, No. 1, 79--97 (1997; Zbl 0869.68042) Full Text: DOI OpenURL
Nambiar, K. K.; Gopinath, B.; Nagaraj, T.; Manjunath, S. Boyce-Codd normal form decomposition. (English) Zbl 0947.68520 Comput. Math. Appl. 33, No. 4, 1-3 (1997). MSC: 68P15 PDF BibTeX XML Cite \textit{K. K. Nambiar} et al., Comput. Math. Appl. 33, No. 4, 1--3 (1997; Zbl 0947.68520) Full Text: DOI OpenURL
Demetrovics, János; Vu Duc Thi Some results about normal forms for functional dependency in the relational datamodel. (English) Zbl 0855.68025 Discrete Appl. Math. 69, No. 1-2, 61-74 (1996). MSC: 68P15 PDF BibTeX XML Cite \textit{J. Demetrovics} and \textit{Vu Duc Thi}, Discrete Appl. Math. 69, No. 1--2, 61--74 (1996; Zbl 0855.68025) Full Text: DOI OpenURL
Vincent, Millist W.; Srinivasan, Bala A note on relation schemes which are in 3NF but not in BCNF. (English) Zbl 0813.68092 Inf. Process. Lett. 48, No. 6, 281-283 (1993). MSC: 68P15 PDF BibTeX XML Cite \textit{M. W. Vincent} and \textit{B. Srinivasan}, Inf. Process. Lett. 48, No. 6, 281--283 (1993; Zbl 0813.68092) Full Text: DOI OpenURL
Yao, Hsiu-Hsen; Ozsoyoglu, Gultekin Irreversibility problem in NL-class relations. (English) Zbl 0783.68038 Inf. Sci. 73, No. 3, 191-233 (1993). MSC: 68P15 PDF BibTeX XML Cite \textit{H.-H. Yao} and \textit{G. Ozsoyoglu}, Inf. Sci. 73, No. 3, 191--233 (1993; Zbl 0783.68038) Full Text: DOI OpenURL
Libkin, Leonid Direct product decompositions of lattices, closures and relation schemes. (English) Zbl 0780.06003 Discrete Math. 112, No. 1-3, 119-138 (1993). MSC: 06A15 06B05 68P15 PDF BibTeX XML Cite \textit{L. Libkin}, Discrete Math. 112, No. 1--3, 119--138 (1993; Zbl 0780.06003) Full Text: DOI OpenURL
Majster-Cederbaum, Mila E. Ensuring the existence of a BCNF-decomposition that preserves functional dependencies in \(O(N^ 2)\) time. (English) Zbl 0772.68029 Inf. Process. Lett. 43, No. 2, 95-100 (1992). MSC: 68P15 PDF BibTeX XML Cite \textit{M. E. Majster-Cederbaum}, Inf. Process. Lett. 43, No. 2, 95--100 (1992; Zbl 0772.68029) Full Text: DOI OpenURL
Wang, Ke On characterizing boundedness of database schemes with bounded dependencies. (English) Zbl 0754.68044 Theor. Comput. Sci. 100, No. 2, 347-364 (1992). MSC: 68P15 PDF BibTeX XML Cite \textit{K. Wang}, Theor. Comput. Sci. 100, No. 2, 347--364 (1992; Zbl 0754.68044) Full Text: DOI OpenURL
Schrefl, Michael; Stumptner, Markus On the formal properties of transitive inheritance in databases. (English) Zbl 0793.68050 Inf. Sci. 66, No. 1-2, 63-90 (1992). MSC: 68P15 PDF BibTeX XML Cite \textit{M. Schrefl} and \textit{M. Stumptner}, Inf. Sci. 66, No. 1--2, 63--90 (1992; Zbl 0793.68050) Full Text: DOI OpenURL
Wang, Ke Polynomial tests of normal forms and some related results. (English) Zbl 0792.68065 J. Comput. Sci. Technol. 7, No. 1, 75-82 (1992). MSC: 68Q25 68P15 PDF BibTeX XML Cite \textit{K. Wang}, J. Comput. Sci. Technol. 7, No. 1, 75--82 (1992; Zbl 0792.68065) Full Text: DOI OpenURL
Gottlob, G.; Schrefl, M.; Stumptner, M. Selective inheritance of attribute values in relational databases. (English) Zbl 0767.68031 Discrete Appl. Math. 40, No. 2, 187-216 (1992). MSC: 68P15 PDF BibTeX XML Cite \textit{G. Gottlob} et al., Discrete Appl. Math. 40, No. 2, 187--216 (1992; Zbl 0767.68031) Full Text: DOI OpenURL
Demetrovics, János; Libkin, Leonid; Muchnik, Ilya B. Functional dependencies in relational databases: A lattice point of view. (English) Zbl 0767.68029 Discrete Appl. Math. 40, No. 2, 155-185 (1992). MSC: 68P15 06A12 PDF BibTeX XML Cite \textit{J. Demetrovics} et al., Discrete Appl. Math. 40, No. 2, 155--185 (1992; Zbl 0767.68029) Full Text: DOI OpenURL
Demetrovics, J.; Katona, G. O. H.; Miklós, D. Partial dependencies in relational databases and their realization. (English) Zbl 0760.68024 Discrete Appl. Math. 40, No. 2, 127-128 (1992). MSC: 68P15 PDF BibTeX XML Cite \textit{J. Demetrovics} et al., Discrete Appl. Math. 40, No. 2, 127--128 (1992; Zbl 0760.68024) Full Text: DOI OpenURL
Burosch, G.; Demetrovics, J.; Katona, G. O. H.; Kleitman, D. J.; Sapozhenko, A. A. On the number of databases and closure operations. (English) Zbl 0717.68019 Theor. Comput. Sci. 78, No. 2, 377-381 (1991). MSC: 68P15 PDF BibTeX XML Cite \textit{G. Burosch} et al., Theor. Comput. Sci. 78, No. 2, 377--381 (1991; Zbl 0717.68019) Full Text: DOI OpenURL
Bennett, F. E.; Wu, Lisheng On minimum matrix representation of closure operations. (English) Zbl 0724.05011 Discrete Appl. Math. 26, No. 1, 25-40 (1990). Reviewer: L.Teirlinck (Auburn) MSC: 05B20 PDF BibTeX XML Cite \textit{F. E. Bennett} and \textit{L. Wu}, Discrete Appl. Math. 26, No. 1, 25--40 (1990; Zbl 0724.05011) Full Text: DOI OpenURL
Lambrichts, Erik; Nees, Peter; Paredaens, Jan; Peelman, Peter; Tanca, Letizia Checking functional consistency in deductive databases. (English) Zbl 0697.68096 Inf. Process. Lett. 35, No. 3, 115-120 (1990). MSC: 68P20 68N01 68T99 PDF BibTeX XML Cite \textit{E. Lambrichts} et al., Inf. Process. Lett. 35, No. 3, 115--120 (1990; Zbl 0697.68096) Full Text: DOI OpenURL
Miller, Leslie L.; Gadia, S. K.; Kothari, S.; Liu, K. C. Completeness issues for join dependencies derived from the universal relation join dependency. (English) Zbl 0661.68109 Inf. Process. Lett. 28, No. 5, 269-274 (1988). MSC: 68P20 68P05 PDF BibTeX XML Cite \textit{L. L. Miller} et al., Inf. Process. Lett. 28, No. 5, 269--274 (1988; Zbl 0661.68109) Full Text: DOI OpenURL
Chan, Edward P. F.; Hernández, Héctor J. On the desirability of \(\gamma\)-acyclic BCNF database schemes. (English) Zbl 0658.68119 Theor. Comput. Sci. 62, No. 1-2, 67-104 (1988). MSC: 68P20 PDF BibTeX XML Cite \textit{E. P. F. Chan} and \textit{H. J. Hernández}, Theor. Comput. Sci. 62, No. 1--2, 67--104 (1988; Zbl 0658.68119) Full Text: DOI OpenURL
Vianu, Victor Database survivability under dynamic constraints. (English) Zbl 0611.68060 Acta Inf. 25, No. 1, 55-84 (1988). MSC: 68P20 68P05 PDF BibTeX XML Cite \textit{V. Vianu}, Acta Inf. 25, No. 1, 55--84 (1988; Zbl 0611.68060) Full Text: DOI OpenURL
Gottlob, Georg On the size of nonredundant FD-covers. (English) Zbl 0653.68110 Inf. Process. Lett. 24, 355-360 (1987). MSC: 68P20 68P05 PDF BibTeX XML Cite \textit{G. Gottlob}, Inf. Process. Lett. 24, 355--360 (1987; Zbl 0653.68110) Full Text: DOI OpenURL
Burosch, G.; Demetrovics, J.; Katona, G. O. H. The poset of closures as a model of changing databases. (English) Zbl 0648.06004 Order 4, No. 1-3, 127-142 (1987). Reviewer: W.Bartol MSC: 06A15 06A06 68P20 PDF BibTeX XML Cite \textit{G. Burosch} et al., Order 4, No. 1--3, 127--142 (1987; Zbl 0648.06004) Full Text: DOI OpenURL
Paige, Robert; Henglein, Fritz Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study. (English) Zbl 0641.68025 J. Symb. Comput. 4, 207-232 (1987). MSC: 68Q60 68T20 68W30 PDF BibTeX XML Cite \textit{R. Paige} and \textit{F. Henglein}, J. Symb. Comput. 4, 207--232 (1987; Zbl 0641.68025) Full Text: DOI OpenURL
Fischer, Patrick C.; Saxton, Lawrence V.; Thomas, Stan J.; van Gucht, Dirk Interactions between dependencies and nested relational structures. (English) Zbl 0604.68107 J. Comput. Syst. Sci. 31, 343-354 (1985). MSC: 68P20 PDF BibTeX XML Cite \textit{P. C. Fischer} et al., J. Comput. Syst. Sci. 31, 343--354 (1985; Zbl 0604.68107) Full Text: DOI OpenURL
Demetrovics, J.; Füredi, Z.; Katona, G. O. H. Minimum matrix representation of closure operations. (English) Zbl 0577.68084 Discrete Appl. Math. 11, 115-128 (1985). Reviewer: L.Rónyai MSC: 68P20 68P05 05A99 PDF BibTeX XML Cite \textit{J. Demetrovics} et al., Discrete Appl. Math. 11, 115--128 (1985; Zbl 0577.68084) Full Text: DOI OpenURL
Pichat, E. Algorithme de décomposition de clés. (French) Zbl 0568.68075 RAIRO, Inf. Théor. 19, 213-232 (1985). MSC: 68P20 PDF BibTeX XML Cite \textit{E. Pichat}, RAIRO, Inf. Théor. 19, 213--232 (1985; Zbl 0568.68075) Full Text: EuDML OpenURL
Graham, Marc H.; Yannakakis, Mihalis Independent database schemas. (English) Zbl 0603.68099 J. Comput. Syst. Sci. 28, 121-141 (1984). MSC: 68P20 68P05 PDF BibTeX XML Cite \textit{M. H. Graham} and \textit{M. Yannakakis}, J. Comput. Syst. Sci. 28, 121--141 (1984; Zbl 0603.68099) Full Text: DOI OpenURL
Atzeni, Paolo; Morfuni, Nicola M. Functional dependencies in relations with null values. (English) Zbl 0544.68067 Inf. Process. Lett. 18, 233-238 (1984). MSC: 68P20 68P05 PDF BibTeX XML Cite \textit{P. Atzeni} and \textit{N. M. Morfuni}, Inf. Process. Lett. 18, 233--238 (1984; Zbl 0544.68067) Full Text: DOI OpenURL
Nambiar, K. K.; Radhakrishnan, T.; Tikekar, V. G. Representation of functional dependencies in relational databases using linear graphs. (English) Zbl 0542.68083 Theor. Comput. Sci. 24, 143-159 (1983). Reviewer: H.Luchian MSC: 68P20 68R10 PDF BibTeX XML Cite \textit{K. K. Nambiar} et al., Theor. Comput. Sci. 24, 143--159 (1983; Zbl 0542.68083) Full Text: DOI OpenURL
Demetrovics, J.; Gyepesi, Gy. Some generalized type functional dependencies formalized as equality set on matrices. (English) Zbl 0534.68068 Discrete Appl. Math. 6, 35-47 (1983). MSC: 68P20 68P05 PDF BibTeX XML Cite \textit{J. Demetrovics} and \textit{Gy. Gyepesi}, Discrete Appl. Math. 6, 35--47 (1983; Zbl 0534.68068) Full Text: DOI OpenURL