Especificaión formal y prototipado de un gestor básico de bases de datos relacionales