The mathematical representation of algorithms is now pretty standard undergrad stuff. Why is relational algebra not better known?