Optimization of recursive queries over nested relations by a differential technique - Linnemann, Volker (1987)