Ronald Fagin Gabriel M. Kuper Jeffrey D. Ullman Moshe Y. Vardi Updating Logical Databases. 1-18 1986 3 Advances in Computing Research db/journals/acr/acr3.html#FaginKUV86