If transactions
is not specified, the collection of sequences
supplied must be closed with respect to the rules to be induced. That
is, the left- and the right-hand side sequence of each candidate rule
must be contained in the collection of sequences. However, using timing
constraints in the mining step the set of frequent sequences may not be
closed under rule induction.
Otherwise, x
is completed (augmented) to be closed under rule
induction and the support is computed from transactions
, using
method ptree. Note that, rules for added sequences, if any, are not
induced.