Sono arrivato a questo, non dovrebbe entrare in loop infiniti con nessun tipo di dati:
--create temp table edges ("from" text, "to" text);
--insert into edges values ('initial_node', 'a'), ('a', 'b'), ('a', 'c'), ('c', 'd');
with recursive graph(points) as (
select array(select distinct "to" from edges where "from" = 'initial_node')
union all
select g.points || e1.p || e2.p
from graph g
left join lateral (
select array(
select distinct "to"
from edges
where "from" =any(g.points) and "to" <>all(g.points) and "to" <> 'initial_node') AS p) e1 on (true)
left join lateral (
select array(
select distinct "from"
from edges
where "to" =any(g.points) and "from" <>all(g.points) and "from" <> 'initial_node') AS p) e2 on (true)
where e1.p <> '{}' OR e2.p <> '{}'
)
select distinct unnest(points)
from graph
order by 1
Le query ricorsive sono molto limitanti in termini di ciò che può essere selezionato e poiché non consentono di utilizzare i risultati ricorsivi all'interno di una sottoselezione, non è possibile utilizzare NOT IN (seleziona * da ricorsivo dove...). La memorizzazione dei risultati in un array, utilizzando LEFT JOIN LATERAL e utilizzando =ANY() e <>ALL() ha risolto questo enigma.