Formal Languages and Algorithms for Similarity based Retrieval from Sequence Databases

A. Prasad Sistla

The paper considers various formalisms based on Automata, Temporal Logic and Regular Expressions for specifying queries over sequences. Unlike traditional binary semantics, the pap…