4.8. Adding a context

We will consider the case of adding an empty context. To add a context with a role is like first adding an empty context, then add a role.

A picture containing mirror

Figure 6. Adding an empty context.

Actually, adding a context is a simple case. It is very much like adding a binding because the only thing we can do – indeed, should do – with a new, detached empty context is to bind some role to its external role. Because we bind to a new role (the external role is created with the context) and because the external role can have no binding itself, we just have to consider queries with the step type binding <ExternalRoleType>.