I am creating a system where various people can log on to the site and input data that gets stored in a MySQL database.

Eventually, I need to take this data and convert it to semi-colon delimited format, and give that file to a client as a text file (with some obscure extension instead of txt).

I'm looking for a "head in this direction" from someone regarding what PHP commands to use to do this.