Advances in data base theory. Vol. 1 - Gallaire, Hervé (Plenum Press, 1981)