INFORMIX最新实用存储过程编写