Report and thesisA uniform logical treatment of queries and updates, tech. rep. DB018001-1980