| /* |
| * Description : Tests that the SimilarityCheckRule rewrites the similarity-jaccard function with a threshold |
| * into similarity-jaccard-check-check if possible. |
| * Tests that the optimizer drills through the let clause. |
| * Replacement should *not* happen because of a "<=" condition on the similarity. |
| * Success : Yes |
| */ |
| |
| drop dataverse test if exists; |
| create dataverse test; |
| use dataverse test; |
| |
| create type DBLPType as closed { |
| id: int32, |
| dblpid: string, |
| title: string, |
| authors: string, |
| misc: string |
| } |
| |
| create dataset DBLP(DBLPType) partitioned by key id; |
| |
| write output to nc1:"rttest/similarity_jaccard-let-to-jaccard-check_01.adm"; |
| |
| for $paper in dataset('DBLP') |
| let $jacc := similarity-jaccard(word-tokens($paper.title), word-tokens("Transactions for Cooperative Environments")) |
| where $jacc <= 0.8f |
| return $jacc |