Relational algebra implementation in Agda with simple bindings to SQLITE