mysql properties