number of functional dependencies...

What would be the 3NF of this relation?...

Is canonical cover always unique for any relationship?...

How decomposition is dependency preserving?...

Can one apply the augmentation rule in functional dependency in reverse order?...

3NF synthesis reduction algorithm...

Identifiying Functional Dependencies...

How to find the type of functional dependencies?...

Skipping steps in Normalization?...

Synthesis-algorithm for 3NF...

Database Design - functional dependency methodology...

Final-tagless encoding of mutually recursive types...

tdd - creating tests for 3rd party code...

Defined a type family (++); any way to prove that (vs ++ us) ~ '[] implies (vs ~ '[]) and (u...

Using functional dependency to eliminate type parameter...

Finding the Primary Key and Normalising a Relation with Functional Dependencies...

Can one attribute in the functional dependency be null?...

Find candidate key from functional dependancy...

Non-trivial Functional Dependency of this table...

Identifying non-trivial functional dependencies in database tables...

Is a multi-valued primary key itself a determinant when its member attributes are determinants of fu...

If I have relation R(A,B,C,D,E) and the FDs are A -> C, AB -> D, CD -> E, is E fully functi...

How can I determine the candidate keys in this relation...

Relational DB - When looking to functional dependencies among non-key values, should I look to multi...

Bundling constraints with fundeps...

Implied functional dependencies?...

Haskell functional dependency a b -> c depending on c?...

How to specify a set of equivalent Functional Dependencies for a given relation...

Are b->d, d->b trivial functional dependencies?...

Inference rules for functional dependencies, X->A, Y->B, XY->AB...