Опции
Объявление option – это один из нескольких механизмов расширений, которые XQuery предоставляет реализаторам. В объявлении опций содержится квалифицированное имя QName и строка. Если QName распознается реализацией, оно может воздействовать на обработку запроса способом, выбранным в реализации. Если QName не распознается, то игнорируется. Таким образом, расширения, выбранные в одной реализации, не приводят к сбоям при выполнении на другой реализации.
Рассмотрим расширение, позволяющее пользователю устанавливать значение тайм-аута в секундах, после истечения которого обработка запроса прекращается, и возвращается ошибка. declare namespace myxquery='...'; declare option myxquery:timeout '10'; for $e in //employees ...
