序列数据库中基于相似性检索的形式语言和算法
Formal Languages and Algorithms for Similarity based Retrieval from Sequence Databases
摘要：
本文考虑了基于自动机，时态逻辑和正则表达式的各种形式主义，用于指定序列上的查询。与传统的二进制语义不同，本文提出了一种基于相似度的语义。更具体地，范围[0，1]中的距离度量与序列相关联，查询对表示序列满足查询的紧密程度。这些措施被定义使用频谱的赋范向量距离措施。提出了基于查询的语法和传统语义的各种距离度量。提出了计算这些距离测度的有效算法。这些算法可用于从数据库中检索紧密满足给定条件的序列。
英文摘要：
The paper considers various formalisms based on Automata, Temporal Logic and Regular Expressions for specifying queries over sequences. Unlike traditional binary semantics, the paper presents a similarity based semantics for thse formalisms. More specifically, a distance measure in the range [0,1] is associated with a sequence, query pair denoting how closely the sequence satisfies the query. These measures are defined using a spectrum of normed vector distance measures. Various distance measures based on the syntax and the traditional semantics of the query are presented. Efficient algorithms for computing these distance measure are presented. These algorithms can be employed for retrieval of sequence from a database that closely satisfy a given.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
