Implementation of SQL3 Structured Types with Inheritance and Value Substitutability