database fixes, inc procedures and student pkey