asterix-app/src/test/resources/optimizerts/queries/similarity/jaccard-let-to-jaccard-check_06.aql

/*
 * 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 reverse "<=" 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 0.8f >= $jacc 
return $jacc