RULE approvals_are_assigned

(* SCHEMA structural_analysis_design; *)

  RULE approvals_are_assigned FOR (approval, approval_assignment);

  WHERE
    wr1: (SIZEOF(QUERY ( app <* approval | (NOT (SIZEOF(QUERY ( aa <* 
             approval_assignment | (app :=: aa.assigned_approval) )) >= 1)) )) 
             = 0);

  END_RULE; -- approvals_are_assigned

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:15:08-04:00