Im Anhang beschreiben wir an einem Beispiel, wie man das formale Prinzip bei der Analyse der Performanz-Probleme nach einer Oracle-Migration anwenden kann. Solche Probleme sind wesentlich komplizierter als das SQL-Tuning einzelner SQL-Anweisungen, weil mehrere SQL-Anweisungen in der Regel davon betroffen sind. Bei der Analyse dieser Probleme muss man feststellen, was die Performanz-Verschlechterung verursacht hat (beispielsweise neue Optimizer-Features). Das formale Prinzip kann dabei sehr hilfreich sein. Wenn Sie einen tieferen Blick in die formale Methode werfen möchten, ist dieses Material für Sie.