Made-Potuijt, S.C. van der

transaction process constraint company state transaction manager relation database system subproces manager integrity employee contactperson member tuple decision transition trap process situation decision process domain example subprocesse control value table partition chairman relation company insurance company decision processes integrity constraints recovery contract behaviour model description component scheduler check insurance primary-key tuple number contracttype information referential referential integrity moment report figure department management recovery manager order respect doctor patient foreign-key tuples return action method environment state space system state relation contactperson modelled concurrency risk percentage execution protocol paradigm control process place oldflag client procedure office relation employee update