A database app for ring theory