Ciclo rilevato durante l'esecuzione di query ricorsive

Nel membro ricorsivo ti stai attualmente iscrivendo solo su a.product_id = b.product_id , anziché a.order_id = b.order_id AND a.product_id = b.product_id; il che non ha importanza qui, ma lo sarebbe se ordini diversi includessero gli stessi prodotti, il che è probabile nel mondo reale.

Tuttavia, i tuoi dati e la tua query non sembrano effettivamente avere un ciclo. Sembra che tu stia inciampando in quello che sembra essere un bug con i join ANSI; aggiungendo un cycle la clausola non rivela alcuna riga di ciclismo, come previsto - e lo fa funzionare!; e funziona con i join vecchio stile:

WITH
    cte (order_id,
         product_id,
         quantity,
         cnt)
    AS
        (SELECT order_id,
                product_id,
                1 as quantity,
                1 as cnt
           FROM order_tbl2        
         UNION ALL
         SELECT a.order_id,
                a.product_id,
                b.quantity,
                b.cnt + 1
           FROM order_tbl2 A, cte b
          WHERE b.cnt + 1 < a.quantity
            AND a.order_id = b.order_id
            AND a.product_id = b.product_id
            )
SELECT order_id, product_id, quantity
  FROM cte;

db<>violino

Tuttavia, non è necessario iscriversi; puoi fare:

WITH
    cte (order_id,
         product_id,
         quantity,
         cnt)
    AS
        (SELECT order_id,
                product_id,
                quantity,
                1 as cnt
           FROM order_tbl2        
         UNION ALL
         SELECT b.order_id,
                b.product_id,
                b.quantity,
                b.cnt + 1
           FROM cte b
          WHERE  b.cnt < b.quantity)
SELECT order_id, product_id, 1 as quantity
  FROM cte;

che assegna la quantità fissa 1 nella selezione finale, oppure:

WITH
    cte (order_id,
         product_id,
         real_quantity,
         quantity,
         cnt)
    AS
        (SELECT order_id,
                product_id,
                quantity as real_quantity,
                1 as quantity,
                1 as cnt
           FROM order_tbl2        
         UNION ALL
         SELECT b.order_id,
                b.product_id,
                b.real_quantity,
                b.quantity,
                b.cnt + 1
           FROM cte b
          WHERE  b.cnt < b.real_quantity)
SELECT order_id, product_id, quantity
  FROM cte;

che lo assegna all'interno e deve tenere traccia della quantità originale come nuovo alias.

Per entrambi ho rimosso il + 1 dal confronto delle quantità, poiché ciò lo faceva fermare troppo presto; con un order by aggiunto, entrambi ottengono:

db<>violino