
doi: 10.1007/11663881_6
We will investigate the following question: what can be the maximum number of independent functional dependencies in a database of n attributes, that is the maximum cardinality of a system of dependencies which which do not follow from the Armstrong axioms and none of them can be derived from the remaining ones using the Armstrong axioms. An easy and for long time believed to be the best construction is the following: take the maximum possible number of subsets of the attributes such that none of them contains the other one (by the wellknown theorem of Sperner [8] their number is ($^{~~n}_{n/2}$)) and let them all determine all the further values. However, we will show by a specific construction that it is possible to give more than ($^{~~n}_{n/2}$) independent dependencies (the construction will give (1 + $\frac{1}{n^2}$) ($^{~~n}_{n/2}$) of them) and — on the other hand — the upper bound is 2n–1, which is roughly $\sqrt{n}(^{~~n}_{n/2})$.
QA Mathematics / matematika
QA Mathematics / matematika
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 8 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
