Least-fixed point computing in relational database - Yan, Ling Ling (1990)