Не используйте функции mysql_, начиная с PHP 7.0 они не работают. Вместо этого используйте подготовленные запросы PDO или mysqli_.
Вместо while используйте if, у вас возвращается всего одна строка.
В UPDATE достаточно указать `views` = `views`+1. Ваш вариант не годится, поскольку между SELECT и UPDATE значение `views` в базе данных может измениться.
Ну и разберитесь с массивом $art_content, сейчас там у вас что-то совсем непонятное. Скорее всего, вы хотели сделать что-то вроде
$art_content['title'] = $row['title'];
$art_content['date'] = $row['date'];
...