Email Record: Relations and Kleene algebra in computer science :