A modified version of the open source MySQL server