Лично аз се съмнявам, че в крайна сметка ще намерите 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 и емулирането й е доста сложно, например вижте Последният не NULL пъзел

Редактиране: Всъщност не е толкова сложно, забравих второто решение на Itzik, стария трик с връщане ;-)

Подходът на Мартин Смит ще работи и за четирите СУБД.

Въпреки че изисква допълнителна стъпка -

Общо решение за 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
;