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