SQL言語は関数型