Лично я сомневаюсь, что вы в конечном итоге найдете SQL, который вы можете просто использовать во всех SQL Server, Teradata, Postgres и Oracle и который имеет приемлемую производительность, если таблица вообще большая.

Решение SQL Server (демонстрация) будет выглядеть следующим образом.

SELECT i,
       SUBSTRING(MAX(FORMAT(i, 'D10') + val) OVER (PARTITION BY Pos ORDER BY i 
                                                     ROWS UNBOUNDED PRECEDING), 11, 8000)
FROM   (SELECT st.*,
               sum(CASE WHEN op = 'I' THEN 1 ELSE -1 END) 
                  OVER (ORDER BY i ROWS UNBOUNDED PRECEDING) AS pos
        FROM   stack_trace st) t1
ORDER  BY i; 

Это хорошая головоломка.

Поскольку моей основной СУБД является Teradata, я написал для нее решение с использованием аналитических функций (требуется TD14.10+):

SELECT dt.*,
   -- find the last item in the stack with the same position
   Last_Value(val IGNORE NULLS)
   Over (PARTITION BY pos
         ORDER BY i) AS top_of_stack_val
FROM 
 ( 
   SELECT st.*,
      -- calculate the number of items in the stack
      Sum(CASE WHEN op = 'I' THEN 1 ELSE -1 end) 
      Over (ORDER BY i
            ROWS Unbounded Preceding) AS pos
   FROM stack_trace AS st
 ) AS dt;

Это решение работает и для Oracle, но PostgreSQL и SQL Server не поддерживают параметр IGNORE NULLS для LAST_VALUE, и его эмуляция довольно сложна, например, см. Последняя ненулевая головоломка

Редактировать: на самом деле это не так сложно, я забыл второе решение Ицика, старый трюк с контрейлерами ;-)

Подход Мартина Смита будет работать для всех четырех СУБД.

Хотя это требует дополнительного шага -

Общее решение для Hive, Teradata, Oracle, SQL Server и PostgreSQL

select      s.i

           ,min (s.val) over
            (
                partition by    s.depth
                               ,s.depth_val_seq
            )                                   as top_of_stack_val            

from       (select      s.i
                       ,s.val
                       ,s.depth
                        
                       ,count (s.val) over 
                        (
                            partition by    s.depth
                            order by        s.i
                            rows            between unbounded preceding and current row
                        )                                                                   as depth_val_seq
                         
            from       (select      s.i
                                   ,s.val
                                    
                                   ,sum (case s.op when 'I' then 1 else -1 end)   over
                                    (
                                        order by        s.i
                                        rows            between unbounded preceding and current row
                                    )                                                                   as depth
             
                        from        stack_trace s
                        )
                        s
            )
            s
 
order by    i
;

На самом деле это интересная проблема. Что бы я сделал, это отслеживать положение каждого элемента в стеке. Вы можете сделать это, используя накопительную сумму:

select st.*,
       sum(case when op = 'I' then 1 else -1 end) over (order by i) as pos
from stack_trace st;

Увы, на данный момент, я думаю, вам нужно довольно сложное соединение или подзапрос, чтобы выяснить самое последнее значение, на которое ссылается pos. Вот один из способов:

with st as (
      select st.*,
             sum(case when op = 'I' then 1 else -1 end) over (order by i) as pos
      from stack_trace st
     )
select st.*,
       (select val
        from st st2
        where st2.i <= st.id and st2.pos = st.pos and
              st2.val is not null
        order by i desc
        fetch first 1 row only
       ) as top_of_stack_val
from st;

Терадата

select      s.i

           ,first_value (s.val) over 
            (
                partition by    s.depth
                order by        s.i
                reset when      s.op = 'I'
            )                                as top_of_stack_val

from       (select      s.i
                       ,s.val
                       ,s.op

                       ,sum (case s.op when 'I' then 1 else -1 end)   over
                        (
                            order by        s.i
                            rows            unbounded preceding
                        )                                                   as depth

            from        stack_trace s
            )
            s
            
order by    i
;