<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.1 20151215//EN" "http://jats.nlm.nih.gov/publishing/1.1/JATS-journalpublishing1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML" xml:lang="en" article-type="research-article" dtd-version="1.1">
<front>
<journal-meta>
<journal-id journal-id-type="pmc">CMC</journal-id>
<journal-id journal-id-type="nlm-ta">CMC</journal-id>
<journal-id journal-id-type="publisher-id">CMC</journal-id>
<journal-title-group>
<journal-title>Computers, Materials &#x0026; Continua</journal-title>
</journal-title-group>
<issn pub-type="epub">1546-2226</issn>
<issn pub-type="ppub">1546-2218</issn>
<publisher>
<publisher-name>Tech Science Press</publisher-name>
<publisher-loc>USA</publisher-loc>
</publisher>
</journal-meta>
<article-meta>
<article-id pub-id-type="publisher-id">77790</article-id>
<article-id pub-id-type="doi">10.32604/cmc.2026.077790</article-id>
<article-categories>
<subj-group subj-group-type="heading">
<subject>Article</subject>
</subj-group>
</article-categories>
<title-group>
<article-title>Mining High-Quantitative Periodic Frequent Patterns across Multiple Sequences</article-title>
<alt-title alt-title-type="left-running-head">Mining High-Quantitative Periodic Frequent Patterns across Multiple Sequences</alt-title>
<alt-title alt-title-type="right-running-head">Mining High-Quantitative Periodic Frequent Patterns across Multiple Sequences</alt-title>
</title-group>
<contrib-group>
<contrib id="author-1" contrib-type="author">
<name name-style="western"><surname>Ge</surname><given-names>Yan</given-names></name><xref ref-type="aff" rid="aff-1">1</xref></contrib>
<contrib id="author-2" contrib-type="author">
<name name-style="western"><surname>Zhang</surname><given-names>Zhenzhou</given-names></name><xref ref-type="aff" rid="aff-2">2</xref></contrib>
<contrib id="author-3" contrib-type="author" corresp="yes">
<name name-style="western"><surname>Chen</surname><given-names>Chien-Ming</given-names></name><xref ref-type="aff" rid="aff-3">3</xref><email>chienmingchen@ieee.org</email></contrib>
<aff id="aff-1"><label>1</label><institution>Reading Academy, Nanjing University of Information Science and Technology</institution>, <addr-line>Nanjing</addr-line>, <country>China</country></aff>
<aff id="aff-2"><label>2</label><institution>China Unicom (Shandong) Industrial Internet Co., Ltd.</institution>, <addr-line>Jinan</addr-line>, <country>China</country></aff>
<aff id="aff-3"><label>3</label><institution>School of Artificial Intelligence, Nanjing University of Information Science and Technology</institution>, <addr-line>Nanjing</addr-line>, <country>China</country></aff>
</contrib-group>
<author-notes>
<corresp id="cor1"><label>&#x002A;</label>Corresponding Author: Chien-Ming Chen. Email: <email>chienmingchen@ieee.org</email></corresp>
</author-notes>
<pub-date date-type="collection" publication-format="electronic">
<year>2026</year>
</pub-date>
<pub-date date-type="pub" publication-format="electronic">
<day>15</day><month>06</month><year>2026</year>
</pub-date>
<volume>88</volume>
<issue>2</issue>
<elocation-id>38</elocation-id>
<history>
<date date-type="received">
<day>17</day>
<month>12</month>
<year>2025</year>
</date>
<date date-type="accepted">
<day>17</day>
<month>04</month>
<year>2026</year>
</date>
</history>
<permissions>
<copyright-statement>&#x00A9; 2026 The Authors. Published by Tech Science Press.</copyright-statement>
<copyright-year>2026</copyright-year>
<copyright-holder>The Authors</copyright-holder>
<license xlink:href="https://creativecommons.org/licenses/by/4.0/">
<license-p>This work is licensed under a <ext-link ext-link-type="uri" xlink:type="simple" xlink:href="https://creativecommons.org/licenses/by/4.0/">Creative Commons Attribution 4.0 International License</ext-link>, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.</license-p>
</license>
</permissions>
<self-uri content-type="pdf" xlink:href="TSP_CMC_77790.pdf"></self-uri>
<abstract>
<p>Periodic pattern mining plays an important role in revealing recurring behavioral regularities from temporal sequence data. Most existing approaches, however, are developed for single-sequence settings and rarely account for quantitative information or sequence-level constraints when patterns recur across multiple sequences. This limits their usefulness in practical scenarios, where a pattern is expected to be not only periodic but also quantitatively significant in a sufficiently large portion of sequences. In this work, we formulate the problem of mining High-Quantitative Periodic Frequent Patterns (HQPFPS) from multi-sequence databases and propose an efficient algorithm, termed MHQPFPS. The proposed method evaluates pattern significance through a quantitative ratio within each sequence and exploits a sequence-level upper bound to effectively prune unpromising candidates during pattern growth. To support efficient evaluation, a compact list-based structure is introduced to maintain support, periodicity, and quantitative statistics, thereby avoiding repeated scans of the database. These components are combined within a depth-first exploration framework to systematically generate valid patterns while discarding those that fail to satisfy the required periodic or quantitative constraints. Experimental results on both real-world and synthetic datasets show that MHQPFPS is able to extract meaningful high-quantitative periodic patterns across multiple sequences. Moreover, the results indicate that the proposed pruning strategies substantially reduce computational cost in terms of runtime and memory consumption under a wide range of parameter settings.</p>
</abstract>
<kwd-group kwd-group-type="author">
<kwd>Data mining</kwd>
<kwd>high-quantitative periodic patterns</kwd>
<kwd>multi-sequence databases</kwd>
<kwd>quantitative pattern mining</kwd>
</kwd-group><funding-group>
<award-group id="awg1">
<funding-source>Startup Foundation for Introducing Talent of NUIST</funding-source>
<award-id>ZR2022MF298</award-id>
</award-group>
</funding-group></article-meta>
</front>
<body>
<sec id="s1">
<label>1</label>
<title>Introduction</title>
<p>Frequent pattern mining (FPM) has long been regarded as a core task in data mining [<xref ref-type="bibr" rid="ref-1">1</xref>,<xref ref-type="bibr" rid="ref-2">2</xref>]. Its original objective is to identify itemsets that occur frequently in transactional databases under a minimum support threshold [<xref ref-type="bibr" rid="ref-3">3</xref>,<xref ref-type="bibr" rid="ref-4">4</xref>]. Over the years, FPM and its variants have been applied across a wide range of domains, including, text mining [<xref ref-type="bibr" rid="ref-5">5</xref>], network flow analysis [<xref ref-type="bibr" rid="ref-6">6</xref>,<xref ref-type="bibr" rid="ref-7">7</xref>], biomedical data analysis [<xref ref-type="bibr" rid="ref-8">8</xref>], malware detection [<xref ref-type="bibr" rid="ref-9">9</xref>,<xref ref-type="bibr" rid="ref-10">10</xref>], and smart city applications [<xref ref-type="bibr" rid="ref-11">11</xref>]. Despite its success, classical FPM treats transactions as unordered collections of items and therefore ignores the temporal order in which events occur. This assumption becomes problematic in applications where the timing and sequence of events carry important semantic meaning.</p>
<p>Sequential pattern mining (SPM) was introduced to address this limitation by explicitly modeling temporal order [<xref ref-type="bibr" rid="ref-12">12</xref>]. By discovering frequent subsequences in ordered transaction data, SPM has found practical use in customer behavior analysis, recommendation systems, and intelligent tutoring environments [<xref ref-type="bibr" rid="ref-13">13</xref>]. Nevertheless, SPM still focuses mainly on frequency and ordering. It does not explicitly consider whether patterns recur in a regular or near-regular manner over time. In many real-world scenarios, however, such temporal regularity is a defining characteristic. Periodic purchasing behaviors or recurring symptom combinations in clinical records are typical examples. Identifying these periodic patterns is often critical for tasks such as marketing analysis, resource planning, and anomaly detection.</p>
<p>To capture temporal regularity, periodic frequent pattern mining (PFPM) has been proposed to identify patterns that recur within bounded time intervals in sequences or transactional databases [<xref ref-type="bibr" rid="ref-14">14</xref>,<xref ref-type="bibr" rid="ref-15">15</xref>]. Most existing PFPM approaches are designed for single-sequence settings, where periodicity is evaluated within one long sequence. This design choice is increasingly restrictive in modern data environments. Internet of Things (IoT) systems and other multi-source platforms generate large collections of sequences, making it necessary to identify periodic patterns that recur consistently across multiple sequences [<xref ref-type="bibr" rid="ref-16">16</xref>,<xref ref-type="bibr" rid="ref-17">17</xref>]. Although several recent studies have begun to address this setting, they typically either ignore the quantitative information associated with item occurrences or fail to identify patterns that are both periodic and quantitatively significant across a large number of sequences.</p>
<p>In many practical applications, quantitative information [<xref ref-type="bibr" rid="ref-18">18</xref>,<xref ref-type="bibr" rid="ref-19">19</xref>] is not merely supplementary, but directly affects how periodic patterns should be interpreted. For example, in retail analytics, consider two items <inline-formula id="ieqn-1"><mml:math id="mml-ieqn-1"><mml:mi>A</mml:mi></mml:math></inline-formula> and <inline-formula id="ieqn-2"><mml:math id="mml-ieqn-2"><mml:mi>B</mml:mi></mml:math></inline-formula> that are both purchased weekly across <inline-formula id="ieqn-3"><mml:math id="mml-ieqn-3"><mml:mn>80</mml:mn><mml:mi mathvariant="normal">&#x0025;</mml:mi></mml:math></inline-formula> of customer sequences, thus satisfying the same periodicity and support thresholds. A traditional periodic frequent pattern mining method would treat <inline-formula id="ieqn-4"><mml:math id="mml-ieqn-4"><mml:mi>A</mml:mi></mml:math></inline-formula> and <inline-formula id="ieqn-5"><mml:math id="mml-ieqn-5"><mml:mi>B</mml:mi></mml:math></inline-formula> as equally important. However, if <inline-formula id="ieqn-6"><mml:math id="mml-ieqn-6"><mml:mi>A</mml:mi></mml:math></inline-formula> is purchased only in negligible quantities per transaction while <inline-formula id="ieqn-7"><mml:math id="mml-ieqn-7"><mml:mi>B</mml:mi></mml:math></inline-formula> consistently accounts for a large proportion of each transaction&#x2019;s total value, the two patterns imply different operational priorities. Ignoring this difference may lead to biased decisions in inventory planning and marketing allocation. Similarly, in sensor networks and event logs, patterns with higher quantitative contributions often reflect dominant or critical system behaviors. Despite this, existing periodic pattern mining methods rarely integrate quantitative measures with multi-sequence periodicity constraints. This gap limits their effectiveness in addressing real-world analysis tasks.</p>
<p>Although some existing methods incorporate utility-based evaluation [<xref ref-type="bibr" rid="ref-17">17</xref>,<xref ref-type="bibr" rid="ref-19">19</xref>], they rely on absolute utility values that are not normalized with respect to the total quantitative content of each sequence. As a result, it becomes difficult to compare pattern significance across sequences of different lengths or value scales, and the utility threshold may become less consistent in heterogeneous databases. The present work addresses this limitation by introducing a normalized quantitative ratio into the multi-sequence periodic pattern mining framework, so that periodicity, quantitative contribution, and cross-sequence consistency can be considered jointly.</p>
<p>Motivated by these observations, this paper studies the problem of discovering <italic>High-Quantitative Periodic Frequent Patterns</italic> (HQPFPS) across multiple sequences. The proposed formulation jointly considers periodicity constraints and quantitative contributions and requires that a pattern exhibit both regular recurrence and sufficient quantitative significance in a substantial portion of the sequence database. To efficiently mine such patterns, we propose the MHQPFPS algorithm. The algorithm introduces a quantitative ratio to evaluate pattern contributions within individual sequences, derives a sequence-level upper bound to prune unpromising candidates during pattern growth, and employs a compact HQPFPS-list structure to avoid repeated scans of the original database.</p>
<p>The main contributions of this paper can be summarized as follows:<list list-type="bullet">
<list-item>
<p>We formulate the problem of mining High-Quantitative Periodic Frequent Patterns (HQPFPS) across multiple sequences by jointly considering periodicity constraints and quantitative ratios at both the sequence and database levels.</p></list-item>
<list-item>
<p>We propose the MHQPFPS algorithm, which combines a quantitative ratio measure, a sequence-level upper-bound pruning strategy, and a unified list-based structure that maintains support, periodicity, and quantitative statistics, enabling efficient depth-first exploration of the search space.</p></list-item>
<list-item>
<p>We evaluate the proposed approach on real-world and synthetic datasets to analyze the impact of key parameters on runtime, the number of discovered patterns, and memory usage. The results confirm that MHQPFPS can effectively extract meaningful high-quantitative periodic frequent patterns under various parameter configurations.</p></list-item>
</list></p>
<p>The remainder of this paper is organized as follows. <xref ref-type="sec" rid="s2">Section 2</xref> reviews related work. <xref ref-type="sec" rid="s3">Section 3</xref> defines the HQPFPS problem. <xref ref-type="sec" rid="s4">Section 4</xref> presents the MHQPFPS algorithm. <xref ref-type="sec" rid="s5">Section 5</xref> reports the experimental evaluation. <xref ref-type="sec" rid="s6">Section 6</xref> concludes the paper and discusses future research directions.</p>
</sec>
<sec id="s2">
<label>2</label>
<title>Related Work</title>
<p>Pattern mining has been studied from multiple perspectives over the past decades, resulting in several research directions that are closely related to the problem considered in this paper. In particular, our work intersects with studies on periodic pattern mining, quantitative and high-utility pattern mining, and pattern discovery across multiple sequences. Existing surveys on frequent and sequential pattern mining provide a broad background for these topics [<xref ref-type="bibr" rid="ref-1">1</xref>&#x2013;<xref ref-type="bibr" rid="ref-3">3</xref>,<xref ref-type="bibr" rid="ref-5">5</xref>]. In the following, we briefly review the most relevant studies and explain how they relate to the proposed HQPFPS framework.</p>
<sec id="s2_1">
<label>2.1</label>
<title>Periodic Pattern Mining</title>
<p>Periodic pattern mining aims to identify patterns that recur at regular or near-regular intervals in temporal data. Early work introduced the concept of periodic frequent patterns and proposed pruning-based strategies to efficiently discover such patterns in transactional databases [<xref ref-type="bibr" rid="ref-14">14</xref>]. Subsequent studies demonstrated the usefulness of periodic pattern mining in real-world temporal applications, including public transportation analysis and urban mobility modeling [<xref ref-type="bibr" rid="ref-11">11</xref>,<xref ref-type="bibr" rid="ref-15">15</xref>].</p>
<p>While these approaches effectively capture temporal regularity, they are largely designed for single-sequence settings. In most cases, periodicity is evaluated within one long sequence, and the question of whether a pattern exhibits consistent periodic behavior across multiple sequences is not explicitly addressed. Moreover, periodic pattern mining is commonly based on binary item occurrence, without considering quantitative information associated with items. Even studies that extend periodic analysis to multiple sequences [<xref ref-type="bibr" rid="ref-16">16</xref>] typically focus on temporal aspects alone and do not incorporate quantitative constraints. This limits their ability to support applications where both periodicity and quantitative significance are important.</p>
</sec>
<sec id="s2_2">
<label>2.2</label>
<title>Quantitative and High-Utility Pattern Mining</title>
<p>Another relevant line of research focuses on mining patterns based on quantitative or utility-based criteria. Early work on quantitative association rules established mechanisms for evaluating item importance using numerical values rather than frequency alone [<xref ref-type="bibr" rid="ref-18">18</xref>]. This direction later evolved into weighted and high-utility pattern mining, enabling the discovery of patterns that reflect contribution or utility instead of pure occurrence counts [<xref ref-type="bibr" rid="ref-19">19</xref>]. More recently, high-utility sequential pattern mining has been explored in uncertain or dynamic environments, illustrating the flexibility of quantitative evaluation in sequential data analysis [<xref ref-type="bibr" rid="ref-13">13</xref>].</p>
<p>Despite their effectiveness, quantitative and high-utility approaches typically do not consider temporal periodicity. Patterns are evaluated mainly from the perspective of contribution or importance, and sequences are often processed independently. As a result, these methods cannot ensure that a pattern is both quantitatively significant and periodically recurrent across multiple sequences, which is a key requirement in many real-world scenarios.</p>
</sec>
<sec id="s2_3">
<label>2.3</label>
<title>Multi-Sequence and Cross-Sequence Pattern Mining</title>
<p>Pattern discovery across multiple sequences has also received increasing attention. Methods in this category aim to identify patterns that occur in a sufficient number of sequences, thereby capturing population-level or system-level behaviors. Representative examples include studies on correlated periodic patterns in multiple sequences [<xref ref-type="bibr" rid="ref-16">16</xref>] and approaches that combine periodicity with utility measures in multi-sequence settings [<xref ref-type="bibr" rid="ref-17">17</xref>]. These works move beyond single-sequence analysis and highlight the importance of cross-sequence consistency.</p>
<p>Despite these advances, the proposed MHQPFPS algorithm differs from the two most closely related methods, MRCPPS [<xref ref-type="bibr" rid="ref-16">16</xref>] and MHUPFPS [<xref ref-type="bibr" rid="ref-17">17</xref>], in several important aspects. MRCPPS focuses on correlated periodic pattern mining over multiple sequences, but it does not take into account the quantitative contribution of patterns, since pattern significance is evaluated mainly from occurrence information and correlation. MHUPFPS extends periodic pattern mining to the high-utility setting, but it uses absolute utility values rather than a normalized measure. Therefore, pattern significance may be difficult to compare directly across sequences with different lengths or quantitative scales. In contrast, MHQPFPS evaluates each pattern by a normalized quantitative ratio bounded in <inline-formula id="ieqn-8"><mml:math id="mml-ieqn-8"><mml:mo stretchy="false">[</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">]</mml:mo></mml:math></inline-formula>, which provides a more comparable measure across heterogeneous sequences. A second difference lies in the treatment of periodicity regularity. While MRCPPS considers a standard-deviation-related constraint in the rare correlated periodic pattern setting, and MHUPFPS uses maximum periodicity bounds, neither method combines period stability control with normalized quantitative evaluation in the multi-sequence frequent pattern setting considered here. MHQPFPS introduces the period standard deviation threshold <inline-formula id="ieqn-9"><mml:math id="mml-ieqn-9"><mml:mtext>maxStd</mml:mtext></mml:math></inline-formula> to further distinguish patterns with relatively stable periodic behavior from those that only satisfy the maximum period requirement. A third difference is related to the pruning strategy. MHQPFPS derives a sequence-level upper bound for the cross-sequence quantitative ratio of pattern extensions. This upper bound supports safe pruning during the depth-first search process and helps improve mining efficiency. While MRCPPS also employs a sequence-level upper bound (termed upBondRa) based on support and periodicity conditions, its upper bound additionally incorporates the bond correlation constraint and does not extend to quantitative measures, since MRCPPS does not incorporate quantitative evaluation. MHUPFPS does not report a comparable upper-bound pruning strategy.</p>
<p>Overall, these differences indicate that existing multi-sequence studies only partially cover the problem addressed in this work, which motivates the summary and gap analysis presented next.</p>
</sec>
<sec id="s2_4">
<label>2.4</label>
<title>Summary and Gap Analysis</title>
<p><xref ref-type="table" rid="table-1">Table 1</xref> summarizes the main distinctions between MHQPFPS and the most closely related methods from five aspects: support for multiple sequences, periodicity consideration, quantitative measure, period stability constraint, and upper-bound-based pruning.</p>
<table-wrap id="table-1">
<label>Table 1</label>
<caption>
<title>Comparison of MHQPFPS with closely related methods.</title>
</caption>
<table>
<colgroup>
<col align="center"/>
<col align="center"/>
<col align="center"/>
<col align="center"/>
<col align="center"/>
<col align="center"/> </colgroup>
<thead>
<tr>
<th>Algorithm</th>
<th>Multi-Seq</th>
<th>Periodicity</th>
<th>Quantitative</th>
<th>Std Constraint</th>
<th>Upper Bound</th>
</tr>
</thead>
<tbody>
<tr>
<td>PFP [<xref ref-type="bibr" rid="ref-14">14</xref>]</td>
<td><inline-formula id="ieqn-10"><mml:math id="mml-ieqn-10"><mml:mo>&#x00D7;</mml:mo></mml:math></inline-formula></td>
<td><inline-formula id="ieqn-11"><mml:math id="mml-ieqn-11"><mml:mi>&#x2713;</mml:mi></mml:math></inline-formula></td>
<td><inline-formula id="ieqn-12"><mml:math id="mml-ieqn-12"><mml:mo>&#x00D7;</mml:mo></mml:math></inline-formula></td>
<td><inline-formula id="ieqn-13"><mml:math id="mml-ieqn-13"><mml:mo>&#x00D7;</mml:mo></mml:math></inline-formula></td>
<td><inline-formula id="ieqn-14"><mml:math id="mml-ieqn-14"><mml:mo>&#x00D7;</mml:mo></mml:math></inline-formula></td>
</tr>
<tr>
<td>MRCPPS [<xref ref-type="bibr" rid="ref-16">16</xref>]</td>
<td><inline-formula id="ieqn-15"><mml:math id="mml-ieqn-15"><mml:mi>&#x2713;</mml:mi></mml:math></inline-formula></td>
<td><inline-formula id="ieqn-16"><mml:math id="mml-ieqn-16"><mml:mi>&#x2713;</mml:mi></mml:math></inline-formula></td>
<td><inline-formula id="ieqn-17"><mml:math id="mml-ieqn-17"><mml:mo>&#x00D7;</mml:mo></mml:math></inline-formula></td>
<td><inline-formula id="ieqn-18"><mml:math id="mml-ieqn-18"><mml:mi>&#x2713;</mml:mi></mml:math></inline-formula></td>
<td>Partial</td>
</tr>
<tr>
<td>MHUPFPS [<xref ref-type="bibr" rid="ref-17">17</xref>]</td>
<td><inline-formula id="ieqn-19"><mml:math id="mml-ieqn-19"><mml:mi>&#x2713;</mml:mi></mml:math></inline-formula></td>
<td><inline-formula id="ieqn-20"><mml:math id="mml-ieqn-20"><mml:mi>&#x2713;</mml:mi></mml:math></inline-formula></td>
<td>Absolute utility</td>
<td><inline-formula id="ieqn-21"><mml:math id="mml-ieqn-21"><mml:mo>&#x00D7;</mml:mo></mml:math></inline-formula></td>
<td><inline-formula id="ieqn-22"><mml:math id="mml-ieqn-22"><mml:mo>&#x00D7;</mml:mo></mml:math></inline-formula></td>
</tr>
<tr>
<td>MHQPFPS</td>
<td><inline-formula id="ieqn-23"><mml:math id="mml-ieqn-23"><mml:mi>&#x2713;</mml:mi></mml:math></inline-formula></td>
<td><inline-formula id="ieqn-24"><mml:math id="mml-ieqn-24"><mml:mi>&#x2713;</mml:mi></mml:math></inline-formula></td>
<td>Normalized ratio</td>
<td><inline-formula id="ieqn-25"><mml:math id="mml-ieqn-25"><mml:mi>&#x2713;</mml:mi></mml:math></inline-formula></td>
<td><inline-formula id="ieqn-26"><mml:math id="mml-ieqn-26"><mml:mi>&#x2713;</mml:mi></mml:math></inline-formula></td>
</tr>
</tbody>
</table>
<table-wrap-foot>
<fn id="table-1fn1" fn-type="other">
<p>Note: <inline-formula id="ieqn-27"><mml:math id="mml-ieqn-27"><mml:mi>&#x2713;</mml:mi></mml:math></inline-formula> &#x003D; supported; <inline-formula id="ieqn-28"><mml:math id="mml-ieqn-28"><mml:mo>&#x00D7;</mml:mo></mml:math></inline-formula> &#x003D; not supported. For the quantitative dimension, &#x201C;absolute utility&#x201D; denotes evaluation based on raw utility values, whereas &#x201C;normalized ratio&#x201D; denotes the proposed <inline-formula id="ieqn-29"><mml:math id="mml-ieqn-29"><mml:mtext>quRa</mml:mtext></mml:math></inline-formula> measure. For the standard-deviation dimension, MRCPPS includes a related constraint in the rare-pattern setting, but it does not incorporate quantitative evaluation. For the upper-bound dimension, MRCPPS employs a sequence-level upper bound (upBondRa) that incorporates support, periodicity, and bond constraints, but does not extend to quantitative measures; it is therefore marked as &#x201C;partial&#x201D;.</p>
</fn>
</table-wrap-foot>
</table-wrap>
<p>As shown in <xref ref-type="table" rid="table-1">Table 1</xref>, existing studies cover only part of the problem addressed in this work. Some methods model periodicity, whereas others emphasize quantitative importance or cross-sequence behavior. However, these aspects are usually considered separately rather than within a unified mining framework. As a result, prior studies do not jointly address periodic recurrence within each sequence, quantitative contribution in a normalized form, and consistency across multiple sequences in the frequent-pattern setting considered here.</p>

<p>These observations motivate the present study. Accordingly, this work formulates the problem of discovering High-Quantitative Periodic Frequent Patterns across multiple sequences, where periodicity, quantitative contribution, and cross-sequence consistency are considered jointly. To solve this problem efficiently, we further develop an algorithmic framework based on HQPFPS-list and upper-bound-guided pruning.</p>
</sec>
</sec>
<sec id="s3">
<label>3</label>
<title>Definitions and Problem Statement</title>
<p>This section introduces the notation and fundamental concepts used throughout this paper and formally defines the problem of mining High-Quantitative Periodic Frequent Patterns (HQPFPS) from a multi-sequence database. <xref ref-type="table" rid="table-2">Table 2</xref> summarizes the main symbols, including computed quantities, structural components, and user-specified thresholds, used throughout this paper.</p>
<table-wrap id="table-2">
<label>Table 2</label>
<caption>
<title>Notation summary.</title>
</caption>
<table>
<colgroup>
<col align="left"/>
<col align="left"/> </colgroup>
<thead>
<tr>
<th>Symbol</th>
<th>Description</th>
</tr>
</thead>
<tbody>
<tr>
<td colspan="2"><italic>Basic structures</italic></td>
</tr>
<tr>
<td><inline-formula id="ieqn-30"><mml:math id="mml-ieqn-30"><mml:mrow><mml:mi>&#x02110;</mml:mi></mml:mrow></mml:math></inline-formula></td>
<td>Set of all items</td>
</tr>
<tr>
<td><inline-formula id="ieqn-31"><mml:math id="mml-ieqn-31"><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>Y</mml:mi></mml:math></inline-formula></td>
<td>Itemsets (subsets of <inline-formula id="ieqn-32"><mml:math id="mml-ieqn-32"><mml:mrow><mml:mi>&#x02110;</mml:mi></mml:mrow></mml:math></inline-formula>)</td>
</tr>
<tr>
<td><inline-formula id="ieqn-33"><mml:math id="mml-ieqn-33"><mml:mi>S</mml:mi></mml:math></inline-formula></td>
<td>A sequence <inline-formula id="ieqn-34"><mml:math id="mml-ieqn-34"><mml:mi>S</mml:mi><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">&#x27E8;</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>m</mml:mi></mml:msub><mml:mo fence="false" stretchy="false">&#x27E9;</mml:mo></mml:math></inline-formula></td>
</tr>
<tr>
<td><inline-formula id="ieqn-35"><mml:math id="mml-ieqn-35"><mml:mi>D</mml:mi></mml:math></inline-formula></td>
<td>Sequence database <inline-formula id="ieqn-36"><mml:math id="mml-ieqn-36"><mml:mi>D</mml:mi><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula></td>
</tr>
<tr>
<td><inline-formula id="ieqn-37"><mml:math id="mml-ieqn-37"><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>S</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:math></inline-formula></td>
<td>Length of sequence <inline-formula id="ieqn-38"><mml:math id="mml-ieqn-38"><mml:mi>S</mml:mi></mml:math></inline-formula> (number of transactions)</td>
</tr>
<tr>
<td><inline-formula id="ieqn-39"><mml:math id="mml-ieqn-39"><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>D</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:math></inline-formula></td>
<td>Number of sequences in the database</td>
</tr>
<tr>
<td><inline-formula id="ieqn-40"><mml:math id="mml-ieqn-40"><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:math></inline-formula></td>
<td><inline-formula id="ieqn-41"><mml:math id="mml-ieqn-41"><mml:mi>j</mml:mi></mml:math></inline-formula>-th transaction in a sequence (1-based indexing)</td>
</tr>
<tr>
<td colspan="2"><italic>Support and occurrence</italic></td>
</tr>
<tr>
<td><inline-formula id="ieqn-42"><mml:math id="mml-ieqn-42"><mml:mrow><mml:mi mathvariant="normal">T</mml:mi><mml:mi mathvariant="normal">R</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
<td>Ordered list of transaction positions where <inline-formula id="ieqn-43"><mml:math id="mml-ieqn-43"><mml:mi>X</mml:mi></mml:math></inline-formula> occurs</td>
</tr>
<tr>
<td><inline-formula id="ieqn-44"><mml:math id="mml-ieqn-44"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
<td>Support count of <inline-formula id="ieqn-45"><mml:math id="mml-ieqn-45"><mml:mi>X</mml:mi></mml:math></inline-formula> in <inline-formula id="ieqn-46"><mml:math id="mml-ieqn-46"><mml:mi>S</mml:mi></mml:math></inline-formula></td>
</tr>
<tr>
<td><inline-formula id="ieqn-47"><mml:math id="mml-ieqn-47"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
<td>Support ratio <inline-formula id="ieqn-48"><mml:math id="mml-ieqn-48"><mml:mo>=</mml:mo><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mo>/</mml:mo></mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>S</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:math></inline-formula></td>
</tr>
<tr>
<td colspan="2"><italic>Periodicity</italic></td>
</tr>
<tr>
<td><inline-formula id="ieqn-49"><mml:math id="mml-ieqn-49"><mml:msub><mml:mrow><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mi>z</mml:mi></mml:msub></mml:math></inline-formula></td>
<td><inline-formula id="ieqn-50"><mml:math id="mml-ieqn-50"><mml:mi>z</mml:mi></mml:math></inline-formula>-th period of <inline-formula id="ieqn-51"><mml:math id="mml-ieqn-51"><mml:mi>X</mml:mi></mml:math></inline-formula> in <inline-formula id="ieqn-52"><mml:math id="mml-ieqn-52"><mml:mi>S</mml:mi></mml:math></inline-formula> (<inline-formula id="ieqn-53"><mml:math id="mml-ieqn-53"><mml:mi>z</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:mi>k</mml:mi></mml:math></inline-formula>)</td>
</tr>
<tr>
<td><inline-formula id="ieqn-54"><mml:math id="mml-ieqn-54"><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">x</mml:mi><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
<td>Maximum period of <inline-formula id="ieqn-55"><mml:math id="mml-ieqn-55"><mml:mi>X</mml:mi></mml:math></inline-formula> in <inline-formula id="ieqn-56"><mml:math id="mml-ieqn-56"><mml:mi>S</mml:mi></mml:math></inline-formula></td>
</tr>
<tr>
<td><inline-formula id="ieqn-57"><mml:math id="mml-ieqn-57"><mml:mi>&#x03BC;</mml:mi></mml:math></inline-formula></td>
<td>Mean period <inline-formula id="ieqn-58"><mml:math id="mml-ieqn-58"><mml:mo>=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mrow><mml:mi>k</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:mfrac><mml:msubsup><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>z</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:mrow><mml:mrow><mml:mi>k</mml:mi></mml:mrow></mml:msubsup><mml:msub><mml:mrow><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mi>z</mml:mi></mml:msub></mml:math></inline-formula></td>
</tr>
<tr>
<td><inline-formula id="ieqn-59"><mml:math id="mml-ieqn-59"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">t</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">n</mml:mi><mml:mi mathvariant="normal">D</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">v</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
<td>Standard deviation of periods of <inline-formula id="ieqn-60"><mml:math id="mml-ieqn-60"><mml:mi>X</mml:mi></mml:math></inline-formula> in <inline-formula id="ieqn-61"><mml:math id="mml-ieqn-61"><mml:mi>S</mml:mi></mml:math></inline-formula></td>
</tr>
<tr>
<td colspan="2"><italic>Quantitative measures</italic></td>
</tr>
<tr>
<td><inline-formula id="ieqn-62"><mml:math id="mml-ieqn-62"><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>i</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
<td>Quantitative value of item <inline-formula id="ieqn-63"><mml:math id="mml-ieqn-63"><mml:mi>i</mml:mi></mml:math></inline-formula> in transaction <inline-formula id="ieqn-64"><mml:math id="mml-ieqn-64"><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:math></inline-formula> of <inline-formula id="ieqn-65"><mml:math id="mml-ieqn-65"><mml:mi>S</mml:mi></mml:math></inline-formula></td>
</tr>
<tr>
<td><inline-formula id="ieqn-66"><mml:math id="mml-ieqn-66"><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
<td>Quantitative contribution of <inline-formula id="ieqn-67"><mml:math id="mml-ieqn-67"><mml:mi>X</mml:mi></mml:math></inline-formula> in <inline-formula id="ieqn-68"><mml:math id="mml-ieqn-68"><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:math></inline-formula>, <inline-formula id="ieqn-69"><mml:math id="mml-ieqn-69"><mml:mo>=</mml:mo><mml:msub><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x2208;</mml:mo><mml:mi>X</mml:mi></mml:mrow></mml:msub><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>i</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
</tr>
<tr>
<td><inline-formula id="ieqn-70"><mml:math id="mml-ieqn-70"><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
<td>Total quantitative value of transaction <inline-formula id="ieqn-71"><mml:math id="mml-ieqn-71"><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:math></inline-formula>, <inline-formula id="ieqn-72"><mml:math id="mml-ieqn-72"><mml:mo>=</mml:mo><mml:msub><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x2208;</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:mrow></mml:msub><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>i</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
</tr>
<tr>
<td><inline-formula id="ieqn-73"><mml:math id="mml-ieqn-73"><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
<td>Total quantitative value of sequence <inline-formula id="ieqn-74"><mml:math id="mml-ieqn-74"><mml:mi>S</mml:mi></mml:math></inline-formula>, <inline-formula id="ieqn-75"><mml:math id="mml-ieqn-75"><mml:mo>=</mml:mo><mml:msubsup><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>j</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>S</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:mrow></mml:msubsup><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
</tr>
<tr>
<td><inline-formula id="ieqn-76"><mml:math id="mml-ieqn-76"><mml:msub><mml:mi>Q</mml:mi><mml:mi>X</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
<td>Total quantitative contribution of <inline-formula id="ieqn-77"><mml:math id="mml-ieqn-77"><mml:mi>X</mml:mi></mml:math></inline-formula> in <inline-formula id="ieqn-78"><mml:math id="mml-ieqn-78"><mml:mi>S</mml:mi></mml:math></inline-formula></td>
</tr>
<tr>
<td><inline-formula id="ieqn-79"><mml:math id="mml-ieqn-79"><mml:mrow><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
<td>Quantitative ratio of <inline-formula id="ieqn-80"><mml:math id="mml-ieqn-80"><mml:mi>X</mml:mi></mml:math></inline-formula> in <inline-formula id="ieqn-81"><mml:math id="mml-ieqn-81"><mml:mi>S</mml:mi></mml:math></inline-formula>, <inline-formula id="ieqn-82"><mml:math id="mml-ieqn-82"><mml:mo>=</mml:mo><mml:msub><mml:mi>Q</mml:mi><mml:mi>X</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mo>/</mml:mo></mml:mrow><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
</tr>
<tr>
<td colspan="2"><italic>Cross-sequence measures</italic></td>
</tr>
<tr>
<td><inline-formula id="ieqn-83"><mml:math id="mml-ieqn-83"><mml:mrow><mml:mi mathvariant="normal">h</mml:mi><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">r</mml:mi><mml:mi mathvariant="normal">S</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">q</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
<td>Set of sequences where <inline-formula id="ieqn-84"><mml:math id="mml-ieqn-84"><mml:mi>X</mml:mi></mml:math></inline-formula> is an HQPFP</td>
</tr>
<tr>
<td><inline-formula id="ieqn-85"><mml:math id="mml-ieqn-85"><mml:mrow><mml:mi mathvariant="normal">h</mml:mi><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">S</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
<td>High-quantitative periodic sequence ratio</td>
</tr>
<tr>
<td><inline-formula id="ieqn-86"><mml:math id="mml-ieqn-86"><mml:mrow><mml:mi mathvariant="normal">c</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">n</mml:mi><mml:mi mathvariant="normal">d</mml:mi><mml:mi mathvariant="normal">S</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">q</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
<td>Candidate sequence set of pattern <inline-formula id="ieqn-87"><mml:math id="mml-ieqn-87"><mml:mi>X</mml:mi></mml:math></inline-formula></td>
</tr>
<tr>
<td><inline-formula id="ieqn-88"><mml:math id="mml-ieqn-88"><mml:mrow><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
<td>Upper bound of <inline-formula id="ieqn-89"><mml:math id="mml-ieqn-89"><mml:mrow><mml:mi mathvariant="normal">h</mml:mi><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">S</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow></mml:math></inline-formula> for pattern <inline-formula id="ieqn-90"><mml:math id="mml-ieqn-90"><mml:mi>X</mml:mi></mml:math></inline-formula></td>
</tr>
<tr>
<td colspan="2"><italic>Algorithm structures</italic></td>
</tr>
<tr>
<td><inline-formula id="ieqn-91"><mml:math id="mml-ieqn-91"><mml:mrow><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">F</mml:mi><mml:mi mathvariant="normal">L</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
<td>HQPFPS-list structure for pattern <inline-formula id="ieqn-92"><mml:math id="mml-ieqn-92"><mml:mi>X</mml:mi></mml:math></inline-formula></td>
</tr>
<tr>
<td><inline-formula id="ieqn-93"><mml:math id="mml-ieqn-93"><mml:mrow><mml:mi mathvariant="normal">l</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">t</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>P</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></td>
<td>The lexicographically largest item in pattern <inline-formula id="ieqn-94"><mml:math id="mml-ieqn-94"><mml:mi>P</mml:mi></mml:math></inline-formula></td>
</tr>
<tr>
<td colspan="2"><italic>User-specified thresholds</italic></td>
</tr>
<tr>
<td><inline-formula id="ieqn-95"><mml:math id="mml-ieqn-95"><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">i</mml:mi><mml:mi mathvariant="normal">n</mml:mi><mml:mi mathvariant="normal">S</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow></mml:math></inline-formula></td>
<td>Minimum support ratio threshold</td>
</tr>
<tr>
<td><inline-formula id="ieqn-96"><mml:math id="mml-ieqn-96"><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">x</mml:mi><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow></mml:math></inline-formula></td>
<td>Maximum period threshold</td>
</tr>
<tr>
<td><inline-formula id="ieqn-97"><mml:math id="mml-ieqn-97"><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">x</mml:mi><mml:mi mathvariant="normal">S</mml:mi><mml:mi mathvariant="normal">t</mml:mi><mml:mi mathvariant="normal">d</mml:mi></mml:mrow></mml:math></inline-formula></td>
<td>Maximum period standard deviation threshold</td>
</tr>
<tr>
<td><inline-formula id="ieqn-98"><mml:math id="mml-ieqn-98"><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">i</mml:mi><mml:mi mathvariant="normal">n</mml:mi><mml:mi mathvariant="normal">H</mml:mi><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow></mml:math></inline-formula></td>
<td>Minimum quantitative ratio threshold</td>
</tr>
<tr>
<td><inline-formula id="ieqn-99"><mml:math id="mml-ieqn-99"><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">i</mml:mi><mml:mi mathvariant="normal">n</mml:mi><mml:mi mathvariant="normal">S</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow></mml:math></inline-formula></td>
<td>Minimum sequence ratio threshold</td>
</tr>
</tbody>
</table>
</table-wrap>
<p><bold>Definition 1 (Basic Concepts):</bold> <italic>Let <inline-formula id="ieqn-100"><mml:math id="mml-ieqn-100"><mml:mi>I</mml:mi></mml:math></inline-formula> be a finite set of items. An itemset <inline-formula id="ieqn-101"><mml:math id="mml-ieqn-101"><mml:mi>X</mml:mi><mml:mo>&#x2286;</mml:mo><mml:mi>I</mml:mi></mml:math></inline-formula> is a subset of items. If <inline-formula id="ieqn-102"><mml:math id="mml-ieqn-102"><mml:mi>X</mml:mi></mml:math></inline-formula> contains <inline-formula id="ieqn-103"><mml:math id="mml-ieqn-103"><mml:mi>k</mml:mi></mml:math></inline-formula> distinct items <inline-formula id="ieqn-104"><mml:math id="mml-ieqn-104"><mml:mo fence="false" stretchy="false">{</mml:mo><mml:msub><mml:mi>i</mml:mi><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>i</mml:mi><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mi>i</mml:mi><mml:mrow><mml:mi>k</mml:mi></mml:mrow></mml:msub><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula>, it is referred to as a <inline-formula id="ieqn-105"><mml:math id="mml-ieqn-105"><mml:mi>k</mml:mi></mml:math></inline-formula>-itemset. A sequence <inline-formula id="ieqn-106"><mml:math id="mml-ieqn-106"><mml:mi>S</mml:mi><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">&#x27E8;</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>m</mml:mi></mml:msub><mml:mo fence="false" stretchy="false">&#x27E9;</mml:mo></mml:math></inline-formula> is an ordered list of transactions, where each transaction <inline-formula id="ieqn-107"><mml:math id="mml-ieqn-107"><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>&#x2286;</mml:mo><mml:mi>I</mml:mi></mml:math></inline-formula> <inline-formula id="ieqn-108"><mml:math id="mml-ieqn-108"><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo>&#x2264;</mml:mo><mml:mi>j</mml:mi><mml:mo>&#x2264;</mml:mo><mml:mi>m</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. A sequence database is denoted by <inline-formula id="ieqn-109"><mml:math id="mml-ieqn-109"><mml:mi>D</mml:mi><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula>. An itemset <inline-formula id="ieqn-110"><mml:math id="mml-ieqn-110"><mml:mi>X</mml:mi></mml:math></inline-formula> is said to occur in a transaction <inline-formula id="ieqn-111"><mml:math id="mml-ieqn-111"><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:math></inline-formula> if <inline-formula id="ieqn-112"><mml:math id="mml-ieqn-112"><mml:mi>X</mml:mi><mml:mo>&#x2286;</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:math></inline-formula></italic>.</p>
<p><bold>Definition 2 (Occurrences and Support):</bold> <italic>For an itemset <inline-formula id="ieqn-113"><mml:math id="mml-ieqn-113"><mml:mi>X</mml:mi></mml:math></inline-formula> in a sequence <inline-formula id="ieqn-114"><mml:math id="mml-ieqn-114"><mml:mi>S</mml:mi></mml:math></inline-formula>, let</italic>
<disp-formula id="ueqn-1"><mml:math id="mml-ueqn-1" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>TR</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">&#x27E8;</mml:mo><mml:msub><mml:mi>j</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>j</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mi>j</mml:mi><mml:mi>k</mml:mi></mml:msub><mml:mo fence="false" stretchy="false">&#x27E9;</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula><italic>denote the ordered list of 1-based transaction indices at which <inline-formula id="ieqn-115"><mml:math id="mml-ieqn-115"><mml:mi>X</mml:mi></mml:math></inline-formula> occurs. If <inline-formula id="ieqn-116"><mml:math id="mml-ieqn-116"><mml:mi>X</mml:mi></mml:math></inline-formula> does not occur in <inline-formula id="ieqn-117"><mml:math id="mml-ieqn-117"><mml:mi>S</mml:mi></mml:math></inline-formula>, then <inline-formula id="ieqn-118"><mml:math id="mml-ieqn-118"><mml:mrow><mml:mi mathvariant="normal">T</mml:mi><mml:mi mathvariant="normal">R</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> is empty and <inline-formula id="ieqn-119"><mml:math id="mml-ieqn-119"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:math></inline-formula>. The support count of <inline-formula id="ieqn-120"><mml:math id="mml-ieqn-120"><mml:mi>X</mml:mi></mml:math></inline-formula> in <inline-formula id="ieqn-121"><mml:math id="mml-ieqn-121"><mml:mi>S</mml:mi></mml:math></inline-formula> is defined as</italic>
<disp-formula id="ueqn-2"><mml:math id="mml-ueqn-2" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>sup</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mrow><mml:mtext>TR</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p><bold>Definition 3 (Support Ratio):</bold> <italic>The support ratio of an itemset <inline-formula id="ieqn-122"><mml:math id="mml-ieqn-122"><mml:mi>X</mml:mi></mml:math></inline-formula> in a sequence <inline-formula id="ieqn-123"><mml:math id="mml-ieqn-123"><mml:mi>S</mml:mi></mml:math></inline-formula> is defined as</italic>
<disp-formula id="ueqn-3"><mml:math id="mml-ueqn-3" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>supRa</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mfrac><mml:mrow><mml:mrow><mml:mtext>sup</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>S</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:mrow></mml:mfrac><mml:mo>,</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula><italic>where <inline-formula id="ieqn-124"><mml:math id="mml-ieqn-124"><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>S</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:math></inline-formula> denotes the length of sequence <inline-formula id="ieqn-125"><mml:math id="mml-ieqn-125"><mml:mi>S</mml:mi></mml:math></inline-formula>, i.e., the number of transactions it contains. This normalized measure allows support values to be compared across sequences of different lengths.</italic></p>
<p><bold>Definition 4 (Period and Maximum Period):</bold> <italic>Let <inline-formula id="ieqn-126"><mml:math id="mml-ieqn-126"><mml:mrow><mml:mi mathvariant="normal">T</mml:mi><mml:mi mathvariant="normal">R</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">&#x27E8;</mml:mo><mml:msub><mml:mi>j</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>j</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mi>j</mml:mi><mml:mi>k</mml:mi></mml:msub><mml:mo fence="false" stretchy="false">&#x27E9;</mml:mo></mml:math></inline-formula> be the ordered list of transaction positions at which itemset <inline-formula id="ieqn-127"><mml:math id="mml-ieqn-127"><mml:mi>X</mml:mi></mml:math></inline-formula> occurs in sequence <inline-formula id="ieqn-128"><mml:math id="mml-ieqn-128"><mml:mi>S</mml:mi></mml:math></inline-formula>. The periods of <inline-formula id="ieqn-129"><mml:math id="mml-ieqn-129"><mml:mi>X</mml:mi></mml:math></inline-formula> in <inline-formula id="ieqn-130"><mml:math id="mml-ieqn-130"><mml:mi>S</mml:mi></mml:math></inline-formula> are defined as:</italic><list list-type="bullet">
<list-item>
<p><italic>Initial boundary period:</italic> <inline-formula id="ieqn-131"><mml:math id="mml-ieqn-131"><mml:msub><mml:mrow><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mn>0</mml:mn></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi>j</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>&#x2212;</mml:mo><mml:mn>1</mml:mn></mml:math></inline-formula>,</p></list-item>
<list-item>
<p><italic>Inter-occurrence periods:</italic> <inline-formula id="ieqn-132"><mml:math id="mml-ieqn-132"><mml:msub><mml:mrow><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mi>z</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi>j</mml:mi><mml:mrow><mml:mi>z</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>&#x2212;</mml:mo><mml:msub><mml:mi>j</mml:mi><mml:mi>z</mml:mi></mml:msub></mml:math></inline-formula>, <italic>for</italic> <inline-formula id="ieqn-133"><mml:math id="mml-ieqn-133"><mml:mn>1</mml:mn><mml:mo>&#x2264;</mml:mo><mml:mi>z</mml:mi><mml:mo>&#x2264;</mml:mo><mml:mi>k</mml:mi><mml:mo>&#x2212;</mml:mo><mml:mn>1</mml:mn></mml:math></inline-formula>,</p></list-item>
<list-item>
<p><italic>Final boundary period:</italic> <inline-formula id="ieqn-134"><mml:math id="mml-ieqn-134"><mml:msub><mml:mrow><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mi>k</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>S</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mo>&#x2212;</mml:mo><mml:msub><mml:mi>j</mml:mi><mml:mi>k</mml:mi></mml:msub></mml:math></inline-formula>.</p></list-item>
</list></p>
<p><italic>If <inline-formula id="ieqn-135"><mml:math id="mml-ieqn-135"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:math></inline-formula>, the periods are undefined and <inline-formula id="ieqn-136"><mml:math id="mml-ieqn-136"><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">x</mml:mi><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> is set to <inline-formula id="ieqn-137"><mml:math id="mml-ieqn-137"><mml:mi mathvariant="normal">&#x221E;</mml:mi></mml:math></inline-formula>. Otherwise, the maximum period of <inline-formula id="ieqn-138"><mml:math id="mml-ieqn-138"><mml:mi>X</mml:mi></mml:math></inline-formula> in <inline-formula id="ieqn-139"><mml:math id="mml-ieqn-139"><mml:mi>S</mml:mi></mml:math></inline-formula> is defined as</italic>
<disp-formula id="ueqn-4"><mml:math id="mml-ueqn-4" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>maxPer</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:munder><mml:mo movablelimits="true" form="prefix">max</mml:mo><mml:mrow><mml:mn>0</mml:mn><mml:mo>&#x2264;</mml:mo><mml:mi>z</mml:mi><mml:mo>&#x2264;</mml:mo><mml:mi>k</mml:mi></mml:mrow></mml:munder><mml:msub><mml:mrow><mml:mtext>per</mml:mtext></mml:mrow><mml:mi>z</mml:mi></mml:msub><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p><bold>Definition 5 (Period Standard Deviation):</bold> <italic>Given the set of periods <inline-formula id="ieqn-140"><mml:math id="mml-ieqn-140"><mml:mo fence="false" stretchy="false">{</mml:mo><mml:msub><mml:mrow><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mn>0</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mrow><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mrow><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mi>k</mml:mi></mml:msub><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula> of <inline-formula id="ieqn-141"><mml:math id="mml-ieqn-141"><mml:mi>X</mml:mi></mml:math></inline-formula> in a sequence <inline-formula id="ieqn-142"><mml:math id="mml-ieqn-142"><mml:mi>S</mml:mi></mml:math></inline-formula>, the period standard deviation is defined as</italic>
<disp-formula id="ueqn-5"><mml:math id="mml-ueqn-5" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>stanDev</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:msqrt><mml:mfrac><mml:mn>1</mml:mn><mml:mrow><mml:mi>k</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:mfrac><mml:munderover><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>z</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:mrow><mml:mrow><mml:mi>k</mml:mi></mml:mrow></mml:munderover><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mrow><mml:mtext>per</mml:mtext></mml:mrow><mml:mi>z</mml:mi></mml:msub><mml:mo>&#x2212;</mml:mo><mml:mi>&#x03BC;</mml:mi><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mn>2</mml:mn></mml:msup></mml:msqrt><mml:mo>,</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula><italic>where <inline-formula id="ieqn-143"><mml:math id="mml-ieqn-143"><mml:mi>&#x03BC;</mml:mi><mml:mo>=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mrow><mml:mi>k</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:mfrac><mml:msubsup><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>z</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:mrow><mml:mrow><mml:mi>k</mml:mi></mml:mrow></mml:msubsup><mml:msub><mml:mrow><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mi>z</mml:mi></mml:msub></mml:math></inline-formula> is the mean period. If <inline-formula id="ieqn-144"><mml:math id="mml-ieqn-144"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:math></inline-formula>, the periods are undefined and <inline-formula id="ieqn-145"><mml:math id="mml-ieqn-145"><mml:mi>X</mml:mi></mml:math></inline-formula> cannot satisfy any HQPFP constraint in <inline-formula id="ieqn-146"><mml:math id="mml-ieqn-146"><mml:mi>S</mml:mi></mml:math></inline-formula>.</italic></p>
<p><bold>Definition 6 (Quantitative Values):</bold> <italic>Each item <inline-formula id="ieqn-147"><mml:math id="mml-ieqn-147"><mml:mi>i</mml:mi><mml:mo>&#x2208;</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:math></inline-formula> is associated with a positive quantitative value <inline-formula id="ieqn-148"><mml:math id="mml-ieqn-148"><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>i</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. The quantitative value of a transaction <inline-formula id="ieqn-149"><mml:math id="mml-ieqn-149"><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:math></inline-formula> is defined as</italic>
<disp-formula id="ueqn-6"><mml:math id="mml-ueqn-6" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:munder><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x2208;</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:mrow></mml:munder><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>i</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>,</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula><italic>and the quantitative value of a sequence <inline-formula id="ieqn-150"><mml:math id="mml-ieqn-150"><mml:mi>S</mml:mi></mml:math></inline-formula> is defined as</italic>
<disp-formula id="ueqn-7"><mml:math id="mml-ueqn-7" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:munderover><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>j</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>S</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:mrow></mml:munderover><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p><bold>Definition 7 (Quantitative Ratio):</bold> <italic>The quantitative contribution of an itemset <inline-formula id="ieqn-151"><mml:math id="mml-ieqn-151"><mml:mi>X</mml:mi></mml:math></inline-formula> in a transaction <inline-formula id="ieqn-152"><mml:math id="mml-ieqn-152"><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub></mml:math></inline-formula> is defined as</italic>
<disp-formula id="ueqn-8"><mml:math id="mml-ueqn-8" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:munder><mml:mo>&#x2211;</mml:mo><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x2208;</mml:mo><mml:mi>X</mml:mi></mml:mrow></mml:munder><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>i</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p><italic>The total quantitative contribution of <inline-formula id="ieqn-153"><mml:math id="mml-ieqn-153"><mml:mi>X</mml:mi></mml:math></inline-formula> across all its occurrences in sequence <inline-formula id="ieqn-154"><mml:math id="mml-ieqn-154"><mml:mi>S</mml:mi></mml:math></inline-formula> is</italic>
<disp-formula id="ueqn-9"><mml:math id="mml-ueqn-9" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:msub><mml:mi>Q</mml:mi><mml:mi>X</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:munder><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>j</mml:mi><mml:mo>&#x2208;</mml:mo><mml:mrow><mml:mtext>TR</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:mrow></mml:munder><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p><italic>The quantitative ratio of <inline-formula id="ieqn-155"><mml:math id="mml-ieqn-155"><mml:mi>X</mml:mi></mml:math></inline-formula> in <inline-formula id="ieqn-156"><mml:math id="mml-ieqn-156"><mml:mi>S</mml:mi></mml:math></inline-formula> is then defined as</italic>
<disp-formula id="ueqn-10"><mml:math id="mml-ueqn-10" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>quRa</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mfrac><mml:mrow><mml:msub><mml:mi>Q</mml:mi><mml:mi>X</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mrow><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:mrow></mml:mfrac><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p>For two disjoint itemsets <inline-formula id="ieqn-157"><mml:math id="mml-ieqn-157"><mml:mi>X</mml:mi></mml:math></inline-formula> and <inline-formula id="ieqn-158"><mml:math id="mml-ieqn-158"><mml:mi>Y</mml:mi></mml:math></inline-formula> with <inline-formula id="ieqn-159"><mml:math id="mml-ieqn-159"><mml:mi>X</mml:mi><mml:mo>&#x2229;</mml:mo><mml:mi>Y</mml:mi><mml:mo>=</mml:mo><mml:mi mathvariant="normal">&#x2205;</mml:mi></mml:math></inline-formula>, the quantitative contributions satisfy the following additive properties:<list list-type="simple">
<list-item>
<label>1.</label>
<p><italic>Transaction level:</italic>
<disp-formula id="ueqn-11"><mml:math id="mml-ueqn-11" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>&#x222A;</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>+</mml:mo><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
</list-item>
<list-item>
<label>2.</label>
<p><italic>Sequence level:</italic>
<disp-formula id="ueqn-12"><mml:math id="mml-ueqn-12" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:msub><mml:mi>Q</mml:mi><mml:mrow><mml:mi>X</mml:mi><mml:mo>&#x222A;</mml:mo><mml:mi>Y</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:munder><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>j</mml:mi><mml:mo>&#x2208;</mml:mo><mml:mrow><mml:mtext>TR</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>&#x222A;</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:mrow></mml:munder><mml:mstyle scriptlevel="0"><mml:mrow><mml:mo maxsize="1.2em" minsize="1.2em">(</mml:mo></mml:mrow></mml:mstyle><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>+</mml:mo><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mstyle scriptlevel="0"><mml:mrow><mml:mo maxsize="1.2em" minsize="1.2em">)</mml:mo></mml:mrow></mml:mstyle><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
</list-item>
</list></p>
<p>Note that <inline-formula id="ieqn-160"><mml:math id="mml-ieqn-160"><mml:mrow><mml:mi mathvariant="normal">T</mml:mi><mml:mi mathvariant="normal">R</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>&#x222A;</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2286;</mml:mo><mml:mrow><mml:mi mathvariant="normal">T</mml:mi><mml:mi mathvariant="normal">R</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2229;</mml:mo><mml:mrow><mml:mi mathvariant="normal">T</mml:mi><mml:mi mathvariant="normal">R</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, since the union pattern can occur only when both <inline-formula id="ieqn-161"><mml:math id="mml-ieqn-161"><mml:mi>X</mml:mi></mml:math></inline-formula> and <inline-formula id="ieqn-162"><mml:math id="mml-ieqn-162"><mml:mi>Y</mml:mi></mml:math></inline-formula> appear in the same transaction.</p>
<p>It is worth noting that the proposed quantitative ratio is not intended to redefine the concept of utility, but rather to provide a normalized quantitative measure tailored to multi-sequence periodic pattern mining. In contrast to traditional utility metrics based on absolute values, <inline-formula id="ieqn-163"><mml:math id="mml-ieqn-163"><mml:mrow><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> normalizes the quantitative contribution of a pattern with respect to the total quantity of the sequence. This design improves comparability across sequences with different lengths or quantitative scales, and allows quantitative evaluation to be integrated more naturally with periodicity and cross-sequence consistency in a unified framework.</p>
<p>The choice of <inline-formula id="ieqn-164"><mml:math id="mml-ieqn-164"><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> as the denominator in <inline-formula id="ieqn-165"><mml:math id="mml-ieqn-165"><mml:mrow><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> is motivated by three considerations.</p>
<p><bold>(1) Bounded range.</bold> Since the total contribution of any pattern in a sequence cannot exceed the total quantitative value of that sequence, we have <inline-formula id="ieqn-166"><mml:math id="mml-ieqn-166"><mml:msub><mml:mi>Q</mml:mi><mml:mi>X</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2264;</mml:mo><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. Therefore, <inline-formula id="ieqn-167"><mml:math id="mml-ieqn-167"><mml:mrow><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2208;</mml:mo><mml:mo stretchy="false">[</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">]</mml:mo></mml:math></inline-formula>. This gives <inline-formula id="ieqn-168"><mml:math id="mml-ieqn-168"><mml:mrow><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> a clear normalized interpretation as the fraction of the total quantitative mass of <inline-formula id="ieqn-169"><mml:math id="mml-ieqn-169"><mml:mi>S</mml:mi></mml:math></inline-formula> that is attributable to pattern <inline-formula id="ieqn-170"><mml:math id="mml-ieqn-170"><mml:mi>X</mml:mi></mml:math></inline-formula>.</p>
<p><bold>(2) Cross-sequence comparability.</bold> Normalizing by <inline-formula id="ieqn-171"><mml:math id="mml-ieqn-171"><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> reduces the dependence of the measure on sequence length and on the absolute scale of quantitative values. Alternative denominators, such as the maximum transaction quantity <inline-formula id="ieqn-172"><mml:math id="mml-ieqn-172"><mml:munder><mml:mo movablelimits="true" form="prefix">max</mml:mo><mml:mi>j</mml:mi></mml:munder><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> or an average per-occurrence quantity, may overemphasize isolated high-value transactions or short sequences, which makes comparison across heterogeneous sequences less reliable. By contrast, <inline-formula id="ieqn-173"><mml:math id="mml-ieqn-173"><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> reflects the cumulative quantitative content of the entire sequence, thereby providing a more stable basis for cross-sequence comparison.</p>
<p><bold>(3) Consistency with upper-bound analysis.</bold> As shown in Definition 7, the quantitative contribution satisfies the additive property <inline-formula id="ieqn-174"><mml:math id="mml-ieqn-174"><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>&#x222A;</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>+</mml:mo><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> at the transaction level. Using the fixed sequence-level quantity <inline-formula id="ieqn-175"><mml:math id="mml-ieqn-175"><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> as the denominator preserves this normalization across pattern extensions and facilitates the derivation of a valid upper bound in <xref ref-type="sec" rid="s4_2">Section 4.2</xref>. This is important for maintaining the monotonic relationship needed for safe pruning during the search process.</p>
<p><bold>Definition 8 (HQPFP in a Single Sequence):</bold> <italic>Given user-specified thresholds <inline-formula id="ieqn-176"><mml:math id="mml-ieqn-176"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>u</mml:mi><mml:mi>p</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula>, <inline-formula id="ieqn-177"><mml:math id="mml-ieqn-177"><mml:mi>m</mml:mi><mml:mi>a</mml:mi><mml:mi>x</mml:mi><mml:mi>P</mml:mi><mml:mi>r</mml:mi></mml:math></inline-formula>, <inline-formula id="ieqn-178"><mml:math id="mml-ieqn-178"><mml:mi>m</mml:mi><mml:mi>a</mml:mi><mml:mi>x</mml:mi><mml:mi>S</mml:mi><mml:mi>t</mml:mi><mml:mi>d</mml:mi></mml:math></inline-formula>, and <inline-formula id="ieqn-179"><mml:math id="mml-ieqn-179"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>H</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula>, an itemset <inline-formula id="ieqn-180"><mml:math id="mml-ieqn-180"><mml:mi>X</mml:mi></mml:math></inline-formula> is called a High-Quantitative Periodic Frequent Pattern (HQPFP) in a sequence <inline-formula id="ieqn-181"><mml:math id="mml-ieqn-181"><mml:mi>S</mml:mi></mml:math></inline-formula> if all of the following conditions are satisfied:</italic><list list-type="simple">
<list-item>
<label>1.</label>
<p><inline-formula id="ieqn-182"><mml:math id="mml-ieqn-182"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2265;</mml:mo><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>u</mml:mi><mml:mi>p</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula>,</p></list-item>
<list-item>
<label>2.</label>
<p><inline-formula id="ieqn-183"><mml:math id="mml-ieqn-183"><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">x</mml:mi><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2264;</mml:mo><mml:mi>m</mml:mi><mml:mi>a</mml:mi><mml:mi>x</mml:mi><mml:mi>P</mml:mi><mml:mi>r</mml:mi></mml:math></inline-formula>,</p></list-item>
<list-item>
<label>3.</label>
<p><inline-formula id="ieqn-184"><mml:math id="mml-ieqn-184"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">t</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">n</mml:mi><mml:mi mathvariant="normal">D</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">v</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2264;</mml:mo><mml:mi>m</mml:mi><mml:mi>a</mml:mi><mml:mi>x</mml:mi><mml:mi>S</mml:mi><mml:mi>t</mml:mi><mml:mi>d</mml:mi></mml:math></inline-formula>,</p></list-item>
<list-item>
<label>4.</label>
<p><inline-formula id="ieqn-185"><mml:math id="mml-ieqn-185"><mml:mrow><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2265;</mml:mo><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>H</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula>.</p></list-item>
</list></p>
<p><italic>Let</italic>
<disp-formula id="ueqn-13"><mml:math id="mml-ueqn-13" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mi>h</mml:mi><mml:mi>q</mml:mi><mml:mi>P</mml:mi><mml:mi>r</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>S</mml:mi><mml:mo>&#x2208;</mml:mo><mml:mi>D</mml:mi><mml:mo>&#x2223;</mml:mo><mml:mi>X</mml:mi><mml:mrow><mml:mtext>&#xA0;is an HQPFP in&#xA0;</mml:mtext></mml:mrow><mml:mi>S</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula><italic>denote the set of sequences in which <inline-formula id="ieqn-186"><mml:math id="mml-ieqn-186"><mml:mi>X</mml:mi></mml:math></inline-formula> satisfies all HQPFP constraints.</italic></p>
<p><bold>Definition 9 (HQPFPS across Multiple Sequences):</bold> <italic>The high-quantitative periodic sequence ratio of a pattern <inline-formula id="ieqn-187"><mml:math id="mml-ieqn-187"><mml:mi>X</mml:mi></mml:math></inline-formula> in a database <inline-formula id="ieqn-188"><mml:math id="mml-ieqn-188"><mml:mi>D</mml:mi></mml:math></inline-formula> is defined as</italic>
<disp-formula id="ueqn-14"><mml:math id="mml-ueqn-14" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mi>h</mml:mi><mml:mi>q</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mfrac><mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>h</mml:mi><mml:mi>q</mml:mi><mml:mi>P</mml:mi><mml:mi>r</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>D</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:mrow></mml:mfrac><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p>Given a threshold <inline-formula id="ieqn-189"><mml:math id="mml-ieqn-189"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula>, <inline-formula id="ieqn-190"><mml:math id="mml-ieqn-190"><mml:mi>X</mml:mi></mml:math></inline-formula> is called a High-Quantitative Periodic Frequent Pattern across the database (HQPFPS) if
<disp-formula id="ueqn-15"><mml:math id="mml-ueqn-15" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mi>h</mml:mi><mml:mi>q</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2265;</mml:mo><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p><bold>Problem 1:</bold> Given a sequence database <inline-formula id="ieqn-191"><mml:math id="mml-ieqn-191"><mml:mi>D</mml:mi></mml:math></inline-formula> and user-specified thresholds <inline-formula id="ieqn-192"><mml:math id="mml-ieqn-192"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>u</mml:mi><mml:mi>p</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula>, <inline-formula id="ieqn-193"><mml:math id="mml-ieqn-193"><mml:mi>m</mml:mi><mml:mi>a</mml:mi><mml:mi>x</mml:mi><mml:mi>P</mml:mi><mml:mi>r</mml:mi></mml:math></inline-formula>, <inline-formula id="ieqn-194"><mml:math id="mml-ieqn-194"><mml:mi>m</mml:mi><mml:mi>a</mml:mi><mml:mi>x</mml:mi><mml:mi>S</mml:mi><mml:mi>t</mml:mi><mml:mi>d</mml:mi></mml:math></inline-formula>, <inline-formula id="ieqn-195"><mml:math id="mml-ieqn-195"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>H</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula>, and <inline-formula id="ieqn-196"><mml:math id="mml-ieqn-196"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula>, the objective is to discover all itemsets <inline-formula id="ieqn-197"><mml:math id="mml-ieqn-197"><mml:mi>X</mml:mi></mml:math></inline-formula> such that <inline-formula id="ieqn-198"><mml:math id="mml-ieqn-198"><mml:mi>X</mml:mi></mml:math></inline-formula> satisfies the HQPFP constraints in the sequences where it appears and, in addition,
<disp-formula id="ueqn-16"><mml:math id="mml-ueqn-16" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mi>h</mml:mi><mml:mi>q</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2265;</mml:mo><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p>The collection of all such patterns constitutes the complete set of HQPFPS in <inline-formula id="ieqn-199"><mml:math id="mml-ieqn-199"><mml:mi>D</mml:mi></mml:math></inline-formula>.</p>
<p><bold>Example 1:</bold> <xref ref-type="fig" rid="fig-1">Fig. 1</xref> illustrates a sequence database consisting of four sequences <inline-formula id="ieqn-200"><mml:math id="mml-ieqn-200"><mml:msub><mml:mi>S</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math></inline-formula>&#x2013;<inline-formula id="ieqn-201"><mml:math id="mml-ieqn-201"><mml:msub><mml:mi>S</mml:mi><mml:mn>4</mml:mn></mml:msub></mml:math></inline-formula>. Given the thresholds
<disp-formula id="ueqn-17"><mml:math id="mml-ueqn-17" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mi>m</mml:mi><mml:mi>a</mml:mi><mml:mi>x</mml:mi><mml:mi>P</mml:mi><mml:mi>r</mml:mi><mml:mo>=</mml:mo><mml:mn>3</mml:mn><mml:mo>,</mml:mo><mml:mspace width="1em" /><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>u</mml:mi><mml:mi>p</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi><mml:mo>=</mml:mo><mml:mn>0.6</mml:mn><mml:mo>,</mml:mo><mml:mspace width="1em" /><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi><mml:mo>=</mml:mo><mml:mn>0.35</mml:mn><mml:mo>,</mml:mo><mml:mspace width="1em" /><mml:mi>m</mml:mi><mml:mi>a</mml:mi><mml:mi>x</mml:mi><mml:mi>S</mml:mi><mml:mi>t</mml:mi><mml:mi>d</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mspace width="1em" /><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>H</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi><mml:mo>=</mml:mo><mml:mn>0.2</mml:mn><mml:mo>,</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>we consider the pattern <inline-formula id="ieqn-202"><mml:math id="mml-ieqn-202"><mml:mi>X</mml:mi><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>a</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula>.</p>
<fig id="fig-1">
<label>Figure 1</label>
<caption>
<title>An example illustrating HQPFP and HQPFPS evaluation.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_77790-fig-1.tif"/>
</fig>
<p>In sequence <inline-formula id="ieqn-203"><mml:math id="mml-ieqn-203"><mml:msub><mml:mi>S</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math></inline-formula>, pattern <inline-formula id="ieqn-204"><mml:math id="mml-ieqn-204"><mml:mi>X</mml:mi></mml:math></inline-formula> appears in transactions <inline-formula id="ieqn-205"><mml:math id="mml-ieqn-205"><mml:mn>1</mml:mn></mml:math></inline-formula>&#x2013;<inline-formula id="ieqn-206"><mml:math id="mml-ieqn-206"><mml:mn>4</mml:mn></mml:math></inline-formula>, i.e., <inline-formula id="ieqn-207"><mml:math id="mml-ieqn-207"><mml:mrow><mml:mi mathvariant="normal">T</mml:mi><mml:mi mathvariant="normal">R</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">&#x27E8;</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mn>2</mml:mn><mml:mo>,</mml:mo><mml:mn>3</mml:mn><mml:mo>,</mml:mo><mml:mn>4</mml:mn><mml:mo fence="false" stretchy="false">&#x27E9;</mml:mo></mml:math></inline-formula>, yielding <inline-formula id="ieqn-208"><mml:math id="mml-ieqn-208"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mn>4</mml:mn><mml:mrow><mml:mo>/</mml:mo></mml:mrow><mml:mn>5</mml:mn></mml:math></inline-formula>. All periods are no greater than <inline-formula id="ieqn-209"><mml:math id="mml-ieqn-209"><mml:mn>1</mml:mn></mml:math></inline-formula>, and both the period standard deviation and quantitative ratio satisfy the corresponding thresholds. Therefore, <inline-formula id="ieqn-210"><mml:math id="mml-ieqn-210"><mml:mi>X</mml:mi></mml:math></inline-formula> is an HQPFP in <inline-formula id="ieqn-211"><mml:math id="mml-ieqn-211"><mml:msub><mml:mi>S</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math></inline-formula>.</p>
<p>In <inline-formula id="ieqn-212"><mml:math id="mml-ieqn-212"><mml:msub><mml:mi>S</mml:mi><mml:mn>3</mml:mn></mml:msub></mml:math></inline-formula>, <inline-formula id="ieqn-213"><mml:math id="mml-ieqn-213"><mml:mi>X</mml:mi></mml:math></inline-formula> occurs at transactions <inline-formula id="ieqn-214"><mml:math id="mml-ieqn-214"><mml:mn>2</mml:mn></mml:math></inline-formula>, <inline-formula id="ieqn-215"><mml:math id="mml-ieqn-215"><mml:mn>3</mml:mn></mml:math></inline-formula>, and <inline-formula id="ieqn-216"><mml:math id="mml-ieqn-216"><mml:mn>5</mml:mn></mml:math></inline-formula>, giving <inline-formula id="ieqn-217"><mml:math id="mml-ieqn-217"><mml:mrow><mml:mi mathvariant="normal">T</mml:mi><mml:mi mathvariant="normal">R</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mn>3</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">&#x27E8;</mml:mo><mml:mn>2</mml:mn><mml:mo>,</mml:mo><mml:mn>3</mml:mn><mml:mo>,</mml:mo><mml:mn>5</mml:mn><mml:mo fence="false" stretchy="false">&#x27E9;</mml:mo></mml:math></inline-formula> and <inline-formula id="ieqn-218"><mml:math id="mml-ieqn-218"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mn>3</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mn>3</mml:mn><mml:mrow><mml:mo>/</mml:mo></mml:mrow><mml:mn>5</mml:mn></mml:math></inline-formula>. The maximum period equals <inline-formula id="ieqn-219"><mml:math id="mml-ieqn-219"><mml:mn>2</mml:mn></mml:math></inline-formula>, and the remaining constraints are also satisfied. Hence, <inline-formula id="ieqn-220"><mml:math id="mml-ieqn-220"><mml:mi>X</mml:mi></mml:math></inline-formula> is an HQPFP in <inline-formula id="ieqn-221"><mml:math id="mml-ieqn-221"><mml:msub><mml:mi>S</mml:mi><mml:mn>3</mml:mn></mml:msub></mml:math></inline-formula>.</p>
<p>Similarly, in <inline-formula id="ieqn-222"><mml:math id="mml-ieqn-222"><mml:msub><mml:mi>S</mml:mi><mml:mn>4</mml:mn></mml:msub></mml:math></inline-formula>, <inline-formula id="ieqn-223"><mml:math id="mml-ieqn-223"><mml:mi>X</mml:mi></mml:math></inline-formula> appears in transactions <inline-formula id="ieqn-224"><mml:math id="mml-ieqn-224"><mml:mn>1</mml:mn></mml:math></inline-formula>&#x2013;<inline-formula id="ieqn-225"><mml:math id="mml-ieqn-225"><mml:mn>3</mml:mn></mml:math></inline-formula>, resulting in <inline-formula id="ieqn-226"><mml:math id="mml-ieqn-226"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mn>4</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mn>3</mml:mn><mml:mrow><mml:mo>/</mml:mo></mml:mrow><mml:mn>5</mml:mn></mml:math></inline-formula> and <inline-formula id="ieqn-227"><mml:math id="mml-ieqn-227"><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">x</mml:mi><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mn>4</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mn>2</mml:mn></mml:math></inline-formula>, while both the period standard deviation and quantitative ratio meet the required thresholds. As a result, <inline-formula id="ieqn-228"><mml:math id="mml-ieqn-228"><mml:mi>X</mml:mi></mml:math></inline-formula> is an HQPFP in <inline-formula id="ieqn-229"><mml:math id="mml-ieqn-229"><mml:msub><mml:mi>S</mml:mi><mml:mn>4</mml:mn></mml:msub></mml:math></inline-formula>.</p>
<p>Consequently,
<disp-formula id="ueqn-18"><mml:math id="mml-ueqn-18" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mi>h</mml:mi><mml:mi>q</mml:mi><mml:mi>P</mml:mi><mml:mi>r</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mn>3</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mn>4</mml:mn></mml:msub><mml:mo fence="false" stretchy="false">}</mml:mo><mml:mo>,</mml:mo><mml:mspace width="1em" /><mml:mi>h</mml:mi><mml:mi>q</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mfrac><mml:mn>3</mml:mn><mml:mn>4</mml:mn></mml:mfrac><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p>Since <inline-formula id="ieqn-230"><mml:math id="mml-ieqn-230"><mml:mi>h</mml:mi><mml:mi>q</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2265;</mml:mo><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula>, pattern <inline-formula id="ieqn-231"><mml:math id="mml-ieqn-231"><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>a</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula> is identified as an HQPFPS in the database.</p>
</sec>
<sec id="s4">
<label>4</label>
<title>Proposed Algorithm MHQPFPS</title>
<p>High-Quantitative Periodic Frequent Patterns across Sequences, abbreviated as HQPFPS, refer to patterns that jointly satisfy support-ratio, periodicity, period-stability, quantitative-contribution, and cross-sequence-consistency constraints. Efficiently mining HQPFPS from a multi-sequence database therefore requires a carefully designed search strategy that combines effective pruning with compact data representation. In this section, we present the MHQPFPS algorithm, which integrates a depth-first pattern-growth framework, an upper-bound pruning strategy derived from anti-monotonic properties, and an HQPFPS-list structure that maintains detailed occurrence and quantitative information for candidate patterns across sequences.</p>
<sec id="s4_1">
<label>4.1</label>
<title>Overview of the Mining Strategy</title>
<p>MHQPFPS follows a depth-first pattern-growth strategy, similar to classical prefix-based mining frameworks. The mining process starts from all single-item patterns and recursively extends a current prefix pattern <inline-formula id="ieqn-232"><mml:math id="mml-ieqn-232"><mml:mi>P</mml:mi></mml:math></inline-formula> by appending items with lexicographically larger identifiers. For a pattern <inline-formula id="ieqn-233"><mml:math id="mml-ieqn-233"><mml:mi>P</mml:mi><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:msub><mml:mi>i</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>i</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mi>i</mml:mi><mml:mi>k</mml:mi></mml:msub><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula> with items ordered lexicographically such that <inline-formula id="ieqn-234"><mml:math id="mml-ieqn-234"><mml:msub><mml:mi>i</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>&#x003C;</mml:mo><mml:msub><mml:mi>i</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>&#x003C;</mml:mo><mml:mo>&#x22EF;</mml:mo><mml:mo>&#x003C;</mml:mo><mml:msub><mml:mi>i</mml:mi><mml:mi>k</mml:mi></mml:msub></mml:math></inline-formula>, we denote by <inline-formula id="ieqn-235"><mml:math id="mml-ieqn-235"><mml:mtext>last</mml:mtext><mml:mo stretchy="false">(</mml:mo><mml:mi>P</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> the largest item <inline-formula id="ieqn-236"><mml:math id="mml-ieqn-236"><mml:msub><mml:mi>i</mml:mi><mml:mi>k</mml:mi></mml:msub></mml:math></inline-formula>. The extension of <inline-formula id="ieqn-237"><mml:math id="mml-ieqn-237"><mml:mi>P</mml:mi></mml:math></inline-formula> therefore considers only items <inline-formula id="ieqn-238"><mml:math id="mml-ieqn-238"><mml:mi>i</mml:mi></mml:math></inline-formula> satisfying <inline-formula id="ieqn-239"><mml:math id="mml-ieqn-239"><mml:mi>i</mml:mi><mml:mo>&#x003E;</mml:mo><mml:mtext>last</mml:mtext><mml:mo stretchy="false">(</mml:mo><mml:mi>P</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, ensuring that each itemset is enumerated exactly once. For each extended pattern <inline-formula id="ieqn-240"><mml:math id="mml-ieqn-240"><mml:mi>P</mml:mi><mml:mo>&#x222A;</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>i</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula>, an HQPFPS-list is constructed to efficiently compute all required statistics of the pattern in each sequence of the database.</p>
<p>A key observation underlying the pruning strategy is the anti-monotonicity of the support ratio defined in <xref ref-type="sec" rid="s3">Section 3</xref>. Specifically, for any two patterns <inline-formula id="ieqn-241"><mml:math id="mml-ieqn-241"><mml:mi>X</mml:mi></mml:math></inline-formula> and <inline-formula id="ieqn-242"><mml:math id="mml-ieqn-242"><mml:mi>Y</mml:mi></mml:math></inline-formula> such that <inline-formula id="ieqn-243"><mml:math id="mml-ieqn-243"><mml:mi>Y</mml:mi><mml:mo>&#x2287;</mml:mo><mml:mi>X</mml:mi></mml:math></inline-formula>, and for any sequence <inline-formula id="ieqn-244"><mml:math id="mml-ieqn-244"><mml:mi>S</mml:mi></mml:math></inline-formula>, the following property holds:<disp-formula id="ueqn-19"><mml:math id="mml-ueqn-19" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>supRa</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2264;</mml:mo><mml:mrow><mml:mtext>supRa</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p>This property implies that, as a pattern is extended, its ability to satisfy support-related and periodicity-related constraints cannot improve. Based on this observation, an upper bound on the achievable cross-sequence ratio of any pattern extension can be derived, which enables the algorithm to prune unpromising branches early and significantly reduce the search space.</p>
</sec>
<sec id="s4_2">
<label>4.2</label>
<title>Upper-Bound Pruning Based on Anti-Monotonicity</title>
<p><bold>Definition 10 (Candidate Sequence Set):</bold> <italic>For a pattern <inline-formula id="ieqn-245"><mml:math id="mml-ieqn-245"><mml:mi>X</mml:mi></mml:math></inline-formula>, its candidate-supporting sequence set is defined as</italic>
<disp-formula id="ueqn-20"><mml:math id="mml-ueqn-20" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>candSeq</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>S</mml:mi><mml:mo>&#x2208;</mml:mo><mml:mi>D</mml:mi><mml:mo>&#x2223;</mml:mo><mml:mrow><mml:mtext>supRa</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2265;</mml:mo><mml:mrow><mml:mtext>minSupRa</mml:mtext></mml:mrow><mml:mtext>&#x00A0;</mml:mtext><mml:mo>&#x2227;</mml:mo><mml:mtext>&#x00A0;</mml:mtext><mml:mrow><mml:mtext>maxPer</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2264;</mml:mo><mml:mrow><mml:mtext>maxPr</mml:mtext></mml:mrow><mml:mo fence="false" stretchy="false">}</mml:mo><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p><italic>Remark</italic>: Only <inline-formula id="ieqn-246"><mml:math id="mml-ieqn-246"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> and <inline-formula id="ieqn-247"><mml:math id="mml-ieqn-247"><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">x</mml:mi><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> are included in <inline-formula id="ieqn-248"><mml:math id="mml-ieqn-248"><mml:mrow><mml:mi mathvariant="normal">c</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">n</mml:mi><mml:mi mathvariant="normal">d</mml:mi><mml:mi mathvariant="normal">S</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">q</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, since both measures satisfy anti-monotonicity with respect to pattern extension. In contrast, <inline-formula id="ieqn-249"><mml:math id="mml-ieqn-249"><mml:mrow><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> and <inline-formula id="ieqn-250"><mml:math id="mml-ieqn-250"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">t</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">n</mml:mi><mml:mi mathvariant="normal">D</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">v</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> are not anti-monotonic and therefore cannot be used to derive valid upper bounds for pruning. This will be described later in the pruning procedure</p>
<p><bold>Definition 11 (Upper-Bound Sequence Ratio):</bold> <italic>The upper bound on the high-quantitative periodic sequence ratio achievable by a pattern <inline-formula id="ieqn-251"><mml:math id="mml-ieqn-251"><mml:mi>X</mml:mi></mml:math></inline-formula> is defined as</italic>
<disp-formula id="ueqn-21"><mml:math id="mml-ueqn-21" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>upRa</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mfrac><mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mrow><mml:mtext>candSeq</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>D</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:mrow></mml:mfrac><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p><bold>Lemma 1 (Anti-Monotonicity Properties):</bold> <italic>For any two patterns <inline-formula id="ieqn-252"><mml:math id="mml-ieqn-252"><mml:mi>X</mml:mi><mml:mo>&#x2286;</mml:mo><mml:mi>Y</mml:mi></mml:math></inline-formula> and any sequence <inline-formula id="ieqn-253"><mml:math id="mml-ieqn-253"><mml:mi>S</mml:mi></mml:math></inline-formula>, the following properties hold:</italic><list list-type="simple">
<list-item>
<label>1.</label>
<p><inline-formula id="ieqn-254"><mml:math id="mml-ieqn-254"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2264;</mml:mo><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>;</p></list-item>
<list-item>
<label>2.</label>
<p><inline-formula id="ieqn-255"><mml:math id="mml-ieqn-255"><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">x</mml:mi><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2265;</mml:mo><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">x</mml:mi><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>.</p></list-item>
</list></p>
<p><bold>Proof:</bold> (1) Since <inline-formula id="ieqn-256"><mml:math id="mml-ieqn-256"><mml:mi>Y</mml:mi><mml:mo>&#x2287;</mml:mo><mml:mi>X</mml:mi></mml:math></inline-formula>, every occurrence of <inline-formula id="ieqn-257"><mml:math id="mml-ieqn-257"><mml:mi>Y</mml:mi></mml:math></inline-formula> necessarily contains <inline-formula id="ieqn-258"><mml:math id="mml-ieqn-258"><mml:mi>X</mml:mi></mml:math></inline-formula>, which implies <inline-formula id="ieqn-259"><mml:math id="mml-ieqn-259"><mml:mrow><mml:mi mathvariant="normal">T</mml:mi><mml:mi mathvariant="normal">R</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2286;</mml:mo><mml:mrow><mml:mi mathvariant="normal">T</mml:mi><mml:mi mathvariant="normal">R</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. Therefore,
<disp-formula id="ueqn-22"><mml:math id="mml-ueqn-22" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>supRa</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mfrac><mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mrow><mml:mtext>TR</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>S</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:mrow></mml:mfrac><mml:mo>&#x2264;</mml:mo><mml:mfrac><mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mrow><mml:mtext>TR</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>S</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:mrow></mml:mfrac><mml:mo>=</mml:mo><mml:mrow><mml:mtext>supRa</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p>(2) As <inline-formula id="ieqn-260"><mml:math id="mml-ieqn-260"><mml:mrow><mml:mi mathvariant="normal">T</mml:mi><mml:mi mathvariant="normal">R</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> is a subsequence of <inline-formula id="ieqn-261"><mml:math id="mml-ieqn-261"><mml:mrow><mml:mi mathvariant="normal">T</mml:mi><mml:mi mathvariant="normal">R</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, the distances between consecutive occurrences of <inline-formula id="ieqn-262"><mml:math id="mml-ieqn-262"><mml:mi>Y</mml:mi></mml:math></inline-formula> cannot be smaller than those of <inline-formula id="ieqn-263"><mml:math id="mml-ieqn-263"><mml:mi>X</mml:mi></mml:math></inline-formula>. Consequently,
<disp-formula id="ueqn-23"><mml:math id="mml-ueqn-23" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>maxPer</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2265;</mml:mo><mml:mrow><mml:mtext>maxPer</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>.</mml:mo><mml:mi>&#x25FB;</mml:mi></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p><bold>Theorem 1 (Safe Upper Bound):</bold> <italic>For any pattern extension <inline-formula id="ieqn-264"><mml:math id="mml-ieqn-264"><mml:mi>Y</mml:mi><mml:mo>&#x2287;</mml:mo><mml:mi>X</mml:mi></mml:math></inline-formula>, the following inequality holds:</italic><disp-formula id="ueqn-24"><mml:math id="mml-ueqn-24" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>hqSeqRa</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2264;</mml:mo><mml:mrow><mml:mtext>upRa</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>,</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula><italic>where <inline-formula id="ieqn-265"><mml:math id="mml-ieqn-265"><mml:mrow><mml:mi mathvariant="normal">h</mml:mi><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">S</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mo>&#x22C5;</mml:mo><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> is defined in <xref ref-type="sec" rid="s3">Section 3</xref>.</italic></p>
<p><bold>Proof:</bold> By Lemma 1, for any sequence <inline-formula id="ieqn-266"><mml:math id="mml-ieqn-266"><mml:mi>S</mml:mi><mml:mo>&#x2208;</mml:mo><mml:mi>D</mml:mi></mml:math></inline-formula>,
<disp-formula id="ueqn-25"><mml:math id="mml-ueqn-25" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>supRa</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2264;</mml:mo><mml:mrow><mml:mtext>supRa</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mspace width="1em" /><mml:mrow><mml:mtext>and</mml:mtext></mml:mrow><mml:mspace width="1em" /><mml:mrow><mml:mtext>maxPer</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2265;</mml:mo><mml:mrow><mml:mtext>maxPer</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p>Hence, any sequence that can satisfy both <inline-formula id="ieqn-267"><mml:math id="mml-ieqn-267"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2265;</mml:mo><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">i</mml:mi><mml:mi mathvariant="normal">n</mml:mi><mml:mi mathvariant="normal">S</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow></mml:math></inline-formula> and <inline-formula id="ieqn-268"><mml:math id="mml-ieqn-268"><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">x</mml:mi><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2264;</mml:mo><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">x</mml:mi><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow></mml:math></inline-formula> must already belong to <inline-formula id="ieqn-269"><mml:math id="mml-ieqn-269"><mml:mrow><mml:mi mathvariant="normal">c</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">n</mml:mi><mml:mi mathvariant="normal">d</mml:mi><mml:mi mathvariant="normal">S</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">q</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. It follows that
<disp-formula id="ueqn-26"><mml:math id="mml-ueqn-26" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>hqPrSeq</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2286;</mml:mo><mml:mrow><mml:mtext>candSeq</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p>Dividing both sides by <inline-formula id="ieqn-270"><mml:math id="mml-ieqn-270"><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>D</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:math></inline-formula> yields
<disp-formula id="ueqn-27"><mml:math id="mml-ueqn-27" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>hqSeqRa</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mfrac><mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mrow><mml:mtext>hqPrSeq</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>D</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:mrow></mml:mfrac><mml:mo>&#x2264;</mml:mo><mml:mfrac><mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mrow><mml:mtext>candSeq</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>D</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:mrow></mml:mfrac><mml:mo>=</mml:mo><mml:mrow><mml:mtext>upRa</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>.</mml:mo><mml:mi>&#x25FB;</mml:mi></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p><bold>Corollary 1 (Pruning Condition):</bold> If
<disp-formula id="ueqn-28"><mml:math id="mml-ueqn-28" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>upRa</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x003C;</mml:mo><mml:mrow><mml:mtext>minSeqRa</mml:mtext></mml:mrow><mml:mo>,</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>then for any extension <inline-formula id="ieqn-271"><mml:math id="mml-ieqn-271"><mml:mi>Y</mml:mi><mml:mo>&#x2287;</mml:mo><mml:mi>X</mml:mi></mml:math></inline-formula>,
<disp-formula id="ueqn-29"><mml:math id="mml-ueqn-29" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>hqSeqRa</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x003C;</mml:mo><mml:mrow><mml:mtext>minSeqRa</mml:mtext></mml:mrow><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p>In this case, the entire search branch rooted at pattern <inline-formula id="ieqn-272"><mml:math id="mml-ieqn-272"><mml:mi>X</mml:mi></mml:math></inline-formula> can be safely pruned (Algorithm 1, Lines 5&#x2013;6.)</p>
<fig id="fig-12">
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_77790-fig-12.tif"/>
</fig>
<fig id="fig-13">
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_77790-fig-13.tif"/>
</fig>
</sec>
<sec id="s4_3">
<label>4.3</label>
<title>The HQPFPS-List Structure</title>
<p>To efficiently evaluate candidate patterns across multiple sequences, MHQPFPS employs a vertical representation structure referred to as the HQPFPS-list. This structure is designed to compactly maintain all information required for computing support, periodicity, and quantitative measures, thereby avoiding repeated scans of the original database.</p>
<p>For a pattern <inline-formula id="ieqn-326"><mml:math id="mml-ieqn-326"><mml:mi>X</mml:mi></mml:math></inline-formula> and a sequence <inline-formula id="ieqn-327"><mml:math id="mml-ieqn-327"><mml:mi>S</mml:mi></mml:math></inline-formula> in which <inline-formula id="ieqn-328"><mml:math id="mml-ieqn-328"><mml:mi>X</mml:mi></mml:math></inline-formula> occurs, the HQPFPS-list stores the following information:
<list list-type="bullet">
<list-item>
<p><bold>sid:</bold> the identifier of sequence <inline-formula id="ieqn-329"><mml:math id="mml-ieqn-329"><mml:mi>S</mml:mi></mml:math></inline-formula>;</p></list-item>
<list-item>
<p><bold>tran-list:</bold> the list <inline-formula id="ieqn-330"><mml:math id="mml-ieqn-330"><mml:mrow><mml:mi mathvariant="normal">T</mml:mi><mml:mi mathvariant="normal">R</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> of transaction indices where <inline-formula id="ieqn-331"><mml:math id="mml-ieqn-331"><mml:mi>X</mml:mi></mml:math></inline-formula> occurs;</p></list-item>
<list-item>
<p><bold>q-list:</bold> the quantitative contributions <inline-formula id="ieqn-332"><mml:math id="mml-ieqn-332"><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi>j</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> associated with each occurrence of <inline-formula id="ieqn-333"><mml:math id="mml-ieqn-333"><mml:mi>X</mml:mi></mml:math></inline-formula>;</p></list-item>
<list-item>
<p><inline-formula id="ieqn-334"><mml:math id="mml-ieqn-334"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>: the support ratio of <inline-formula id="ieqn-335"><mml:math id="mml-ieqn-335"><mml:mi>X</mml:mi></mml:math></inline-formula> in <inline-formula id="ieqn-336"><mml:math id="mml-ieqn-336"><mml:mi>S</mml:mi></mml:math></inline-formula>;</p></list-item>
<list-item>
<p><inline-formula id="ieqn-337"><mml:math id="mml-ieqn-337"><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">x</mml:mi><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>: the maximum period of <inline-formula id="ieqn-338"><mml:math id="mml-ieqn-338"><mml:mi>X</mml:mi></mml:math></inline-formula> in <inline-formula id="ieqn-339"><mml:math id="mml-ieqn-339"><mml:mi>S</mml:mi></mml:math></inline-formula>;</p></list-item>
<list-item>
<p><inline-formula id="ieqn-340"><mml:math id="mml-ieqn-340"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">t</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">n</mml:mi><mml:mi mathvariant="normal">D</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">v</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>: the standard deviation of the periods of <inline-formula id="ieqn-341"><mml:math id="mml-ieqn-341"><mml:mi>X</mml:mi></mml:math></inline-formula> in <inline-formula id="ieqn-342"><mml:math id="mml-ieqn-342"><mml:mi>S</mml:mi></mml:math></inline-formula>;</p></list-item>
<list-item>
<p><inline-formula id="ieqn-343"><mml:math id="mml-ieqn-343"><mml:mrow><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>: the quantitative ratio of <inline-formula id="ieqn-344"><mml:math id="mml-ieqn-344"><mml:mi>X</mml:mi></mml:math></inline-formula> in <inline-formula id="ieqn-345"><mml:math id="mml-ieqn-345"><mml:mi>S</mml:mi></mml:math></inline-formula>.</p></list-item>
</list></p>
<p>For a pattern <inline-formula id="ieqn-346"><mml:math id="mml-ieqn-346"><mml:mi>X</mml:mi></mml:math></inline-formula>, its HQPFPS-list is denoted by<disp-formula id="ueqn-30"><mml:math id="mml-ueqn-30" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>PFL</mml:mtext></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mi>s</mml:mi><mml:mi>i</mml:mi><mml:mi>d</mml:mi><mml:mo>,</mml:mo><mml:mrow><mml:mtext>TR</mml:mtext></mml:mrow><mml:mo>,</mml:mo><mml:mi>q</mml:mi><mml:mrow><mml:mtext>-list</mml:mtext></mml:mrow><mml:mo>,</mml:mo><mml:mrow><mml:mtext>supRa</mml:mtext></mml:mrow><mml:mo>,</mml:mo><mml:mrow><mml:mtext>maxPer</mml:mtext></mml:mrow><mml:mo>,</mml:mo><mml:mrow><mml:mtext>stanDev</mml:mtext></mml:mrow><mml:mo>,</mml:mo><mml:mrow><mml:mtext>quRa</mml:mtext></mml:mrow><mml:mo stretchy="false">)</mml:mo><mml:mo fence="false" stretchy="false">}</mml:mo><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p>All entries in <inline-formula id="ieqn-347"><mml:math id="mml-ieqn-347"><mml:mrow><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">F</mml:mi><mml:mi mathvariant="normal">L</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> are computed in accordance with the formal definitions given in <xref ref-type="sec" rid="s3">Section 3</xref>. When a pattern is extended during the mining process, the corresponding HQPFPS-list can be constructed and updated directly from existing lists, without rescanning the original database. This property is essential for ensuring the efficiency of the proposed depth-first search framework.</p>
</sec>
<sec id="s4_4">
<label>4.4</label>
<title>Mining Procedure</title>
<p>Based on the pruning strategy and the HQPFPS-list structure introduced above, the MHQPFPS algorithm enumerates all High-Quantitative Periodic Frequent Patterns from a multi-sequence database. The overall procedure is outlined in Algorithm 3.</p>
<fig id="fig-14">
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_77790-fig-14.tif"/>
</fig>
<p>Given a database <inline-formula id="ieqn-368"><mml:math id="mml-ieqn-368"><mml:mi>D</mml:mi></mml:math></inline-formula> and user-specified thresholds <inline-formula id="ieqn-369"><mml:math id="mml-ieqn-369"><mml:mo stretchy="false">(</mml:mo><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>u</mml:mi><mml:mi>p</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi><mml:mo>,</mml:mo><mml:mi>m</mml:mi><mml:mi>a</mml:mi><mml:mi>x</mml:mi><mml:mi>P</mml:mi><mml:mi>r</mml:mi><mml:mo>,</mml:mo><mml:mi>m</mml:mi><mml:mi>a</mml:mi><mml:mi>x</mml:mi><mml:mi>S</mml:mi><mml:mi>t</mml:mi><mml:mi>d</mml:mi><mml:mo>,</mml:mo><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>H</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi><mml:mo>,</mml:mo><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, the algorithm begins with a single scan of <inline-formula id="ieqn-370"><mml:math id="mml-ieqn-370"><mml:mi>D</mml:mi></mml:math></inline-formula> to construct the HQPFPS-list <inline-formula id="ieqn-371"><mml:math id="mml-ieqn-371"><mml:mrow><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">F</mml:mi><mml:mi mathvariant="normal">L</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>i</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> for each 1-itemset <inline-formula id="ieqn-372"><mml:math id="mml-ieqn-372"><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>i</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula>. For every item <inline-formula id="ieqn-373"><mml:math id="mml-ieqn-373"><mml:mi>i</mml:mi><mml:mo>&#x2208;</mml:mo><mml:mi>I</mml:mi></mml:math></inline-formula> and sequence <inline-formula id="ieqn-374"><mml:math id="mml-ieqn-374"><mml:mi>S</mml:mi><mml:mo>&#x2208;</mml:mo><mml:mi>D</mml:mi></mml:math></inline-formula>, the statistics <inline-formula id="ieqn-375"><mml:math id="mml-ieqn-375"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>i</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, <inline-formula id="ieqn-376"><mml:math id="mml-ieqn-376"><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">x</mml:mi><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>i</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, <inline-formula id="ieqn-377"><mml:math id="mml-ieqn-377"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">t</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">n</mml:mi><mml:mi mathvariant="normal">D</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">v</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>i</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, and <inline-formula id="ieqn-378"><mml:math id="mml-ieqn-378"><mml:mrow><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>i</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> are computed directly from <inline-formula id="ieqn-379"><mml:math id="mml-ieqn-379"><mml:mrow><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">F</mml:mi><mml:mi mathvariant="normal">L</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>i</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. These values are then used to derive the candidate sequence set <inline-formula id="ieqn-380"><mml:math id="mml-ieqn-380"><mml:mrow><mml:mi mathvariant="normal">c</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">n</mml:mi><mml:mi mathvariant="normal">d</mml:mi><mml:mi mathvariant="normal">S</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">q</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>i</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> and the corresponding upper bound <inline-formula id="ieqn-381"><mml:math id="mml-ieqn-381"><mml:mrow><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>i</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mrow><mml:mi mathvariant="normal">c</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">n</mml:mi><mml:mi mathvariant="normal">d</mml:mi><mml:mi mathvariant="normal">S</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">q</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>i</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mrow><mml:mo>/</mml:mo></mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>D</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:math></inline-formula>.</p>
<p>A 1-itemset <inline-formula id="ieqn-382"><mml:math id="mml-ieqn-382"><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>i</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula> is considered promising only if <inline-formula id="ieqn-383"><mml:math id="mml-ieqn-383"><mml:mtext>upRa</mml:mtext><mml:mo stretchy="false">(</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>i</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2265;</mml:mo><mml:mtext>minSeqRa</mml:mtext></mml:math></inline-formula> (Algorithm 3, Line 5). For such patterns, the procedure <sc>HQPFP-CHECK</sc> (Algorithm 4 Lines 1&#x2013;12) is invoked to verify whether <inline-formula id="ieqn-384"><mml:math id="mml-ieqn-384"><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>i</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula> satisfies all single-sequence constraints (Definition 8) as well as the cross-sequence constraint (Definition 9). If <inline-formula id="ieqn-385"><mml:math id="mml-ieqn-385"><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>i</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula> is an HQPFPS, it is added to the global result set. The algorithm then calls the recursive procedure DFS-SEARCH (Algorithm 1) to further extend <inline-formula id="ieqn-386"><mml:math id="mml-ieqn-386"><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>i</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula>.</p>
<fig id="fig-15">
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_77790-fig-15.tif"/>
</fig>
<p>The DFS-SEARCH procedure follows a depth-first pattern-growth strategy. Given a current prefix pattern <inline-formula id="ieqn-406"><mml:math id="mml-ieqn-406"><mml:mi>P</mml:mi></mml:math></inline-formula>, it generates extensions by appending items that are lexicographically larger than the last item in <inline-formula id="ieqn-407"><mml:math id="mml-ieqn-407"><mml:mi>P</mml:mi></mml:math></inline-formula>. For each extension <inline-formula id="ieqn-408"><mml:math id="mml-ieqn-408"><mml:mi>Y</mml:mi><mml:mo>=</mml:mo><mml:mi>P</mml:mi><mml:mo>&#x222A;</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>i</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula>, a new HQPFPS-list <inline-formula id="ieqn-409"><mml:math id="mml-ieqn-409"><mml:mrow><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">F</mml:mi><mml:mi mathvariant="normal">L</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> is constructed by combining <inline-formula id="ieqn-410"><mml:math id="mml-ieqn-410"><mml:mrow><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">F</mml:mi><mml:mi mathvariant="normal">L</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>P</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> and <inline-formula id="ieqn-411"><mml:math id="mml-ieqn-411"><mml:mrow><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">F</mml:mi><mml:mi mathvariant="normal">L</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>i</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> using Algorithm 2. Since both lists record transaction identifiers, <inline-formula id="ieqn-412"><mml:math id="mml-ieqn-412"><mml:mrow><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">F</mml:mi><mml:mi mathvariant="normal">L</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> can be constructed efficiently through intersection operations, without scanning the original database.</p>
<p>From <inline-formula id="ieqn-413"><mml:math id="mml-ieqn-413"><mml:mrow><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">F</mml:mi><mml:mi mathvariant="normal">L</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, the algorithm computes the candidate sequence set <inline-formula id="ieqn-414"><mml:math id="mml-ieqn-414"><mml:mrow><mml:mi mathvariant="normal">c</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">n</mml:mi><mml:mi mathvariant="normal">d</mml:mi><mml:mi mathvariant="normal">S</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">q</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> and the corresponding upper bound <inline-formula id="ieqn-415"><mml:math id="mml-ieqn-415"><mml:mrow><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. If <inline-formula id="ieqn-416"><mml:math id="mml-ieqn-416"><mml:mrow><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x003C;</mml:mo><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula>, Corollary 1 guarantees that no extension of <inline-formula id="ieqn-417"><mml:math id="mml-ieqn-417"><mml:mi>Y</mml:mi></mml:math></inline-formula> can satisfy the HQPFPS condition, and the entire branch rooted at <inline-formula id="ieqn-418"><mml:math id="mml-ieqn-418"><mml:mi>Y</mml:mi></mml:math></inline-formula> is pruned (Algorithm 1, Lines 5&#x2013;6). Otherwise, HQPFP-CHECK (Algorithm 4) is applied to <inline-formula id="ieqn-419"><mml:math id="mml-ieqn-419"><mml:mi>Y</mml:mi></mml:math></inline-formula>. If <inline-formula id="ieqn-420"><mml:math id="mml-ieqn-420"><mml:mi>Y</mml:mi></mml:math></inline-formula> satisfies all constraints, it is reported as an HQPFPS, and DFS-SEARCH is recursively invoked on <inline-formula id="ieqn-421"><mml:math id="mml-ieqn-421"><mml:mi>Y</mml:mi></mml:math></inline-formula>.</p>
<p>Algorithm 2 details the construction of <inline-formula id="ieqn-422"><mml:math id="mml-ieqn-422"><mml:mrow><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">F</mml:mi><mml:mi mathvariant="normal">L</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> from <inline-formula id="ieqn-423"><mml:math id="mml-ieqn-423"><mml:mrow><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">F</mml:mi><mml:mi mathvariant="normal">L</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>P</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. For each record <inline-formula id="ieqn-424"><mml:math id="mml-ieqn-424"><mml:mo stretchy="false">(</mml:mo><mml:mi>s</mml:mi><mml:mi>i</mml:mi><mml:mi>d</mml:mi><mml:mo>,</mml:mo><mml:mrow><mml:mi mathvariant="normal">T</mml:mi><mml:mi mathvariant="normal">R</mml:mi></mml:mrow><mml:mo>,</mml:mo><mml:mi>q</mml:mi><mml:mtext>-list</mml:mtext><mml:mo>,</mml:mo><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo>,</mml:mo><mml:mspace linebreak="newline" /><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">x</mml:mi><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mo>,</mml:mo><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">t</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">n</mml:mi><mml:mi mathvariant="normal">D</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">v</mml:mi></mml:mrow><mml:mo>,</mml:mo><mml:mrow><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> in <inline-formula id="ieqn-425"><mml:math id="mml-ieqn-425"><mml:mrow><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">F</mml:mi><mml:mi mathvariant="normal">L</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>P</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, the transaction list <inline-formula id="ieqn-426"><mml:math id="mml-ieqn-426"><mml:mrow><mml:mi mathvariant="normal">T</mml:mi><mml:mi mathvariant="normal">R</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> is obtained by intersecting <inline-formula id="ieqn-427"><mml:math id="mml-ieqn-427"><mml:mrow><mml:mi mathvariant="normal">T</mml:mi><mml:mi mathvariant="normal">R</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>P</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> and <inline-formula id="ieqn-428"><mml:math id="mml-ieqn-428"><mml:mrow><mml:mi mathvariant="normal">T</mml:mi><mml:mi mathvariant="normal">R</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>i</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> (Algorithm 2, Line 4). If <inline-formula id="ieqn-429"><mml:math id="mml-ieqn-429"><mml:mrow><mml:mi mathvariant="normal">T</mml:mi><mml:mi mathvariant="normal">R</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> is non-empty, the sequence-level statistics <inline-formula id="ieqn-430"><mml:math id="mml-ieqn-430"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">p</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, <inline-formula id="ieqn-431"><mml:math id="mml-ieqn-431"><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">x</mml:mi><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">r</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, <inline-formula id="ieqn-432"><mml:math id="mml-ieqn-432"><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mi mathvariant="normal">t</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">n</mml:mi><mml:mi mathvariant="normal">D</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">v</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, and <inline-formula id="ieqn-433"><mml:math id="mml-ieqn-433"><mml:mrow><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">u</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> are recomputed, a new <inline-formula id="ieqn-434"><mml:math id="mml-ieqn-434"><mml:mi>q</mml:mi></mml:math></inline-formula>-list is generated, and the corresponding record is inserted into <inline-formula id="ieqn-435"><mml:math id="mml-ieqn-435"><mml:mrow><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">F</mml:mi><mml:mi mathvariant="normal">L</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>Y</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>.</p>
<p>Finally, the procedure HQPFP-C<sc>heck</sc> (Algorithm 4) counts the number of sequences in which a pattern satisfies all single-sequence constraints using <inline-formula id="ieqn-436"><mml:math id="mml-ieqn-436"><mml:mrow><mml:mi mathvariant="normal">P</mml:mi><mml:mi mathvariant="normal">F</mml:mi><mml:mi mathvariant="normal">L</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. Dividing this count by <inline-formula id="ieqn-437"><mml:math id="mml-ieqn-437"><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mi>D</mml:mi><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow></mml:math></inline-formula> yields <inline-formula id="ieqn-438"><mml:math id="mml-ieqn-438"><mml:mrow><mml:mi mathvariant="normal">h</mml:mi><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">S</mml:mi><mml:mi mathvariant="normal">e</mml:mi><mml:mi mathvariant="normal">q</mml:mi><mml:mi mathvariant="normal">R</mml:mi><mml:mi mathvariant="normal">a</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, which determines whether <inline-formula id="ieqn-439"><mml:math id="mml-ieqn-439"><mml:mi>X</mml:mi></mml:math></inline-formula> is an HQPFPS.</p>
</sec>
</sec>
<sec id="s5">
<label>5</label>
<title>Experimental Evaluation</title>
<p>This section evaluates the performance and effectiveness of the proposed MHQPFPS algorithm. The experimental study focuses on three aspects that are critical for pattern mining algorithms: (1) runtime efficiency, (2) the number of discovered patterns, and (3) memory consumption. To better understand the behavior of the proposed method, the experiments include both parameter-based analysis and comparisons with reduced variants of MHQPFPS, which help illustrate the effect of its main components on efficiency and output behavior. All experiments are conducted under varying settings of <inline-formula id="ieqn-440"><mml:math id="mml-ieqn-440"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>u</mml:mi><mml:mi>p</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> and <inline-formula id="ieqn-441"><mml:math id="mml-ieqn-441"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> in order to assess the impact of support-based and cross-sequence constraints on algorithmic behavior.</p>
<sec id="s5_1">
<label>5.1</label>
<title>Experimental Setup</title>
<p>All experiments were carried out in a Python 3 environment using PyCharm on a MacBook Air running macOS, equipped with an Apple M4 processor and 16 GB of unified memory. The MHQPFPS algorithm was implemented in a single-threaded manner to provide a fair and controlled evaluation of its computational characteristics.</p>
<p>Four datasets were used in the experimental study, including three real-world datasets&#x2014;<italic>FIFA</italic>, <italic>Bike</italic>, and <italic>Leviathan</italic>&#x2014;and one synthetic dataset, <italic>T23L68KD15K</italic>. All datasets were obtained from the SPMF Library. The real-world datasets represent typical application scenarios of sequential and periodic pattern mining, while the synthetic dataset allows controlled adjustment of data characteristics, facilitating a systematic evaluation of algorithm behavior under different conditions.</p>
<p>The primary goal of the experiments is to investigate how the parameters <inline-formula id="ieqn-442"><mml:math id="mml-ieqn-442"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>u</mml:mi><mml:mi>p</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> and <inline-formula id="ieqn-443"><mml:math id="mml-ieqn-443"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> influence both the efficiency and the output of MHQPFPS. We denote by <inline-formula id="ieqn-444"><mml:math id="mml-ieqn-444"><mml:mtext>MHQPFPS</mml:mtext><mml:mo stretchy="false">(</mml:mo><mml:mi>x</mml:mi><mml:mo>,</mml:mo><mml:mi>y</mml:mi><mml:mo>,</mml:mo><mml:mi>z</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> an instance of the algorithm configured with <inline-formula id="ieqn-445"><mml:math id="mml-ieqn-445"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi><mml:mo>=</mml:mo><mml:mi>x</mml:mi></mml:math></inline-formula>, <inline-formula id="ieqn-446"><mml:math id="mml-ieqn-446"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>H</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi><mml:mo>=</mml:mo><mml:mi>y</mml:mi></mml:math></inline-formula>, and <inline-formula id="ieqn-447"><mml:math id="mml-ieqn-447"><mml:mi>m</mml:mi><mml:mi>a</mml:mi><mml:mi>x</mml:mi><mml:mi>P</mml:mi><mml:mi>r</mml:mi><mml:mo>=</mml:mo><mml:mi>z</mml:mi></mml:math></inline-formula>. Unless otherwise specified, the parameter <inline-formula id="ieqn-448"><mml:math id="mml-ieqn-448"><mml:mi>m</mml:mi><mml:mi>a</mml:mi><mml:mi>x</mml:mi><mml:mi>S</mml:mi><mml:mi>t</mml:mi><mml:mi>d</mml:mi></mml:math></inline-formula> is fixed throughout the experiments, and <inline-formula id="ieqn-449"><mml:math id="mml-ieqn-449"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>u</mml:mi><mml:mi>p</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> is varied as reported in the corresponding figures.</p>
<p>To provide a reference point for comparison, a <italic>baseline</italic> configuration is defined using relatively loose thresholds, allowing a large number of high-quantitative periodic patterns to be generated: <inline-formula id="ieqn-450"><mml:math id="mml-ieqn-450"><mml:mi>m</mml:mi><mml:mi>a</mml:mi><mml:mi>x</mml:mi><mml:mi>P</mml:mi><mml:mi>r</mml:mi></mml:math></inline-formula> &#x003D; 20, <inline-formula id="ieqn-451"><mml:math id="mml-ieqn-451"><mml:mi>m</mml:mi><mml:mi>a</mml:mi><mml:mi>x</mml:mi><mml:mi>S</mml:mi><mml:mi>t</mml:mi><mml:mi>d</mml:mi></mml:math></inline-formula> &#x003D; 10, <inline-formula id="ieqn-452"><mml:math id="mml-ieqn-452"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>H</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> &#x003D; 0.01, <inline-formula id="ieqn-453"><mml:math id="mml-ieqn-453"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> &#x003D; 0. All other experimental configurations are evaluated relative to this baseline in terms of runtime, number of discovered patterns, and memory consumption.</p>
</sec>
<sec id="s5_2">
<label>5.2</label>
<title>Influence of minSupRa and minSeqRa</title>
<p><bold>Runtime:</bold> <xref ref-type="fig" rid="fig-2">Fig. 2</xref> reports the runtime of MHQPFPS under different combinations of <inline-formula id="ieqn-454"><mml:math id="mml-ieqn-454"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>u</mml:mi><mml:mi>p</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> and <inline-formula id="ieqn-455"><mml:math id="mml-ieqn-455"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> across the four datasets. Overall, runtime decreases steadily as <inline-formula id="ieqn-456"><mml:math id="mml-ieqn-456"><mml:mtext>minSupRa</mml:mtext></mml:math></inline-formula> increases, because a higher support-ratio threshold reduces the number of candidate patterns and correspondingly shrinks the effective search space.</p>
<fig id="fig-2">
<label>Figure 2</label>
<caption>
<title>Runtime of MHQPFPS under different <italic>minSupRa</italic> and <italic>minSeqRa</italic> settings. The results show that runtime generally decreases as the thresholds become stricter, indicating that stronger support-based and cross-sequence constraints help reduce the search space.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_77790-fig-2a.tif"/>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_77790-fig-2b.tif"/>
</fig>
<p>This behavior is most pronounced on the Bike and T23L68KD15K datasets, where the runtime curves decrease monotonically with <inline-formula id="ieqn-457"><mml:math id="mml-ieqn-457"><mml:mtext>minSupRa</mml:mtext></mml:math></inline-formula> under configurations such as MHQPFPS <inline-formula id="ieqn-458"><mml:math id="mml-ieqn-458"><mml:mo stretchy="false">(</mml:mo><mml:mn>0.001</mml:mn><mml:mo>,</mml:mo><mml:mn>0.15</mml:mn><mml:mo>,</mml:mo><mml:mn>10</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. The parameter <inline-formula id="ieqn-459"><mml:math id="mml-ieqn-459"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> also plays a critical role in runtime performance. When <inline-formula id="ieqn-460"><mml:math id="mml-ieqn-460"><mml:mtext>minSeqRa</mml:mtext></mml:math></inline-formula> is set to a small positive value (e.g., <inline-formula id="ieqn-461"><mml:math id="mml-ieqn-461"><mml:mn>0.0001</mml:mn></mml:math></inline-formula> or <inline-formula id="ieqn-462"><mml:math id="mml-ieqn-462"><mml:mn>0.001</mml:mn></mml:math></inline-formula>), the upper-bound pruning mechanism eliminates unpromising candidates at an earlier stage of the search, thereby reducing the number of HQPFPS-lists that must be constructed and evaluated.</p>
<p>For example, on the <italic>FIFA</italic> dataset, setting <inline-formula id="ieqn-463"><mml:math id="mml-ieqn-463"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi><mml:mo>=</mml:mo><mml:mn>0.0001</mml:mn></mml:math></inline-formula> reduces runtime by nearly an order of magnitude compared with the baseline configuration. This result indicates that incorporating cross-sequence constraints into the upper-bound pruning strategy can substantially reduce runtime, particularly when the candidate search space is large.</p>
<p><bold>Number of patterns:</bold> <xref ref-type="fig" rid="fig-3">Fig. 3</xref> illustrates how the number of discovered HQPFPS varies with <inline-formula id="ieqn-464"><mml:math id="mml-ieqn-464"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>u</mml:mi><mml:mi>p</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> and <inline-formula id="ieqn-465"><mml:math id="mml-ieqn-465"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula>. Increasing either threshold leads to a smaller set of discovered patterns, which is consistent with the stricter constraints imposed on periodicity, support ratio, and cross-sequence occurrence. On the <italic>FIFA</italic> dataset, the baseline configuration consistently produces a large number of patterns (approximately 3000). However, when <inline-formula id="ieqn-466"><mml:math id="mml-ieqn-466"><mml:mtext>minSeqRa</mml:mtext></mml:math></inline-formula> is increased to <inline-formula id="ieqn-467"><mml:math id="mml-ieqn-467"><mml:mn>0.0001</mml:mn></mml:math></inline-formula>, the number of discovered patterns decreases to fewer than <inline-formula id="ieqn-468"><mml:math id="mml-ieqn-468"><mml:mn>100</mml:mn></mml:math></inline-formula>, representing a reduction of more than <inline-formula id="ieqn-469"><mml:math id="mml-ieqn-469"><mml:mn>96</mml:mn><mml:mi mathvariant="normal">&#x0025;</mml:mi></mml:math></inline-formula> relative to the baseline.</p>
<fig id="fig-3">
<label>Figure 3</label>
<caption>
<title>Number of discovered HQPFPS under different <italic>minSupRa</italic> and <italic>minSeqRa</italic> settings. The results show that increasing either threshold reduces the number of valid patterns, reflecting the stronger filtering effect of support and cross-sequence constraints.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_77790-fig-3.tif"/>
</fig>
<p>A similar trend is observed on the <italic>Bike</italic> dataset: raising <inline-formula id="ieqn-470"><mml:math id="mml-ieqn-470"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>u</mml:mi><mml:mi>p</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> from <inline-formula id="ieqn-471"><mml:math id="mml-ieqn-471"><mml:mn>0.01</mml:mn></mml:math></inline-formula> to <inline-formula id="ieqn-472"><mml:math id="mml-ieqn-472"><mml:mn>0.7</mml:mn></mml:math></inline-formula> reduces the number of output patterns from 67 to 48. These results indicate that a considerable proportion of high-quantitative periodic patterns occur in only a limited number of sequences. The cross-sequence constraint enforced by <inline-formula id="ieqn-473"><mml:math id="mml-ieqn-473"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> is therefore essential for filtering out such sequence-specific patterns and retaining only those that are more representative at the database level.</p>
<p><bold>Memory usage:</bold> <xref ref-type="fig" rid="fig-4">Fig. 4</xref> shows the memory consumption of MHQPFPS under different parameter configurations. On the <italic>FIFA</italic> dataset, memory usage under the baseline setting <inline-formula id="ieqn-474"><mml:math id="mml-ieqn-474"><mml:mtext>MHQPFPS</mml:mtext><mml:mo stretchy="false">(</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mn>0.01</mml:mn><mml:mo>,</mml:mo><mml:mn>20</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> decreases from approximately 366 to 164 MB as <inline-formula id="ieqn-475"><mml:math id="mml-ieqn-475"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>u</mml:mi><mml:mi>p</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> increases from <inline-formula id="ieqn-476"><mml:math id="mml-ieqn-476"><mml:mn>0.01</mml:mn></mml:math></inline-formula> to <inline-formula id="ieqn-477"><mml:math id="mml-ieqn-477"><mml:mn>0.5</mml:mn></mml:math></inline-formula>. This behavior is consistent with the reduction in the number of maintained patterns, since higher support thresholds limit the number of HQPFPS-list that must be stored simultaneously.</p>
<fig id="fig-4">
<label>Figure 4</label>
<caption>
<title>Memory consumption of MHQPFPS under different <italic>minSupRa</italic> and <italic>minSeqRa</italic> settings on different datasets. The results indicate that memory usage generally decreases as the search space becomes smaller, with <italic>minSupRa</italic> showing a stronger influence than <italic>minSeqRa</italic>.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_77790-fig-4.tif"/>
</fig>
<p>For the synthetic <italic>T23L68KD15K</italic> dataset, the influence of <inline-formula id="ieqn-478"><mml:math id="mml-ieqn-478"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> on memory consumption is marginal, and the corresponding curves remain nearly flat. A plausible explanation is that this dataset contains relatively few sequences and transactions. Consequently, variations in <inline-formula id="ieqn-479"><mml:math id="mml-ieqn-479"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> primarily affect the depth of the search process rather than the total number of pattern lists retained in memory.</p>
<p>Overall, these results indicate that <inline-formula id="ieqn-480"><mml:math id="mml-ieqn-480"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>u</mml:mi><mml:mi>p</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> is the dominant factor governing memory consumption, whereas <inline-formula id="ieqn-481"><mml:math id="mml-ieqn-481"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> mainly contributes to runtime reduction by effectively shrinking the search space through early pruning.</p>
</sec>
<sec id="s5_3">
<label>5.3</label>
<title>Ablation Study</title>
<p>To isolate the effect of the main components of MHQPFPS, we compare the full method with two reduced variants: <bold>MHQPFPS-noUB</bold>, which disables the upper-bound pruning condition while keeping all other components unchanged, and <bold>MHQPFPS-noQ</bold>, which removes the quantitative ratio constraint <inline-formula id="ieqn-482"><mml:math id="mml-ieqn-482"><mml:mtext>quRa</mml:mtext><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo>,</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2265;</mml:mo><mml:mtext>minHqRa</mml:mtext></mml:math></inline-formula>. All three variants are evaluated on the same four datasets under identical parameter settings.</p>
<p><xref ref-type="fig" rid="fig-5">Fig. 5</xref> reports the runtime comparison. MHQPFPS consistently runs faster than MHQPFPS-noUB across all datasets. The speedup is most pronounced on Leviathan, where MHQPFPS-noUB maintains a near-constant runtime of approximately <inline-formula id="ieqn-483"><mml:math id="mml-ieqn-483"><mml:mn>7.3</mml:mn></mml:math></inline-formula> s regardless of <italic>minSupRa</italic>, while MHQPFPS decreases to approximately <inline-formula id="ieqn-484"><mml:math id="mml-ieqn-484"><mml:mn>0.3</mml:mn></mml:math></inline-formula> s at <italic>minSupRa</italic> <inline-formula id="ieqn-485"><mml:math id="mml-ieqn-485"><mml:mo>=</mml:mo><mml:mn>0.1</mml:mn></mml:math></inline-formula>, corresponding to a speedup of about <inline-formula id="ieqn-486"><mml:math id="mml-ieqn-486"><mml:mn>20</mml:mn><mml:mo>&#x00D7;</mml:mo></mml:math></inline-formula>. On T23L68KD15K, MHQPFPS-noUB maintains a runtime of approximately <inline-formula id="ieqn-487"><mml:math id="mml-ieqn-487"><mml:mn>0.5</mml:mn></mml:math></inline-formula> s, compared with <inline-formula id="ieqn-488"><mml:math id="mml-ieqn-488"><mml:mn>0.05</mml:mn></mml:math></inline-formula> s for MHQPFPS, corresponding to a reduction of about <inline-formula id="ieqn-489"><mml:math id="mml-ieqn-489"><mml:mn>10</mml:mn><mml:mo>&#x00D7;</mml:mo></mml:math></inline-formula>. MHQPFPS-noQ closely follows the full MHQPFPS in all runtime curves, indicating that the efficiency gain mainly comes from the upper-bound pruning mechanism.</p>
<fig id="fig-5">
<label>Figure 5</label>
<caption>
<title>Runtime comparison of MHQPFPS and its reduced variants under different <italic>minSupRa</italic> settings. The results show that removing the upper-bound pruning strategy leads to a substantial increase in runtime, demonstrating its effectiveness in improving efficiency.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_77790-fig-5.tif"/>
</fig>
<p><xref ref-type="fig" rid="fig-6">Fig. 6</xref> shows the number of discovered patterns. Across all datasets and parameter settings, MHQPFPS and MHQPFPS-noUB discover exactly the same pattern set, which empirically supports the correctness of the pruning strategy. MHQPFPS-noQ consistently discovers more patterns than the full MHQPFPS, since it retains periodically frequent patterns regardless of quantitative contribution. On FIFA, MHQPFPS-noQ returns up to <inline-formula id="ieqn-490"><mml:math id="mml-ieqn-490"><mml:mn>375</mml:mn></mml:math></inline-formula> patterns at <italic>minSupRa</italic> <inline-formula id="ieqn-491"><mml:math id="mml-ieqn-491"><mml:mo>=</mml:mo><mml:mn>0.01</mml:mn></mml:math></inline-formula>, while MHQPFPS discovers none under the same setting. On Leviathan, MHQPFPS-noQ discovers up to <inline-formula id="ieqn-492"><mml:math id="mml-ieqn-492"><mml:mn>250</mml:mn></mml:math></inline-formula> patterns, compared with approximately <inline-formula id="ieqn-493"><mml:math id="mml-ieqn-493"><mml:mn>10</mml:mn></mml:math></inline-formula> for MHQPFPS. The gap between the two variants corresponds to patterns that satisfy periodicity and support constraints but do not satisfy the quantitative ratio requirement.</p>
<fig id="fig-6">
<label>Figure 6</label>
<caption>
<title>Number of discovered patterns for MHQPFPS and its reduced variants under different <italic>minSupRa</italic> settings. The results show that disabling the quantitative ratio constraint produces more patterns, whereas removing upper-bound pruning does not change the discovered pattern set.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_77790-fig-6.tif"/>
</fig>
<p><xref ref-type="fig" rid="fig-7">Fig. 7</xref> shows memory consumption. MHQPFPS-noUB generally uses more memory than MHQPFPS on most datasets, since the absence of pruning forces the algorithm to maintain a larger number of active HQPFPS-list simultaneously. An exception is observed on FIFA at <italic>minSupRa</italic> <inline-formula id="ieqn-494"><mml:math id="mml-ieqn-494"><mml:mo>=</mml:mo><mml:mn>0.01</mml:mn></mml:math></inline-formula>, where MHQPFPS exhibits a transient memory peak before the effect of pruning becomes apparent; as <italic>minSupRa</italic> increases, this peak quickly disappears and MHQPFPS remains below MHQPFPS-noUB. Overall, the results show that the upper-bound pruning mechanism reduces runtime and memory consumption without changing the discovered pattern set.</p>
<fig id="fig-7">
<label>Figure 7</label>
<caption>
<title>Memory consumption of MHQPFPS and its reduced variants under different <italic>minSupRa</italic> settings. The results indicate that the upper-bound pruning strategy generally reduces memory usage by limiting the number of active candidate lists maintained during the search.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_77790-fig-7.tif"/>
</fig>
</sec>
<sec id="s5_4">
<label>5.4</label>
<title>Sensitivity Analysis of maxStd and minHqRa</title>
<p>To examine the influence of the two threshold parameters <italic>maxStd</italic> and <italic>minHqRa</italic>, <xref ref-type="fig" rid="fig-8">Figs. 8</xref> and <xref ref-type="fig" rid="fig-9">9</xref> report the sensitivity of MHQPFPS to these two parameters, respectively, with all other parameters fixed at <italic>minSupRa</italic> <inline-formula id="ieqn-495"><mml:math id="mml-ieqn-495"><mml:mo>=</mml:mo><mml:mn>0.1</mml:mn></mml:math></inline-formula>, <italic>maxPr</italic> <inline-formula id="ieqn-496"><mml:math id="mml-ieqn-496"><mml:mo>=</mml:mo><mml:mn>10</mml:mn></mml:math></inline-formula>, and <italic>minSeqRa</italic> <inline-formula id="ieqn-497"><mml:math id="mml-ieqn-497"><mml:mo>=</mml:mo><mml:mn>0.001</mml:mn></mml:math></inline-formula>.</p>
<fig id="fig-8">
<label>Figure 8</label>
<caption>
<title>Sensitivity of MHQPFPS to <italic>maxStd</italic> in terms of runtime (top row) and number of discovered patterns (bottom row) across four datasets: (<bold>a</bold>) T23L68KD15K, (<bold>b</bold>) FIFA, (<bold>c</bold>) Bike, and (<bold>d</bold>) Leviathan. The results show that increasing <italic>maxStd</italic> mainly affects the number of valid patterns, while its influence on runtime remains limited.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_77790-fig-8.tif"/>
</fig><fig id="fig-9">
<label>Figure 9</label>
<caption>
<title>Sensitivity of MHQPFPS to <italic>minHqRa</italic> in terms of runtime (top row) and number of discovered patterns (bottom row) across four datasets: (<bold>a</bold>) T23L68KD15K, (<bold>b</bold>) FIFA, (<bold>c</bold>) Bike, and (<bold>d</bold>) Leviathan. The results show that increasing <italic>minHqRa</italic> significantly reduces the number of discovered patterns, while runtime remains relatively stable.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_77790-fig-9.tif"/>
</fig>
<p><bold>Runtime.</bold> Across both parameters and all four datasets, runtime shows no clear monotonic trend and varies only within a narrow range. This behavior is consistent with the algorithm design: the upper-bound pruning condition depends only on <italic>supRa</italic> and <italic>maxPer</italic>, which are anti-monotonic, whereas <italic>maxStd</italic> and <italic>minHqRa</italic> affect only the final HQPFP verification step and do not alter the candidate search space explored during DFS.</p>
<p><bold>Pattern count.</bold> For <italic>maxStd</italic> (<xref ref-type="fig" rid="fig-8">Fig. 8</xref>), FIFA and Leviathan exhibit a clear increase in pattern count followed by saturation. On FIFA, the count rises from <inline-formula id="ieqn-498"><mml:math id="mml-ieqn-498"><mml:mn>1</mml:mn></mml:math></inline-formula> at <inline-formula id="ieqn-499"><mml:math id="mml-ieqn-499"><mml:mrow><mml:mtext mathvariant="italic">maxStd</mml:mtext></mml:mrow><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:math></inline-formula> to <inline-formula id="ieqn-500"><mml:math id="mml-ieqn-500"><mml:mn>6</mml:mn></mml:math></inline-formula> at <inline-formula id="ieqn-501"><mml:math id="mml-ieqn-501"><mml:mrow><mml:mtext mathvariant="italic">maxStd</mml:mtext></mml:mrow><mml:mo>=</mml:mo><mml:mn>5</mml:mn></mml:math></inline-formula> and remains stable thereafter, indicating that no patterns in this dataset have a period standard deviation exceeding <inline-formula id="ieqn-502"><mml:math id="mml-ieqn-502"><mml:mn>5</mml:mn></mml:math></inline-formula>. On Leviathan, saturation occurs at <inline-formula id="ieqn-503"><mml:math id="mml-ieqn-503"><mml:mrow><mml:mtext mathvariant="italic">maxStd</mml:mtext></mml:mrow><mml:mo>=</mml:mo><mml:mn>3</mml:mn></mml:math></inline-formula> with a maximum of <inline-formula id="ieqn-504"><mml:math id="mml-ieqn-504"><mml:mn>10</mml:mn></mml:math></inline-formula> patterns.</p>
<p>For <italic>minHqRa</italic> (<xref ref-type="fig" rid="fig-9">Fig. 9</xref>), FIFA and Leviathan exhibit a sharp decline in pattern count. On FIFA, the pattern count drops from <inline-formula id="ieqn-505"><mml:math id="mml-ieqn-505"><mml:mn>126</mml:mn></mml:math></inline-formula> at <inline-formula id="ieqn-506"><mml:math id="mml-ieqn-506"><mml:mrow><mml:mtext mathvariant="italic">minHqRa</mml:mtext></mml:mrow><mml:mo>=</mml:mo><mml:mn>0.10</mml:mn></mml:math></inline-formula> to fewer than <inline-formula id="ieqn-507"><mml:math id="mml-ieqn-507"><mml:mn>10</mml:mn></mml:math></inline-formula> at <inline-formula id="ieqn-508"><mml:math id="mml-ieqn-508"><mml:mrow><mml:mtext mathvariant="italic">minHqRa</mml:mtext></mml:mrow><mml:mo>=</mml:mo><mml:mn>0.15</mml:mn></mml:math></inline-formula>, a reduction of over <inline-formula id="ieqn-509"><mml:math id="mml-ieqn-509"><mml:mn>92</mml:mn><mml:mi mathvariant="normal">&#x0025;</mml:mi></mml:math></inline-formula> within a single threshold step. On Leviathan, the count decreases from <inline-formula id="ieqn-510"><mml:math id="mml-ieqn-510"><mml:mn>71</mml:mn></mml:math></inline-formula> to approximately <inline-formula id="ieqn-511"><mml:math id="mml-ieqn-511"><mml:mn>10</mml:mn></mml:math></inline-formula> over the same interval. This suggests that a large fraction of periodically frequent patterns in these datasets carry quantitative ratios concentrated in the interval <inline-formula id="ieqn-512"><mml:math id="mml-ieqn-512"><mml:mo stretchy="false">[</mml:mo><mml:mn>0.10</mml:mn><mml:mo>,</mml:mo><mml:mn>0.15</mml:mn><mml:mo stretchy="false">]</mml:mo></mml:math></inline-formula>.</p>
<p>Bike remains insensitive to both parameters across all tested values, reflecting that its patterns inherently exhibit low period variance and high quantitative contribution. T23L68KD15K yields no patterns under the experimental configuration, consistent with the results reported in <xref ref-type="fig" rid="fig-3">Figs. 3</xref> and <xref ref-type="fig" rid="fig-6">6</xref>.</p>
<p>Overall, these results show that <italic>maxStd</italic> and <italic>minHqRa</italic> mainly act as quality-filtering thresholds whose influence on the output is data-dependent, while their effect on runtime remains limited.</p>
</sec>
<sec id="s5_5">
<label>5.5</label>
<title>Sensitivity to Quantitative Value Distribution</title>
<p>To examine the sensitivity of MHQPFPS to quantitative values, we conduct a controlled experiment on T23L68KD15K by replacing all item quantities with values drawn from three distributions while preserving the original sequence structure: (A) <italic>Uniform</italic> <inline-formula id="ieqn-513"><mml:math id="mml-ieqn-513"><mml:mrow><mml:mi>&#x1D4B0;</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mn>10</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, in which all values are evenly distributed; (B) <italic>Normal</italic> <inline-formula id="ieqn-514"><mml:math id="mml-ieqn-514"><mml:mrow><mml:mi>&#x1D4A9;</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mn>5</mml:mn><mml:mo>,</mml:mo><mml:mn>1.5</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, truncated to <inline-formula id="ieqn-515"><mml:math id="mml-ieqn-515"><mml:mo stretchy="false">[</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mn>10</mml:mn><mml:mo stretchy="false">]</mml:mo></mml:math></inline-formula>, in which values concentrate around the mean; and (C) <italic>Long-tail</italic> (Pareto with <inline-formula id="ieqn-516"><mml:math id="mml-ieqn-516"><mml:mi>&#x03B1;</mml:mi><mml:mo>=</mml:mo><mml:mn>1.5</mml:mn></mml:math></inline-formula>), in which the majority of values are small while a minority are disproportionately large. All other parameters are fixed at <inline-formula id="ieqn-517"><mml:math id="mml-ieqn-517"><mml:mtext>minSupRa</mml:mtext><mml:mo>=</mml:mo><mml:mn>0.05</mml:mn></mml:math></inline-formula>, <inline-formula id="ieqn-518"><mml:math id="mml-ieqn-518"><mml:mtext>maxPr</mml:mtext><mml:mo>=</mml:mo><mml:mn>10</mml:mn></mml:math></inline-formula>, <inline-formula id="ieqn-519"><mml:math id="mml-ieqn-519"><mml:mtext>maxStd</mml:mtext><mml:mo>=</mml:mo><mml:mn>10</mml:mn></mml:math></inline-formula>, <inline-formula id="ieqn-520"><mml:math id="mml-ieqn-520"><mml:mtext>minSeqRa</mml:mtext><mml:mo>=</mml:mo><mml:mn>0.001</mml:mn></mml:math></inline-formula>, and <inline-formula id="ieqn-521"><mml:math id="mml-ieqn-521"><mml:mtext>minHqRa</mml:mtext></mml:math></inline-formula> is varied across <inline-formula id="ieqn-522"><mml:math id="mml-ieqn-522"><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mn>0.01</mml:mn><mml:mo>,</mml:mo><mml:mn>0.05</mml:mn><mml:mo>,</mml:mo><mml:mn>0.10</mml:mn><mml:mo>,</mml:mo><mml:mn>0.15</mml:mn><mml:mo>,</mml:mo><mml:mn>0.20</mml:mn><mml:mo>,</mml:mo><mml:mn>0.25</mml:mn><mml:mo>,</mml:mo><mml:mn>0.30</mml:mn><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula>.</p>
<p><xref ref-type="fig" rid="fig-10">Fig. 10</xref> shows the number of discovered patterns under each distribution. Under the long-tail distribution, the pattern count drops sharply at low <inline-formula id="ieqn-523"><mml:math id="mml-ieqn-523"><mml:mtext>minHqRa</mml:mtext></mml:math></inline-formula> values, since a small number of high-quantity transactions dominate the sequence-level total <inline-formula id="ieqn-524"><mml:math id="mml-ieqn-524"><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, causing most patterns to exhibit low <inline-formula id="ieqn-525"><mml:math id="mml-ieqn-525"><mml:mtext>quRa</mml:mtext></mml:math></inline-formula> values. Even a modest increase in <inline-formula id="ieqn-526"><mml:math id="mml-ieqn-526"><mml:mtext>minHqRa</mml:mtext></mml:math></inline-formula> therefore eliminates a large fraction of candidates. Under the uniform distribution, the decline is more gradual, as quantitative contributions are spread more evenly across transactions and no single transaction disproportionately inflates <inline-formula id="ieqn-527"><mml:math id="mml-ieqn-527"><mml:mi>q</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. The normal distribution exhibits intermediate sensitivity, consistent with its moderate degree of concentration around the mean.</p>
<fig id="fig-10">
<label>Figure 10</label>
<caption>
<title>Number of discovered patterns under different <italic>minHqRa</italic> settings for three quantitative value distributions. The results show that the distribution of quantitative values has a clear effect on pattern discovery, with the long-tail setting producing a sharper decline as <italic>minHqRa</italic> increases.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_77790-fig-10.tif"/>
</fig>
<p><xref ref-type="fig" rid="fig-11">Fig. 11</xref> shows that runtime remains relatively stable across all three distributions and all tested <inline-formula id="ieqn-528"><mml:math id="mml-ieqn-528"><mml:mtext>minHqRa</mml:mtext></mml:math></inline-formula> values. This suggests that the pruning behavior is not strongly affected by the quantitative value distribution under the tested settings, although the number of discovered patterns is clearly influenced by how quantitative values are distributed.</p>
<fig id="fig-11">
<label>Figure 11</label>
<caption>
<title>Runtime under different <italic>minHqRa</italic> settings for three quantitative value distributions. The results show that runtime remains relatively stable across the tested distributions, although the number of discovered patterns varies substantially.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_77790-fig-11.tif"/>
</fig>
<p>These results indicate that MHQPFPS is sensitive to the distribution of quantitative values mainly through its effect on <inline-formula id="ieqn-529"><mml:math id="mml-ieqn-529"><mml:mtext>quRa</mml:mtext></mml:math></inline-formula> and the resulting number of discovered patterns. Accordingly, the practical choice of <inline-formula id="ieqn-530"><mml:math id="mml-ieqn-530"><mml:mtext>minHqRa</mml:mtext></mml:math></inline-formula> should take into account the quantitative characteristics of the target dataset.</p>
</sec>
</sec>
<sec id="s6">
<label>6</label>
<title>Conclusion</title>
<p>This work investigated the problem of mining High-Quantitative Periodic Frequent Patterns in multi-sequence databases, moving beyond the traditional focus on periodicity within a single sequence. By jointly modeling support ratio, periodic regularity, quantitative contribution, and cross-sequence consistency, we provided a unified definition of HQPFPS that better reflects the characteristics of real-world sequential data. To efficiently solve this problem, we designed the MHQPFPS algorithm, which combines a compact HQPFPS-list structure with a depth-first pattern-growth strategy and an anti-monotonic upper-bound pruning mechanism. This design enables effective candidate evaluation while avoiding repeated scans of the database.</p>
<p>Experimental results on both real-world and synthetic datasets show that the proposed approach is efficient and robust under a wide range of parameter settings. In particular, <inline-formula id="ieqn-531"><mml:math id="mml-ieqn-531"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>u</mml:mi><mml:mi>p</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> has a dominant influence on memory consumption and overall runtime by controlling the number of maintained candidates, whereas <inline-formula id="ieqn-532"><mml:math id="mml-ieqn-532"><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>S</mml:mi><mml:mi>e</mml:mi><mml:mi>q</mml:mi><mml:mi>R</mml:mi><mml:mi>a</mml:mi></mml:math></inline-formula> is crucial for reducing the search space through early pruning of patterns that lack sufficient cross-sequence support. These observations highlight the importance of explicitly incorporating sequence-level constraints when mining periodic patterns across multiple sequences.</p>
<p>Several directions remain for future research. One promising extension is to investigate adaptive or data-driven strategies for automatically selecting threshold parameters. In addition, the HQPFPS-list structure could be further optimized to reduce memory overhead, and parallel or distributed implementations could be explored to improve scalability on large-scale datasets. Finally, extending the proposed framework to uncertain, weighted, or multidimensional sequence databases would further broaden the applicability of high-quantitative periodic pattern mining in practical settings.</p>
</sec>
</body>
<back>
<ack>
<p>Not applicaple.</p>
</ack>
<sec>
<title>Funding Statement</title>
<p>This research was funded by the Startup Foundation for Introducing Talent of NUIST, China and the Natural Science Foundation of Shandong Province, China (Grant no. ZR2022MF298).</p>
</sec>
<sec>
<title>Author Contributions</title>
<p>The authors confirm contribution to the paper as follows: study conception and design: Yan Ge, Zhenzhou Zhang, Chien-Ming Chen; analysis and interpretation of results: Yan Ge, Zhenzhou Zhang; draft manuscript preparation: Yan Ge, Zhenzhou Zhang, Chien-Ming Chen. All authors reviewed and approved the final version of the manuscript.</p>
</sec>
<sec sec-type="data-availability">
<title>Availability of Data and Materials: </title>
<p>Not applicable.</p>
</sec>
<sec>
<title>Ethics Approval: </title>
<p>Not applicable.</p>
</sec>
<sec sec-type="COI-statement">
<title>Conflicts of Interest: </title>
<p>The authors declare no conflicts of interest.</p>
</sec>
<ref-list content-type="authoryear">
<title>References</title>
<ref id="ref-1"><label>[1]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Chen</surname> <given-names>MS</given-names></string-name>, <string-name><surname>Han</surname> <given-names>J</given-names></string-name>, <string-name><surname>Yu</surname> <given-names>PS</given-names></string-name></person-group>. <article-title>Data mining: an overview from a database perspective</article-title>. <source>IEEE Trans Knowl Data Eng</source>. <year>2002</year>;<volume>8</volume>(<issue>6</issue>):<fpage>866</fpage>&#x2013;<lpage>83</lpage>. doi:<pub-id pub-id-type="doi">10.1109/69.553155</pub-id>.</mixed-citation></ref>
<ref id="ref-2"><label>[2]</label><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Bramer</surname> <given-names>M</given-names></string-name></person-group>. <source>Principles of data mining</source>. <publisher-loc>London, UK</publisher-loc>: <publisher-name>Springer</publisher-name>; <year>2007</year>.</mixed-citation></ref>
<ref id="ref-3"><label>[3]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Han</surname> <given-names>J</given-names></string-name>, <string-name><surname>Cheng</surname> <given-names>H</given-names></string-name>, <string-name><surname>Xin</surname> <given-names>D</given-names></string-name>, <string-name><surname>Yan</surname> <given-names>X</given-names></string-name></person-group>. <article-title>Frequent pattern mining: current status and future directions</article-title>. <source>Data Min Knowl Discov</source>. <year>2007</year>;<volume>15</volume>(<issue>1</issue>):<fpage>55</fpage>&#x2013;<lpage>86</lpage>. doi:<pub-id pub-id-type="doi">10.1007/s10618-006-0059-1</pub-id>.</mixed-citation></ref>
<ref id="ref-4"><label>[4]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Chen</surname> <given-names>J</given-names></string-name>, <string-name><surname>Yang</surname> <given-names>S</given-names></string-name>, <string-name><surname>Gao</surname> <given-names>T</given-names></string-name>, <string-name><surname>Ying</surname> <given-names>Y</given-names></string-name>, <string-name><surname>Li</surname> <given-names>T</given-names></string-name>, <string-name><surname>Li</surname> <given-names>P</given-names></string-name></person-group>. <article-title>Multi-type concept drift detection under a dual-layer variable sliding window in frequent pattern mining with cloud computing</article-title>. <source>J Cloud Comput</source>. <year>2024</year>;<volume>13</volume>(<issue>1</issue>):<fpage>40</fpage>. doi: <pub-id pub-id-type="doi">10.1186/s13677-023-00566-9</pub-id>.</mixed-citation></ref>
<ref id="ref-5"><label>[5]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Zhong</surname> <given-names>N</given-names></string-name>, <string-name><surname>Li</surname> <given-names>Y</given-names></string-name>, <string-name><surname>Wu</surname> <given-names>ST</given-names></string-name></person-group>. <article-title>Effective pattern discovery for text mining</article-title>. <source>IEEE Trans Knowl Data Eng</source>. <year>2010</year>;<volume>24</volume>(<issue>1</issue>):<fpage>30</fpage>&#x2013;<lpage>44</lpage>. doi:<pub-id pub-id-type="doi">10.1109/tkde.2010.211</pub-id>.</mixed-citation></ref>
<ref id="ref-6"><label>[6]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Li</surname> <given-names>X</given-names></string-name>, <string-name><surname>Deng</surname> <given-names>ZH</given-names></string-name></person-group>. <article-title>Mining frequent patterns from network flows for monitoring network</article-title>. <source>Expert Syst Appl</source>. <year>2010</year>;<volume>37</volume>(<issue>12</issue>):<fpage>8850</fpage>&#x2013;<lpage>60</lpage>. doi:<pub-id pub-id-type="doi">10.1016/j.eswa.2010.06.012</pub-id>.</mixed-citation></ref>
<ref id="ref-7"><label>[7]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Liu</surname> <given-names>YC</given-names></string-name>, <string-name><surname>Lee</surname> <given-names>LF</given-names></string-name>, <string-name><surname>Yeh</surname> <given-names>KH</given-names></string-name></person-group>. <article-title>Enhancing UAV security with GPS spoofing and jamming anomaly detection</article-title>. <source>J Reliab Secur Comput</source>. <year>2025</year>;<volume>1</volume>(<issue>1</issue>):<fpage>54</fpage>&#x2013;<lpage>67</lpage>.</mixed-citation></ref>
<ref id="ref-8"><label>[8]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Henriques</surname> <given-names>R</given-names></string-name>, <string-name><surname>Madeira</surname> <given-names>SC</given-names></string-name></person-group>. <article-title>BicPAM: pattern-based biclustering for biomedical data analysis</article-title>. <source>Algorithms Mol Biol</source>. <year>2014</year>;<volume>9</volume>(<issue>1</issue>):<fpage>27</fpage>.</mixed-citation></ref>
<ref id="ref-9"><label>[9]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Hellal</surname> <given-names>A</given-names></string-name>, <string-name><surname>Romdhane</surname> <given-names>LB</given-names></string-name></person-group>. <article-title>Minimal contrast frequent pattern mining for malware detection</article-title>. <source>Comput Secur</source>. <year>2016</year>;<volume>62</volume>:<fpage>19</fpage>&#x2013;<lpage>32</lpage>.</mixed-citation></ref>
<ref id="ref-10"><label>[10]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Gan</surname> <given-names>W</given-names></string-name>, <string-name><surname>Chen</surname> <given-names>L</given-names></string-name>, <string-name><surname>Wan</surname> <given-names>S</given-names></string-name>, <string-name><surname>Chen</surname> <given-names>J</given-names></string-name>, <string-name><surname>Chen</surname> <given-names>CM</given-names></string-name></person-group>. <article-title>Anomaly rule detection in sequence data</article-title>. <source>IEEE Trans Knowl Data Eng</source>. <year>2023</year>;<volume>35</volume>(<issue>12</issue>):<fpage>12095</fpage>&#x2013;<lpage>108</lpage>. doi:<pub-id pub-id-type="doi">10.1109/tkde.2021.3139086</pub-id>.</mixed-citation></ref>
<ref id="ref-11"><label>[11]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Ma</surname> <given-names>C</given-names></string-name>, <string-name><surname>Vu</surname> <given-names>HQ</given-names></string-name>, <string-name><surname>Wang</surname> <given-names>J</given-names></string-name>, <string-name><surname>Trieu</surname> <given-names>VH</given-names></string-name>, <string-name><surname>Li</surname> <given-names>G</given-names></string-name></person-group>. <article-title>Understanding residents&#x2019; behavior for smart city management by sequential and periodic pattern mining</article-title>. <source>IEEE Trans Comput Soc Syst</source>. <year>2023</year>;<volume>11</volume>(<issue>1</issue>):<fpage>1260</fpage>&#x2013;<lpage>76</lpage>. doi:<pub-id pub-id-type="doi">10.1109/tcss.2023.3249740</pub-id>.</mixed-citation></ref>
<ref id="ref-12"><label>[12]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><surname>Ayres</surname> <given-names>J</given-names></string-name>, <string-name><surname>Flannick</surname> <given-names>J</given-names></string-name>, <string-name><surname>Gehrke</surname> <given-names>J</given-names></string-name>, <string-name><surname>Yiu</surname> <given-names>T</given-names></string-name></person-group>. <article-title>Sequential pattern mining using a bitmap representation</article-title>. In: <conf-name>Proceedings of the Eighth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining; 2002 Jul 23&#x2013;26; Edmonton, AB, Canada</conf-name>. p. <fpage>429</fpage>&#x2013;<lpage>35</lpage>.</mixed-citation></ref>
<ref id="ref-13"><label>[13]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Li</surname> <given-names>G</given-names></string-name>, <string-name><surname>Xiang</surname> <given-names>J</given-names></string-name>, <string-name><surname>Fang</surname> <given-names>W</given-names></string-name>, <string-name><surname>Wang</surname> <given-names>J</given-names></string-name>, <string-name><surname>Shang</surname> <given-names>T</given-names></string-name></person-group>. <article-title>HUPSP-LAL: efficiently mining utility-driven sequential patterns in uncertain sequences</article-title>. <source>Expert Syst Appl</source>. <year>2025</year>;<volume>270</volume>:<fpage>126536</fpage>.</mixed-citation></ref>
<ref id="ref-14"><label>[14]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><surname>Tanbeer</surname> <given-names>SK</given-names></string-name>, <string-name><surname>Ahmed</surname> <given-names>CF</given-names></string-name>, <string-name><surname>Jeong</surname> <given-names>BS</given-names></string-name>, <string-name><surname>Lee</surname> <given-names>YK</given-names></string-name></person-group>. <article-title>Discovering periodic-frequent patterns in transactional databases</article-title>. In: <conf-name>Pacific-Asia Conference on Knowledge Discovery and Data Mining</conf-name>. <publisher-loc>Berlin/Heidelberg, Germany</publisher-loc>: <publisher-name>Springer</publisher-name>; <year>2009</year>. p. <fpage>242</fpage>&#x2013;<lpage>53</lpage>.</mixed-citation></ref>
<ref id="ref-15"><label>[15]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Jiang</surname> <given-names>Z</given-names></string-name>, <string-name><surname>Tang</surname> <given-names>Y</given-names></string-name>, <string-name><surname>Gu</surname> <given-names>J</given-names></string-name>, <string-name><surname>Zhang</surname> <given-names>Z</given-names></string-name>, <string-name><surname>Liu</surname> <given-names>W</given-names></string-name></person-group>. <article-title>Discovering periodic frequent travel patterns of individual metro passengers considering different time granularities and station attributes</article-title>. <source>Int J Transp Sci Technol</source>. <year>2024</year>;<volume>14</volume>(<issue>4</issue>):<fpage>12</fpage>&#x2013;<lpage>26</lpage>. doi:<pub-id pub-id-type="doi">10.1016/j.ijtst.2023.03.003</pub-id>.</mixed-citation></ref>
<ref id="ref-16"><label>[16]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Fournier-Viger</surname> <given-names>P</given-names></string-name>, <string-name><surname>Yang</surname> <given-names>P</given-names></string-name>, <string-name><surname>Li</surname> <given-names>Z</given-names></string-name>, <string-name><surname>Lin</surname> <given-names>JCW</given-names></string-name>, <string-name><surname>Kiran</surname> <given-names>RU</given-names></string-name></person-group>. <article-title>Discovering rare correlated periodic patterns in multiple sequences</article-title>. <source>Data Knowl Eng</source>. <year>2020</year>;<volume>126</volume>:<fpage>101733</fpage>.</mixed-citation></ref>
<ref id="ref-17"><label>[17]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Chien-Ming</surname> <given-names>C</given-names></string-name>, <string-name><surname>Zhang</surname> <given-names>Z</given-names></string-name>, <string-name><surname>Wu</surname> <given-names>J</given-names></string-name>, <string-name><surname>Lakshmanna</surname> <given-names>K</given-names></string-name></person-group>. <article-title>High utility periodic frequent pattern mining in multiple sequences</article-title>. <source>Comput Model Eng Sci</source>. <year>2023</year>;<volume>137</volume>(<issue>1</issue>):<fpage>733</fpage>. doi:<pub-id pub-id-type="doi">10.32604/cmes.2023.027463</pub-id>.</mixed-citation></ref>
<ref id="ref-18"><label>[18]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Hong</surname> <given-names>TP</given-names></string-name>, <string-name><surname>Kuo</surname> <given-names>CS</given-names></string-name>, <string-name><surname>Chi</surname> <given-names>SC</given-names></string-name></person-group>. <article-title>Mining association rules from quantitative data</article-title>. <source>Intell Data Anal</source>. <year>1999</year>;<volume>3</volume>(<issue>5</issue>):<fpage>363</fpage>&#x2013;<lpage>76</lpage>. doi:<pub-id pub-id-type="doi">10.3233/ida-1999-3504</pub-id>.</mixed-citation></ref>
<ref id="ref-19"><label>[19]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Nguyen</surname> <given-names>H</given-names></string-name>, <string-name><surname>Le</surname> <given-names>N</given-names></string-name>, <string-name><surname>Bui</surname> <given-names>H</given-names></string-name>, <string-name><surname>Le</surname> <given-names>T</given-names></string-name></person-group>. <article-title>Mining frequent weighted utility patterns with dynamic weighted items from quantitative databases</article-title>. <source>Appl Intell</source>. <year>2023</year>;<volume>53</volume>(<issue>16</issue>):<fpage>19629</fpage>&#x2013;<lpage>46</lpage>. doi:<pub-id pub-id-type="doi">10.1007/s10489-023-04554-z</pub-id>.</mixed-citation></ref>
</ref-list>
</back></article>












