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

Нет, WebSQL был удален из спецификации HTML5 в ноябре 2010 года. Вместо него рекомендуется использовать IndexedDB.