fixed structural types for two relations