Relational algebra is a procedural query language used for manipulating relations in databases, providing the theoretical foundation for relational databases and SQL. It comprises basic operations such as selection, projection, and union, allowing for expressive and composed queries. While advantageous due to its solid mathematical basis, it has limitations, including the inability to express certain operators like the transitive closure of a relation.