>>>The task is to write some SQL code, including as many INSERT/UPDATE/DELETEs as you want to make other tables with information about the program, with a final SELECT which returns TRUE if and only if the program will halt.
SQL with Recursive CTE is Turing Complete. The above is provably impossible. But then you already knew that. Regards David M Bennett FACS Andl - A New Database Language - andl.org