The 'edu' MySQL schema