I haven't read it but I understand where you're coming from here. Does this doc talk about the problems with nullability / ternary logic? What about algebraic

I haven't read it but I understand where you're coming from here. Does this doc talk about the problems with nullability / ternary logic? What about algebraic sum types? Those have always been some of the most difficult aspects of relational data modeling, at least with respect to SQL.