Effective Privileges

In a database, a user's effective privileges come from three places:

• user_grants: privileges granted directly to the user.
• user_roles: roles granted directly to the user.
• Roles can themselves be granted other roles. Each row [role, inner_role] of role_inheritance means anyone who holds role also holds inner_role. This applies transitively (a role granted to a role granted to the user still counts), and the grants may contain cycles.

Each row [role, privilege] of role_grants gives privilege to everyone who holds role.

Return the user's effective privileges: every privilege granted directly or through any role the user holds, with no duplicates, sorted in ascending string order. Role and privilege names are case-sensitive.