Abiteboul–Vianu Theorem
   HOME
*