CREATE FUNCTION parent_child() 
RETURNS @res TABLE (
	id INT, 
	pid INT, 
	parent VARCHAR( 20 ) COLLATE database_default,
	child VARCHAR( 20 ))
AS
BEGIN
	DECLARE @tbl TABLE ( -- Таблица для первмчной нумерации
		id INT IDENTITY, 
		pid INT, 
		parent VARCHAR( 20 ) COLLATE database_default ,
		child VARCHAR( 20 ) COLLATE database_default )
	DECLARE @tbl2 TABLE ( -- Таблица для перенумерации дублирующихся записей
		id2 INT IDENTITY, 
		id INT, 
		pid INT, 
		parent VARCHAR( 20 ) COLLATE database_default,
		child VARCHAR( 20 ) COLLATE database_default)
	-- Соединяем таблицу связей и справочник и нумеруем
	INSERT INTO @tbl(parent,child)
		SELECT DISTINCT g.parent AS parent,d.id AS child 
		FROM source_graph g RIGHT OUTER JOIN source_dim d ON g.child=d.id  
	-- Повторяем до тех пор пока не будет повторяющихся идентификаторов
	WHILE (NOT EXISTS(SELECT  1  FROM @res)) AND EXISTS(SELECT  1  FROM @tbl)
	BEGIN
		IF NOT EXISTS(SELECT  1  FROM @tbl2)
		BEGIN
			-- это выполняется в первой итерации
			-- тут мы ищем для каждого ребенка ID его родителя
			-- при этом иногда задваиваются ID ребенка, поэтому мы присваивает уникальный ID2
			INSERT INTO @tbl2(id,pid,parent,child)
				SELECT t1.id AS id ,t2.id AS pid ,t1.parent AS parent ,t1.child AS child
				FROM @tbl t1 LEFT OUTER JOIN @tbl t2 ON t1.parent=t2.child
		END
		-- находим новый идентификатор родителя из поля ID2
		-- тут опять могут задваиваться ID ребенка
		INSERT INTO @res(id,pid,parent,child)
			SELECT t1.id2 AS id,t2.id2 AS pid, t1.parent AS parent,t1.child AS child
			FROM @tbl2 t1 LEFT OUTER JOIN @tbl2 t2 ON t1.pid=t2.id
		-- Проверяем: если задваиваются ID ребенка
		IF EXISTS(SELECT COUNT(*) FROM @res GROUP BY id HAVING COUNT(*)> 1 )
		BEGIN
			-- Повторяем цикл перенумерации
			DELETE FROM @tbl2
			INSERT INTO @tbl2(id,pid,parent,child)
				SELECT id, pid, parent, child
				FROM @res
			-- Чтобы повторился цикл
			DELETE FROM @res
		END
	END
	-- Поскольку мы несколько раз зпролняли и удаляли из @tbl2
	-- то нумерация результата начинается не с 1
	-- исправляем это
	DECLARE @min_val INT
	SELECT @min_val=MIN(id)- 1  FROM @res
	IF @min_val> 0 
		UPDATE @res SET id=id-@min_val, pid=pid-@min_val
	RETURN
END