23 echo -n -e "${START}${2}${END}"
27 echo '5k 1 st 0 sf' "$2" "$1" '<t ' "$2" "$1" '!<f p' | dc
43 for TESTDOC in medline_full.xml #"xmark_10.xml" #"medline.xml" "xmark_01.04.xml"
49 MLOG="$TESTDOC"_monet.log
50 SLOG="$TESTDOC"_sxsi.log
51 QLOG="$TESTDOC"_qizx.log
52 rm -f "$MLOG" "$SLOG" "$QLOG"
53 cat "$TESTDOC".queries | grep -v '^#' | while read line
56 qname=`echo "$line" | cut -f 1 -d "%"`
57 query=`echo "$line" | cut -f 2 -d "%"`
58 query_qizx=`echo "$line" | cut -f 3 -d "%"`
59 if [ -z "$query_qizx" ]
64 echo "$query" | sed -e 's|/descendant::|//|g' | sed -e 's|child::||g'
71 } < <(`pwd`/sxsi.sh "$query" "$TESTDOC" "$repeat_sxsi" "$2")
74 echo -n Running MonetBD/XQuery
76 if [ "$query" = '/descendant::people[ descendant::person[not(child::address)] and descendant::person[not(child::watches)]]/child::person[child::watches]' ]
78 #Quick work around since MonetBD fails on q11
79 monet_count_time=1000000
80 monet_mat_time=1000000
81 monet_print_time=1000000
82 monet_count="$sxsi_count"
89 } < <(`pwd`/monet.sh "$query" "$TESTDOC" "$repeat_monet" "$2")
94 echo -n Running Qizx/XQuery
100 } < <(`pwd`/qizx.sh "$query_qizx" "$TESTDOC" "$repeat_qizx" "$2")
104 if [ "$monet_count" = "" ]
106 monet_count="$sxsi_count"
108 if [ "$sxsi_count" = "" ]
110 sxsi_count="$monet_count"
112 for v in sxsi_count_time sxsi_mat_time sxsi_print_time \
113 monet_count_time monet_mat_time monet_print_time \
114 qizx_count_time qizx_mat_time qizx_print_time
118 { read "$v"; } < <( echo 7200000 )
124 echo "$I,$sxsi_count,$sxsi_count_time,$sxsi_mat_time,$sxsi_print_time" >> "$SLOG"
125 echo "$I,$monet_count,$monet_count_time,$monet_mat_time,$monet_print_time" >>"$MLOG"
126 echo "$I,$qizx_count,$qizx_count_time,$qizx_mat_time,$qizx_print_time" >>"$QLOG"
127 echo -n "Correctness: "
128 if [ "$monet_count" = "$sxsi_count" ]
130 cecho green "count ok ($monet_count) "
132 cecho red "count error (monetdb: $monet_count, sxsi: $sxsi_count) "
136 CTIME="SXSI: $sxsi_count_time
137 MONET: $monet_count_time
138 QIZX: $qizx_count_time"
139 SORTED_CTIME=`echo "$CTIME" | sort --key=2 -g`
140 STR_CTIME=`echo "$SORTED_CTIME" | xargs echo -n`
141 first=`echo "$STR_CTIME" | cut -f1 -d':'`
142 if [ "$first" = "SXSI" ]
144 cecho green "$STR_CTIME"
146 cecho yellow "$STR_CTIME"