implementation of sql3 structured types with inheritance and value substitutability yc fuh , s deã?loch , w chen , nm mattos , bt tran , bg proceedings of the 25th international conference on very & hellip ; ,