Database ported to coinductive computations