# MySQL Haversine Benchmark

1. Run setup

   ```sh
   mysql your-database-name < setup.sql
   ```

   This will (re)create:
   - Two tables `floats` and `points`.
   - Three procedures `generate_coords`, `float_coords_within_radius`,
       `hybrid_coords_within_radius`, and `point_coords_within_radius`.
   - Two functions `haversine` and `haversine_alt`.

   And then will generate and insert 1,000,000 random coordinates into `floats` and
   `points`.

2. Navigate to `index.php` in your browser and login.