Sobre la determinación monótona y la reescritura de consultas y vistas recursivas