translate ./novice/sql/09-prog.ipynb into Korean