RULE approval_requires_assignment

(* SCHEMA integrated_cnc_schema; *)
RULE approval_requires_assignment FOR
  (approval,
   approval_assignment);
WHERE
  WR1:  (0 = SIZEOF (QUERY (app <* approval | NOT
           (1 <= SIZEOF (QUERY (aa <* approval_assignment |
               (app :=: aa.assigned_approval))))
        )));
END_RULE; -- 10303-238: integrated_cnc_schema

[Top Level Definitions]

Generated by STEP ToolsTM EXPRESS to HTML Converter
on 2010-01-12T10:42:24-02:00