database procedures pt. 1, inc proper auto i++