宣言的なデータベース操作のためのビュー機能