/*
 * Description    : Tests that the SimilarityCheckRule rewrites the edit-distance function with a threshold 
 *                  into edit-distance-check if possible.
 *                  Tests that the optimizer drills through the let clause.
 *                  Replacement should *not* happen because of a ">=" condition on the edit distance.
 * 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;

load dataset DBLP 
using "edu.uci.ics.asterix.external.dataset.adapter.NCFileSystemAdapter"
(("path"="nc1://data/dblp-small/dblp-small-id.txt"),("format"="delimited-text"),("delimiter"=":")) pre-sorted;

write output to nc1:"rttest/similarity_edit-distance-let-to-edit-distance-check_05.adm";

for $o in dataset('DBLP')
let $ed := edit-distance($o.authors, "Michael J. Carey")
where $ed >= 2
return $ed