How do Cobb's Normal Forms fit in here? They are all about relations. I suppose a single inheritance pattern cannot get more complex than first normal form, but I don't really remember this from a long time ago.