Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in functional-dependencies

How to get around the Coverage Condition for Functional Dependencies without using -XUndecidableInstances

What does the symbol "⊇" mean?

What can type families do that multi param type classes and functional dependencies cannot

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

Haskell: nonobvious examples of functional dependencies

tdd - creating tests for 3rd party code

How Type inference work in presence of Functional Dependencies

more efficient type-level computations using type families?

Final-tagless encoding of mutually recursive types

Haskell: shuffling data without functional dependencies

F# application structure logging / repositories etc

Dependency preserving

Difference between canonical cover and minimal cover

Lossless Join and Decomposition From Functional Dependencies

non trivial functional dependency in DBMS

Functional Dependency in Haskell

Finding a relation in 3NF but not in BCNF

What is the "coverage condition"?