Serge Abiteboul Victor Vianu 209-219 conf/stoc/STOC23 1991 STOC db/conf/stoc/stoc91.html#AbiteboulV91