View Operations on Objects with Roles for a Statically Typed Database Language