1 Bioskop(=>I,<=O,<>D) 1e OdrzavanjeMaticno 1e ObradaPrometa(=>I.Pro,<=O.Pro,<>D) 1e StvaranjeRezervacije(=>I.Pro.SRez,<=O.Pro.SRez,<>D) 1 UnosPodataka(=>I.Pro.SRez,Projekcija,>Red,>Sediste,Korisnik,>Projekcija,>Red,>Sediste){I-Rezervacija} /DaLiJeMestoSlobodno==TRUE 4 Obavestavanje(>Korisnik,>Projekcija,>Red,>Sediste,<=O.Pro.SRez) 1e UklanjanjeRezervacije(=>I.Pro.URez,<=O.Pro.URez,<>D) 1 UnosPodataka(=>I.Pro.URez,Rezervacija,Rezervacija){D-Rezervacija} /DaLiPostojiRezervacija==TRUE 4 Obavestavanje(>Rezervacija,>DaLiPostojiRezervacija,<=O.Pro.URez) 1e StvaranjeTermina(=>I.Pro.STer,<=O.Pro.STer,<>D) 1 UnosPodataka(=>I.Pro.STer,Sala,>Datum,>Termin,Film,>Sala,>Datum,>Termin){I-Raspored} 4? KreiranjeKarata(>Projekcija,>Sala){I-Karta} /DaLiJeTerminSlobodan==TRUE 5 Obavestavanje(>Film,>Sala,>Datum,>Termin,>DaLiJeTerminSlobodan,<=O.Pro.STer) 1e UklanjanjeTermina(=>I.Pro.UTer,<=O.Pro.UTer,<>D) 1 UnosPodataka(=>I.Pro.UTer,Termin,Termin){D-Raspored} /DaLiTerminPostoji==TRUE 4 Obavestavanje(>Termin,>DaLiTerminPostoji,<=O.Pro.UTer) 1e KupovinaKarte(=>I.Pro.KK,<=O.Pro.KK,<>D) 1 UnosPodataka(=>I.Pro.KK,Projekcija,>Red,>Sediste,Projekcija,>Red,>Sediste,Korisnik,>Red,>Sediste,>Projekcija){S-Karta,I-Kupio} /KartaJeKupljena==FALSE AND (DaLiPostojiRezervacija==FALSE OR (DaLiPostojiRezervacija==TRUE AND KorisnikRez==Korisnik)) 5 Obavestavanje(>Korisnik,>Projekcija,>Red,>Sediste,<=O.Pro.KK) 1e Izvestavanje