Jeg ville skrive en lagret procedure kaldet REGISTER FLIGHT, som ville acceptere som parametre PK af MODEL-tabellen (og alle andre nødvendige parametre. De har proceduren til at slå op på MODEL-tabellen og indsætte de første rækker i flight-tabellen.
Jeg ville så have en anden procedure kaldet BOOK_SEAT, som i færd med at booke flyet ville reducere antallet af ledige sæder på flyet. Hvis reservationen reducerer antallet af ledige_sæder til nul (eller færre), vil det give en undtagelse (f.eks. OVERBOOKED_EXCEPTION) og forvente, at den, der ringer, fanger og håndterer problemet.