Schedule

Key Schedule in Scheduled Real Trigger refers to an optional object of type Schedule that implies the dates d₁ , d₂ , ... , dₙ as described in Scheduled Real Trigger
If missing, no such dates are implied.
In the missing case, for any given input d , x₁ , x₂ , ... , xᵤ the following hold for the output of Scheduled Real Trigger:
a) It does not depend on the date input d
b) It is identical with the output of the predicate function ƒ₁, i.e. the first of the predicate functions defined through the key Triggers, if the latter is fed with the input x₁ , x₂ , ... , xᵤ