A database IDE for professional SQL developers