Это имеет значение для любых целей (проверка, привязка...), если я определяю use для xs:attribute как optional или вообще не определяю его?
Если это избыточно, почему он вообще предоставляется?
Да, он лишний.
Этот раздел XSD Primer объясняет подробности о встречаемости, но здесь соответствующая часть:
(значение по умолчанию
useравноoptional)
Как и все явно заданные значения, соответствующие их значениям по умолчанию: это просто способ отличить "не заботьтесь" от "я действительно хочу это значение".
Многие разработчики языка стараются следовать принципу, что если есть несколько параметров, а один - по умолчанию, то вы должны иметь возможность запрашивать значение по умолчанию явно, а не просто не говорить ничего.
Это значение по умолчанию, поэтому да оно избыточно. Он может быть предоставлен создателям разметки, которые хотят указать, что они действительно прислушивались к использованию, или, возможно, чтобы упростить динамическое переключение значения при программном программировании.