REGISTER FLIGHTと呼ばれるストアドプロシージャを作成します。これは、MODELテーブルのPK（およびその他の必要なパラメータ）をパラメータとして受け入れます。プロシージャにMODELテーブルのルックアップを実行させ、最初の行をフライトテーブルに挿入します。
次に、BOOK_SEATという2番目の手順を実行します。これは、フライトの予約プロセスで、フライトの空席数を減らします。予約によってavailable_seatsがゼロ（またはそれ以下）に減少すると、例外（OVERBOOKED_EXCEPTIONなど）がスローされ、呼び出し元が問題をキャッチして処理することが期待されます。