Spec for SQL Type System Goals ... Background and Strategic Fit ... Assumptions ... Requirements ... Out of Scope ... Impacts ...