(* 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
Generated by STEP ToolsTM EXPRESS to HTML Converter
on 2010-01-12T10:42:24-02:00