Unfortunately, I can't find an Open Source database management system that supports all these features.
PostgreSQL has CREATE TYPE, but no inheritance or methods nor the collection types. Yes, I could probably work around it with other features, but my main goal is experimenting with this subset of standard SQL.
Neither MySQL nor SQLite seem to even have user-defined types.