Modificar Role agregar/quitar usuario

[marianogenovese]

Para que un usuario pueda ser agregado/quitado de un role es necesario que el alter role tenga una opción para poder realizar esta acción. Se establece que la acción para agregar usuario a role ya existe.

[OscarCanek]

Propuesta

create role = 'create', 'role', identifier, option list optional; alter role = 'alter', 'role', identifier, 'with', option list;

option list optional = 'with', option list | e option list = (option list, identifier) | identifier option = ('add' | 'remove'), '=', user list | ... user list = (user list, identifier) | identifier;

e representa a epsilon y significa vacío. ... significa que pueden haber mas opciones

[OscarCanek]

También se agregará un comando específico para quitar usuarios de roles

[OscarCanek]

Pruebas agregar en create role

create role solo permite agregar usuarios, quitar usuarios no esta permitido en ese comando.

Prueba agregar usuario

Prueba agregar usuarios

[OscarCanek]

Pruebas en alter role

Pruebas agregar

Pruebas remover