$8\mathrm{.}31.$ Suggest extensions to the relational calculus so that it may express the following types of operations that were discussed in Section $8\mathrm{.}4$: $($a$)$ aggregate functions and grouping; $($b$)$ OUTER JOIN operations; $($c$)$ recursive closure queries.