找到你要的答案

Why are type-safe relational operations so difficult?
为什么类型安全的关系操作如此困难?

haskell  types  relational-database  theory  hindley-milner 

Is it possible to implement a TRUE one-to-one relation? Update:
是否有可能实现一对一的关系? 更新:

sql  database-design  relational-database  one-to-one