Является ли WebSQL частью спецификации HTML5?

Нет, WebSQL не является частью спецификации HTML5.

WebSQL Database API был предложен как способ реализации клиентской базы данных, но он так и не стал официальным стандартом W3C. Основная причина — отсутствие единого стандарта SQL диалекта, что привело бы к зоопарку реализаций.

Вместо WebSQL широкое распространение получил IndexedDB, который является стандартом W3C и предоставляет более гибкое API для работы с NoSQL-подобными данными в браузере.