Subtypes and status-dependent data: pure relational approach · HackerTrans