I am interested in exporting a subset of values from a MySQL database into a JSON-formatted file on disk.
I found a link that talks about a possible way to do this:
You can export any SQL query into JSON directly from PHPMyAdmin