These instructions are written for a Linux environment, but the same steps with different commands
would apply to a Windows environment.

"Real server setup"
If you have a real MySQL instance, run the data/MySQL-setup.sql on it as root and adjust the
settings in mysql.properties as appropriate.

"Embedded server setup"
Runs MySQL as a user, irregardless of MySQL server that might be setup on the machine.

You need to download MySQL. This is a download that is a little over 120MB. I got it this way, from
a mirror that was fast from my location:

$ wget --ftp-user=anonymous "http://www.mysql.com/get/Downloads/MySQL-5.1/mysql-5.1.46-linux-i686-glibc23.tar.gz/from/ftp://mirror.anl.gov/pub/mysql/"

unpack it:
$ tar xzvf mysql-5.1.46-linux-i686-glibc23.tar.gz

rename it to mysql. The RealDB benchmark scripts assume a directory "mysql" in the current directory.

$ mv mysql-5.1.46-linux-i686-glibc23/ mysql

Set it up:
(The --no-defaults is specified in case the machine has already a "real" MySQL install; we want to
ignore it).

$ cd mysql
$ ./scripts/mysql_install_db --no-defaults

The server will have root with no password as a user. For safety and to be able to run as a user and
not interfere with a "real" MySQL, if installed, we start server bound to localhost only and port
51343.

To run it:
$ ./bin/mysqld_safe --no-defaults --bind-address=localhost -P 51343

To query it:
$ ./bin/mysql --no-defaults -P 51343 -u root

To stop it:
$ ./bin/mysqladmin --no-defaults -P 51343 -u root shutdown