Abiteboul%E2%80%93Vianu theorem