Title: Implementation of domain abstraction in the relational database system INGRES