Changeset: ef33ff2872da for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=ef33ff2872da
Modified Files:
        
sql/test/BugTracker-2019/Tests/duplicates-not-eliminated-long-CASE-stmt.Bug-6697.stable.out
Branch: default
Log Message:

approved output


diffs (truncated from 1215 to 300 lines):

diff --git 
a/sql/test/BugTracker-2019/Tests/duplicates-not-eliminated-long-CASE-stmt.Bug-6697.stable.out
 
b/sql/test/BugTracker-2019/Tests/duplicates-not-eliminated-long-CASE-stmt.Bug-6697.stable.out
--- 
a/sql/test/BugTracker-2019/Tests/duplicates-not-eliminated-long-CASE-stmt.Bug-6697.stable.out
+++ 
b/sql/test/BugTracker-2019/Tests/duplicates-not-eliminated-long-CASE-stmt.Bug-6697.stable.out
@@ -34,7 +34,7 @@ stdout of test 'duplicates-not-eliminate
 % 1023 # length
 function user.main():void;
     X_1:void := querylog.define("explain select sys.timestamp_to_str(case when 
task0.\"sys_created_on\" >= \\'1999-10-31 09:00:00\\' and 
task0.\"sys_created_on\" < \\'2000-04-02 10:00:00\\' then 
task0.\"sys_created_on\" + interval \\'-28800\\' second when 
task0.\"sys_created_on\" >= \\'2000-04-02 10:00:00\\' and 
task0.\"sys_created_on\" < \\'2000-10-29 09:00:00\\' then 
task0.\"sys_created_on\" + interval \\'-25200\\' second when 
task0.\"sys_created_on\" >= \\'2000-10-29 09:00:00\\' and 
task0.\"sys_created_on\" < \\'2001-04-01 10:00:00\\' then 
task0.\"sys_created_on\" + interval \\'-28800\\' second when 
task0.\"sys_created_on\" >= \\'2001-04-01 10:00:00\\' and 
task0.\"sys_created_on\" < \\'2001-10-28 09:00:00\\' then 
task0.\"sys_created_on\" + interval \\'-25200\\' second when 
task0.\"sys_created_on\" >= \\'2001-10-28 09:00:00\\' and 
task0.\"sys_created_on\" < \\'2002-04-07 10:00:00\\' then 
task0.\"sys_created_on\" + interval \\'-28800\\' second when 
task0.\"sys_created_on\" >= \\'20
 02-04-07 10:00:00\\' and t
-barrier X_1246:bit := language.dataflow();
+barrier X_1300:bit := language.dataflow();
     X_43:bat[:str] := bat.new(nil:str);
     X_56:bat[:timestamp] := algebra.project(X_43:bat[:str], nil:timestamp);
     X_45:bat[:timestamp] := bat.new(nil:timestamp);
@@ -44,612 +44,611 @@ barrier X_1246:bit := language.dataflow(
     X_64:bat[:timestamp] := algebra.projection(C_58:bat[:oid], 
X_61:bat[:timestamp]);
     X_65:bat[:timestamp] := bat.replace(X_56:bat[:timestamp], C_58:bat[:oid], 
X_64:bat[:timestamp], true:bit);
     X_66:bat[:bit] := batcalc.not(X_51:bat[:bit]);
-    X_69:bat[:bit] := batcalc.isnil(X_66:bat[:bit]);
+    X_69:bat[:bit] := batcalc.isnil(X_51:bat[:bit]);
     X_71:bat[:bit] := batcalc.or(X_66:bat[:bit], X_69:bat[:bit]);
-    X_76:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2000-04-02 
10:00:00.000000":timestamp, "2000-10-29 09:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_78:bat[:bit] := batcalc.and(X_71:bat[:bit], X_76:bat[:bit]);
-    C_81:bat[:oid] := algebra.thetaselect(X_78:bat[:bit], true:bit, "==":str);
-    X_85:bat[:timestamp] := 
batmtime.timestamp_add_msec_interval(X_45:bat[:timestamp], -25200000:lng);
-    X_86:bat[:timestamp] := algebra.projection(C_81:bat[:oid], 
X_85:bat[:timestamp]);
-    X_87:bat[:timestamp] := bat.replace(X_65:bat[:timestamp], C_81:bat[:oid], 
X_86:bat[:timestamp], true:bit);
-    X_88:bat[:bit] := batcalc.not(X_76:bat[:bit]);
-    X_89:bat[:bit] := batcalc.isnil(X_88:bat[:bit]);
-    X_90:bat[:bit] := batcalc.or(X_88:bat[:bit], X_89:bat[:bit]);
-    X_91:bat[:bit] := batcalc.and(X_71:bat[:bit], X_90:bat[:bit]);
-    X_96:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2000-10-29 
09:00:00.000000":timestamp, "2001-04-01 10:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_99:bat[:bit] := batcalc.and(X_91:bat[:bit], X_96:bat[:bit]);
-    C_102:bat[:oid] := algebra.thetaselect(X_99:bat[:bit], true:bit, "==":str);
-    X_108:bat[:timestamp] := algebra.projection(C_102:bat[:oid], 
X_61:bat[:timestamp]);
-    X_109:bat[:timestamp] := bat.replace(X_87:bat[:timestamp], 
C_102:bat[:oid], X_108:bat[:timestamp], true:bit);
-    X_111:bat[:bit] := batcalc.not(X_96:bat[:bit]);
-    X_113:bat[:bit] := batcalc.isnil(X_111:bat[:bit]);
-    X_115:bat[:bit] := batcalc.or(X_111:bat[:bit], X_113:bat[:bit]);
-    X_117:bat[:bit] := batcalc.and(X_91:bat[:bit], X_115:bat[:bit]);
-    X_122:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2001-04-01 
10:00:00.000000":timestamp, "2001-10-28 09:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_123:bat[:bit] := batcalc.and(X_117:bat[:bit], X_122:bat[:bit]);
-    C_125:bat[:oid] := algebra.thetaselect(X_123:bat[:bit], true:bit, 
"==":str);
-    X_130:bat[:timestamp] := algebra.projection(C_125:bat[:oid], 
X_85:bat[:timestamp]);
-    X_131:bat[:timestamp] := bat.replace(X_109:bat[:timestamp], 
C_125:bat[:oid], X_130:bat[:timestamp], true:bit);
-    X_132:bat[:bit] := batcalc.not(X_122:bat[:bit]);
-    X_134:bat[:bit] := batcalc.isnil(X_132:bat[:bit]);
-    X_135:bat[:bit] := batcalc.or(X_132:bat[:bit], X_134:bat[:bit]);
-    X_136:bat[:bit] := batcalc.and(X_117:bat[:bit], X_135:bat[:bit]);
-    X_141:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2001-10-28 
09:00:00.000000":timestamp, "2002-04-07 10:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_144:bat[:bit] := batcalc.and(X_136:bat[:bit], X_141:bat[:bit]);
-    C_146:bat[:oid] := algebra.thetaselect(X_144:bat[:bit], true:bit, 
"==":str);
-    X_152:bat[:timestamp] := algebra.projection(C_146:bat[:oid], 
X_61:bat[:timestamp]);
-    X_153:bat[:timestamp] := bat.replace(X_131:bat[:timestamp], 
C_146:bat[:oid], X_152:bat[:timestamp], true:bit);
-    X_154:bat[:bit] := batcalc.not(X_141:bat[:bit]);
-    X_156:bat[:bit] := batcalc.isnil(X_154:bat[:bit]);
-    X_158:bat[:bit] := batcalc.or(X_154:bat[:bit], X_156:bat[:bit]);
-    X_160:bat[:bit] := batcalc.and(X_136:bat[:bit], X_158:bat[:bit]);
-    X_165:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2002-04-07 
10:00:00.000000":timestamp, "2002-10-27 09:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_166:bat[:bit] := batcalc.and(X_160:bat[:bit], X_165:bat[:bit]);
-    C_169:bat[:oid] := algebra.thetaselect(X_166:bat[:bit], true:bit, 
"==":str);
-    X_174:bat[:timestamp] := algebra.projection(C_169:bat[:oid], 
X_85:bat[:timestamp]);
-    X_175:bat[:timestamp] := bat.replace(X_153:bat[:timestamp], 
C_169:bat[:oid], X_174:bat[:timestamp], true:bit);
-    X_177:bat[:bit] := batcalc.not(X_165:bat[:bit]);
-    X_178:bat[:bit] := batcalc.isnil(X_177:bat[:bit]);
-    X_179:bat[:bit] := batcalc.or(X_177:bat[:bit], X_178:bat[:bit]);
-    X_180:bat[:bit] := batcalc.and(X_160:bat[:bit], X_179:bat[:bit]);
-    X_185:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2002-10-27 
09:00:00.000000":timestamp, "2003-04-06 10:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_188:bat[:bit] := batcalc.and(X_180:bat[:bit], X_185:bat[:bit]);
-    C_190:bat[:oid] := algebra.thetaselect(X_188:bat[:bit], true:bit, 
"==":str);
-    X_196:bat[:timestamp] := algebra.projection(C_190:bat[:oid], 
X_61:bat[:timestamp]);
-    X_197:bat[:timestamp] := bat.replace(X_175:bat[:timestamp], 
C_190:bat[:oid], X_196:bat[:timestamp], true:bit);
-    X_198:bat[:bit] := batcalc.not(X_185:bat[:bit]);
-    X_200:bat[:bit] := batcalc.isnil(X_198:bat[:bit]);
-    X_203:bat[:bit] := batcalc.or(X_198:bat[:bit], X_200:bat[:bit]);
-    X_205:bat[:bit] := batcalc.and(X_180:bat[:bit], X_203:bat[:bit]);
-    X_210:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2003-04-06 
10:00:00.000000":timestamp, "2003-10-26 09:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_212:bat[:bit] := batcalc.and(X_205:bat[:bit], X_210:bat[:bit]);
-    C_214:bat[:oid] := algebra.thetaselect(X_212:bat[:bit], true:bit, 
"==":str);
-    X_219:bat[:timestamp] := algebra.projection(C_214:bat[:oid], 
X_85:bat[:timestamp]);
-    X_220:bat[:timestamp] := bat.replace(X_197:bat[:timestamp], 
C_214:bat[:oid], X_219:bat[:timestamp], true:bit);
-    X_221:bat[:bit] := batcalc.not(X_210:bat[:bit]);
-    X_222:bat[:bit] := batcalc.isnil(X_221:bat[:bit]);
-    X_223:bat[:bit] := batcalc.or(X_221:bat[:bit], X_222:bat[:bit]);
-    X_224:bat[:bit] := batcalc.and(X_205:bat[:bit], X_223:bat[:bit]);
-    X_229:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2003-10-26 
09:00:00.000000":timestamp, "2004-04-04 10:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_232:bat[:bit] := batcalc.and(X_224:bat[:bit], X_229:bat[:bit]);
+    C_75:bat[:oid] := algebra.thetaselect(X_71:bat[:bit], true:bit, "==":str);
+    X_80:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2000-04-02 
10:00:00.000000":timestamp, "2000-10-29 09:00:00.000000":timestamp, 
C_75:bat[:oid], false:bit, true:bit, false:bit, false:bit, false:bit);
+    C_82:bat[:oid] := algebra.thetaselect(X_80:bat[:bit], true:bit, "==":str);
+    C_83:bat[:oid] := algebra.projection(C_82:bat[:oid], C_75:bat[:oid]);
+    X_86:bat[:timestamp] := 
batmtime.timestamp_add_msec_interval(X_45:bat[:timestamp], -25200000:lng);
+    X_87:bat[:timestamp] := algebra.projection(C_83:bat[:oid], 
X_86:bat[:timestamp]);
+    X_88:bat[:timestamp] := bat.replace(X_65:bat[:timestamp], C_83:bat[:oid], 
X_87:bat[:timestamp], true:bit);
+    X_89:bat[:bit] := batcalc.not(X_80:bat[:bit]);
+    X_90:bat[:bit] := batcalc.isnil(X_80:bat[:bit]);
+    X_91:bat[:bit] := batcalc.or(X_89:bat[:bit], X_90:bat[:bit]);
+    C_93:bat[:oid] := algebra.thetaselect(X_91:bat[:bit], true:bit, "==":str);
+    C_94:bat[:oid] := algebra.projection(C_93:bat[:oid], C_75:bat[:oid]);
+    X_99:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2000-10-29 
09:00:00.000000":timestamp, "2001-04-01 10:00:00.000000":timestamp, 
C_94:bat[:oid], false:bit, true:bit, false:bit, false:bit, false:bit);
+    C_103:bat[:oid] := algebra.thetaselect(X_99:bat[:bit], true:bit, "==":str);
+    C_104:bat[:oid] := algebra.projection(C_103:bat[:oid], C_94:bat[:oid]);
+    X_110:bat[:timestamp] := algebra.projection(C_104:bat[:oid], 
X_61:bat[:timestamp]);
+    X_111:bat[:timestamp] := bat.replace(X_88:bat[:timestamp], 
C_104:bat[:oid], X_110:bat[:timestamp], true:bit);
+    X_113:bat[:bit] := batcalc.not(X_99:bat[:bit]);
+    X_116:bat[:bit] := batcalc.isnil(X_99:bat[:bit]);
+    X_118:bat[:bit] := batcalc.or(X_113:bat[:bit], X_116:bat[:bit]);
+    C_121:bat[:oid] := algebra.thetaselect(X_118:bat[:bit], true:bit, 
"==":str);
+    C_123:bat[:oid] := algebra.projection(C_121:bat[:oid], C_94:bat[:oid]);
+    X_127:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2001-04-01 
10:00:00.000000":timestamp, "2001-10-28 09:00:00.000000":timestamp, 
C_123:bat[:oid], false:bit, true:bit, false:bit, false:bit, false:bit);
+    C_129:bat[:oid] := algebra.thetaselect(X_127:bat[:bit], true:bit, 
"==":str);
+    C_130:bat[:oid] := algebra.projection(C_129:bat[:oid], C_123:bat[:oid]);
+    X_134:bat[:timestamp] := algebra.projection(C_130:bat[:oid], 
X_86:bat[:timestamp]);
+    X_135:bat[:timestamp] := bat.replace(X_111:bat[:timestamp], 
C_130:bat[:oid], X_134:bat[:timestamp], true:bit);
+    X_136:bat[:bit] := batcalc.not(X_127:bat[:bit]);
+    X_137:bat[:bit] := batcalc.isnil(X_127:bat[:bit]);
+    X_138:bat[:bit] := batcalc.or(X_136:bat[:bit], X_137:bat[:bit]);
+    C_140:bat[:oid] := algebra.thetaselect(X_138:bat[:bit], true:bit, 
"==":str);
+    C_141:bat[:oid] := algebra.projection(C_140:bat[:oid], C_123:bat[:oid]);
+    X_146:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2001-10-28 
09:00:00.000000":timestamp, "2002-04-07 10:00:00.000000":timestamp, 
C_141:bat[:oid], false:bit, true:bit, false:bit, false:bit, false:bit);
+    C_150:bat[:oid] := algebra.thetaselect(X_146:bat[:bit], true:bit, 
"==":str);
+    C_151:bat[:oid] := algebra.projection(C_150:bat[:oid], C_141:bat[:oid]);
+    X_157:bat[:timestamp] := algebra.projection(C_151:bat[:oid], 
X_61:bat[:timestamp]);
+    X_158:bat[:timestamp] := bat.replace(X_135:bat[:timestamp], 
C_151:bat[:oid], X_157:bat[:timestamp], true:bit);
+    X_159:bat[:bit] := batcalc.not(X_146:bat[:bit]);
+    X_162:bat[:bit] := batcalc.isnil(X_146:bat[:bit]);
+    X_164:bat[:bit] := batcalc.or(X_159:bat[:bit], X_162:bat[:bit]);
+    C_167:bat[:oid] := algebra.thetaselect(X_164:bat[:bit], true:bit, 
"==":str);
+    C_169:bat[:oid] := algebra.projection(C_167:bat[:oid], C_141:bat[:oid]);
+    X_173:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2002-04-07 
10:00:00.000000":timestamp, "2002-10-27 09:00:00.000000":timestamp, 
C_169:bat[:oid], false:bit, true:bit, false:bit, false:bit, false:bit);
+    C_175:bat[:oid] := algebra.thetaselect(X_173:bat[:bit], true:bit, 
"==":str);
+    C_176:bat[:oid] := algebra.projection(C_175:bat[:oid], C_169:bat[:oid]);
+    X_180:bat[:timestamp] := algebra.projection(C_176:bat[:oid], 
X_86:bat[:timestamp]);
+    X_181:bat[:timestamp] := bat.replace(X_158:bat[:timestamp], 
C_176:bat[:oid], X_180:bat[:timestamp], true:bit);
+    X_183:bat[:bit] := batcalc.not(X_173:bat[:bit]);
+    X_184:bat[:bit] := batcalc.isnil(X_173:bat[:bit]);
+    X_185:bat[:bit] := batcalc.or(X_183:bat[:bit], X_184:bat[:bit]);
+    C_187:bat[:oid] := algebra.thetaselect(X_185:bat[:bit], true:bit, 
"==":str);
+    C_188:bat[:oid] := algebra.projection(C_187:bat[:oid], C_169:bat[:oid]);
+    X_193:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2002-10-27 
09:00:00.000000":timestamp, "2003-04-06 10:00:00.000000":timestamp, 
C_188:bat[:oid], false:bit, true:bit, false:bit, false:bit, false:bit);
+    C_197:bat[:oid] := algebra.thetaselect(X_193:bat[:bit], true:bit, 
"==":str);
+    C_198:bat[:oid] := algebra.projection(C_197:bat[:oid], C_188:bat[:oid]);
+    X_204:bat[:timestamp] := algebra.projection(C_198:bat[:oid], 
X_61:bat[:timestamp]);
+    X_205:bat[:timestamp] := bat.replace(X_181:bat[:timestamp], 
C_198:bat[:oid], X_204:bat[:timestamp], true:bit);
+    X_206:bat[:bit] := batcalc.not(X_193:bat[:bit]);
+    X_209:bat[:bit] := batcalc.isnil(X_193:bat[:bit]);
+    X_211:bat[:bit] := batcalc.or(X_206:bat[:bit], X_209:bat[:bit]);
+    C_214:bat[:oid] := algebra.thetaselect(X_211:bat[:bit], true:bit, 
"==":str);
+    C_216:bat[:oid] := algebra.projection(C_214:bat[:oid], C_188:bat[:oid]);
+    X_220:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2003-04-06 
10:00:00.000000":timestamp, "2003-10-26 09:00:00.000000":timestamp, 
C_216:bat[:oid], false:bit, true:bit, false:bit, false:bit, false:bit);
+    C_223:bat[:oid] := algebra.thetaselect(X_220:bat[:bit], true:bit, 
"==":str);
+    C_224:bat[:oid] := algebra.projection(C_223:bat[:oid], C_216:bat[:oid]);
+    X_228:bat[:timestamp] := algebra.projection(C_224:bat[:oid], 
X_86:bat[:timestamp]);
+    X_229:bat[:timestamp] := bat.replace(X_205:bat[:timestamp], 
C_224:bat[:oid], X_228:bat[:timestamp], true:bit);
+    X_230:bat[:bit] := batcalc.not(X_220:bat[:bit]);
+    X_231:bat[:bit] := batcalc.isnil(X_220:bat[:bit]);
+    X_232:bat[:bit] := batcalc.or(X_230:bat[:bit], X_231:bat[:bit]);
     C_234:bat[:oid] := algebra.thetaselect(X_232:bat[:bit], true:bit, 
"==":str);
-    X_240:bat[:timestamp] := algebra.projection(C_234:bat[:oid], 
X_61:bat[:timestamp]);
-    X_241:bat[:timestamp] := bat.replace(X_220:bat[:timestamp], 
C_234:bat[:oid], X_240:bat[:timestamp], true:bit);
-    X_242:bat[:bit] := batcalc.not(X_229:bat[:bit]);
-    X_245:bat[:bit] := batcalc.isnil(X_242:bat[:bit]);
-    X_247:bat[:bit] := batcalc.or(X_242:bat[:bit], X_245:bat[:bit]);
-    X_249:bat[:bit] := batcalc.and(X_224:bat[:bit], X_247:bat[:bit]);
-    X_254:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2004-04-04 
10:00:00.000000":timestamp, "2004-10-31 09:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_256:bat[:bit] := batcalc.and(X_249:bat[:bit], X_254:bat[:bit]);
-    C_258:bat[:oid] := algebra.thetaselect(X_256:bat[:bit], true:bit, 
"==":str);
-    X_263:bat[:timestamp] := algebra.projection(C_258:bat[:oid], 
X_85:bat[:timestamp]);
-    X_264:bat[:timestamp] := bat.replace(X_241:bat[:timestamp], 
C_258:bat[:oid], X_263:bat[:timestamp], true:bit);
-    X_265:bat[:bit] := batcalc.not(X_254:bat[:bit]);
-    X_266:bat[:bit] := batcalc.isnil(X_265:bat[:bit]);
-    X_267:bat[:bit] := batcalc.or(X_265:bat[:bit], X_266:bat[:bit]);
-    X_268:bat[:bit] := batcalc.and(X_249:bat[:bit], X_267:bat[:bit]);
-    X_273:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2004-10-31 
09:00:00.000000":timestamp, "2005-04-03 10:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_276:bat[:bit] := batcalc.and(X_268:bat[:bit], X_273:bat[:bit]);
-    C_279:bat[:oid] := algebra.thetaselect(X_276:bat[:bit], true:bit, 
"==":str);
-    X_285:bat[:timestamp] := algebra.projection(C_279:bat[:oid], 
X_61:bat[:timestamp]);
-    X_286:bat[:timestamp] := bat.replace(X_264:bat[:timestamp], 
C_279:bat[:oid], X_285:bat[:timestamp], true:bit);
-    X_287:bat[:bit] := batcalc.not(X_273:bat[:bit]);
-    X_289:bat[:bit] := batcalc.isnil(X_287:bat[:bit]);
-    X_291:bat[:bit] := batcalc.or(X_287:bat[:bit], X_289:bat[:bit]);
-    X_293:bat[:bit] := batcalc.and(X_268:bat[:bit], X_291:bat[:bit]);
-    X_298:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2005-04-03 
10:00:00.000000":timestamp, "2005-10-30 09:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_300:bat[:bit] := batcalc.and(X_293:bat[:bit], X_298:bat[:bit]);
-    C_302:bat[:oid] := algebra.thetaselect(X_300:bat[:bit], true:bit, 
"==":str);
-    X_307:bat[:timestamp] := algebra.projection(C_302:bat[:oid], 
X_85:bat[:timestamp]);
-    X_308:bat[:timestamp] := bat.replace(X_286:bat[:timestamp], 
C_302:bat[:oid], X_307:bat[:timestamp], true:bit);
-    X_309:bat[:bit] := batcalc.not(X_298:bat[:bit]);
-    X_311:bat[:bit] := batcalc.isnil(X_309:bat[:bit]);
-    X_312:bat[:bit] := batcalc.or(X_309:bat[:bit], X_311:bat[:bit]);
-    X_313:bat[:bit] := batcalc.and(X_293:bat[:bit], X_312:bat[:bit]);
-    X_318:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2005-10-30 
09:00:00.000000":timestamp, "2006-04-02 10:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_321:bat[:bit] := batcalc.and(X_313:bat[:bit], X_318:bat[:bit]);
-    C_323:bat[:oid] := algebra.thetaselect(X_321:bat[:bit], true:bit, 
"==":str);
-    X_329:bat[:timestamp] := algebra.projection(C_323:bat[:oid], 
X_61:bat[:timestamp]);
-    X_330:bat[:timestamp] := bat.replace(X_308:bat[:timestamp], 
C_323:bat[:oid], X_329:bat[:timestamp], true:bit);
-    X_331:bat[:bit] := batcalc.not(X_318:bat[:bit]);
-    X_333:bat[:bit] := batcalc.isnil(X_331:bat[:bit]);
-    X_335:bat[:bit] := batcalc.or(X_331:bat[:bit], X_333:bat[:bit]);
-    X_337:bat[:bit] := batcalc.and(X_313:bat[:bit], X_335:bat[:bit]);
-    X_342:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2006-04-02 
10:00:00.000000":timestamp, "2006-10-29 09:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_344:bat[:bit] := batcalc.and(X_337:bat[:bit], X_342:bat[:bit]);
-    C_347:bat[:oid] := algebra.thetaselect(X_344:bat[:bit], true:bit, 
"==":str);
-    X_352:bat[:timestamp] := algebra.projection(C_347:bat[:oid], 
X_85:bat[:timestamp]);
-    X_353:bat[:timestamp] := bat.replace(X_330:bat[:timestamp], 
C_347:bat[:oid], X_352:bat[:timestamp], true:bit);
-    X_354:bat[:bit] := batcalc.not(X_342:bat[:bit]);
-    X_355:bat[:bit] := batcalc.isnil(X_354:bat[:bit]);
-    X_356:bat[:bit] := batcalc.or(X_354:bat[:bit], X_355:bat[:bit]);
-    X_357:bat[:bit] := batcalc.and(X_337:bat[:bit], X_356:bat[:bit]);
-    X_362:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2006-10-29 
09:00:00.000000":timestamp, "2007-03-11 10:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_365:bat[:bit] := batcalc.and(X_357:bat[:bit], X_362:bat[:bit]);
-    C_367:bat[:oid] := algebra.thetaselect(X_365:bat[:bit], true:bit, 
"==":str);
-    X_373:bat[:timestamp] := algebra.projection(C_367:bat[:oid], 
X_61:bat[:timestamp]);
-    X_374:bat[:timestamp] := bat.replace(X_353:bat[:timestamp], 
C_367:bat[:oid], X_373:bat[:timestamp], true:bit);
-    X_375:bat[:bit] := batcalc.not(X_362:bat[:bit]);
-    X_377:bat[:bit] := batcalc.isnil(X_375:bat[:bit]);
-    X_380:bat[:bit] := batcalc.or(X_375:bat[:bit], X_377:bat[:bit]);
-    X_382:bat[:bit] := batcalc.and(X_357:bat[:bit], X_380:bat[:bit]);
-    X_387:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2007-03-11 
10:00:00.000000":timestamp, "2007-11-04 09:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_389:bat[:bit] := batcalc.and(X_382:bat[:bit], X_387:bat[:bit]);
-    C_391:bat[:oid] := algebra.thetaselect(X_389:bat[:bit], true:bit, 
"==":str);
-    X_396:bat[:timestamp] := algebra.projection(C_391:bat[:oid], 
X_85:bat[:timestamp]);
-    X_397:bat[:timestamp] := bat.replace(X_374:bat[:timestamp], 
C_391:bat[:oid], X_396:bat[:timestamp], true:bit);
-    X_398:bat[:bit] := batcalc.not(X_387:bat[:bit]);
-    X_399:bat[:bit] := batcalc.isnil(X_398:bat[:bit]);
-    X_400:bat[:bit] := batcalc.or(X_398:bat[:bit], X_399:bat[:bit]);
-    X_401:bat[:bit] := batcalc.and(X_382:bat[:bit], X_400:bat[:bit]);
-    X_406:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2007-11-04 
09:00:00.000000":timestamp, "2008-03-09 10:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_409:bat[:bit] := batcalc.and(X_401:bat[:bit], X_406:bat[:bit]);
-    C_411:bat[:oid] := algebra.thetaselect(X_409:bat[:bit], true:bit, 
"==":str);
-    X_417:bat[:timestamp] := algebra.projection(C_411:bat[:oid], 
X_61:bat[:timestamp]);
-    X_418:bat[:timestamp] := bat.replace(X_397:bat[:timestamp], 
C_411:bat[:oid], X_417:bat[:timestamp], true:bit);
-    X_419:bat[:bit] := batcalc.not(X_406:bat[:bit]);
-    X_422:bat[:bit] := batcalc.isnil(X_419:bat[:bit]);
-    X_424:bat[:bit] := batcalc.or(X_419:bat[:bit], X_422:bat[:bit]);
-    X_426:bat[:bit] := batcalc.and(X_401:bat[:bit], X_424:bat[:bit]);
-    X_431:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2008-03-09 
10:00:00.000000":timestamp, "2008-11-02 09:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_433:bat[:bit] := batcalc.and(X_426:bat[:bit], X_431:bat[:bit]);
-    C_435:bat[:oid] := algebra.thetaselect(X_433:bat[:bit], true:bit, 
"==":str);
-    X_440:bat[:timestamp] := algebra.projection(C_435:bat[:oid], 
X_85:bat[:timestamp]);
-    X_441:bat[:timestamp] := bat.replace(X_418:bat[:timestamp], 
C_435:bat[:oid], X_440:bat[:timestamp], true:bit);
-    X_442:bat[:bit] := batcalc.not(X_431:bat[:bit]);
-    X_443:bat[:bit] := batcalc.isnil(X_442:bat[:bit]);
-    X_444:bat[:bit] := batcalc.or(X_442:bat[:bit], X_443:bat[:bit]);
-    X_445:bat[:bit] := batcalc.and(X_426:bat[:bit], X_444:bat[:bit]);
-    X_450:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2008-11-02 
09:00:00.000000":timestamp, "2009-03-08 10:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_453:bat[:bit] := batcalc.and(X_445:bat[:bit], X_450:bat[:bit]);
-    C_456:bat[:oid] := algebra.thetaselect(X_453:bat[:bit], true:bit, 
"==":str);
-    X_462:bat[:timestamp] := algebra.projection(C_456:bat[:oid], 
X_61:bat[:timestamp]);
-    X_463:bat[:timestamp] := bat.replace(X_441:bat[:timestamp], 
C_456:bat[:oid], X_462:bat[:timestamp], true:bit);
-    X_464:bat[:bit] := batcalc.not(X_450:bat[:bit]);
-    X_466:bat[:bit] := batcalc.isnil(X_464:bat[:bit]);
-    X_468:bat[:bit] := batcalc.or(X_464:bat[:bit], X_466:bat[:bit]);
-    X_470:bat[:bit] := batcalc.and(X_445:bat[:bit], X_468:bat[:bit]);
-    X_475:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2009-03-08 
10:00:00.000000":timestamp, "2009-11-01 09:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_477:bat[:bit] := batcalc.and(X_470:bat[:bit], X_475:bat[:bit]);
-    C_479:bat[:oid] := algebra.thetaselect(X_477:bat[:bit], true:bit, 
"==":str);
-    X_484:bat[:timestamp] := algebra.projection(C_479:bat[:oid], 
X_85:bat[:timestamp]);
-    X_485:bat[:timestamp] := bat.replace(X_463:bat[:timestamp], 
C_479:bat[:oid], X_484:bat[:timestamp], true:bit);
-    X_486:bat[:bit] := batcalc.not(X_475:bat[:bit]);
-    X_488:bat[:bit] := batcalc.isnil(X_486:bat[:bit]);
-    X_489:bat[:bit] := batcalc.or(X_486:bat[:bit], X_488:bat[:bit]);
-    X_490:bat[:bit] := batcalc.and(X_470:bat[:bit], X_489:bat[:bit]);
-    X_495:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2009-11-01 
09:00:00.000000":timestamp, "2010-03-14 10:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_498:bat[:bit] := batcalc.and(X_490:bat[:bit], X_495:bat[:bit]);
-    C_500:bat[:oid] := algebra.thetaselect(X_498:bat[:bit], true:bit, 
"==":str);
-    X_506:bat[:timestamp] := algebra.projection(C_500:bat[:oid], 
X_61:bat[:timestamp]);
-    X_507:bat[:timestamp] := bat.replace(X_485:bat[:timestamp], 
C_500:bat[:oid], X_506:bat[:timestamp], true:bit);
-    X_508:bat[:bit] := batcalc.not(X_495:bat[:bit]);
-    X_510:bat[:bit] := batcalc.isnil(X_508:bat[:bit]);
-    X_512:bat[:bit] := batcalc.or(X_508:bat[:bit], X_510:bat[:bit]);
-    X_514:bat[:bit] := batcalc.and(X_490:bat[:bit], X_512:bat[:bit]);
-    X_519:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2010-03-14 
10:00:00.000000":timestamp, "2010-11-07 09:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_521:bat[:bit] := batcalc.and(X_514:bat[:bit], X_519:bat[:bit]);
-    C_524:bat[:oid] := algebra.thetaselect(X_521:bat[:bit], true:bit, 
"==":str);
-    X_529:bat[:timestamp] := algebra.projection(C_524:bat[:oid], 
X_85:bat[:timestamp]);
-    X_530:bat[:timestamp] := bat.replace(X_507:bat[:timestamp], 
C_524:bat[:oid], X_529:bat[:timestamp], true:bit);
-    X_531:bat[:bit] := batcalc.not(X_519:bat[:bit]);
-    X_532:bat[:bit] := batcalc.isnil(X_531:bat[:bit]);
-    X_533:bat[:bit] := batcalc.or(X_531:bat[:bit], X_532:bat[:bit]);
-    X_534:bat[:bit] := batcalc.and(X_514:bat[:bit], X_533:bat[:bit]);
-    X_539:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2010-11-07 
09:00:00.000000":timestamp, "2011-03-13 10:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_542:bat[:bit] := batcalc.and(X_534:bat[:bit], X_539:bat[:bit]);
-    C_544:bat[:oid] := algebra.thetaselect(X_542:bat[:bit], true:bit, 
"==":str);
-    X_550:bat[:timestamp] := algebra.projection(C_544:bat[:oid], 
X_61:bat[:timestamp]);
-    X_551:bat[:timestamp] := bat.replace(X_530:bat[:timestamp], 
C_544:bat[:oid], X_550:bat[:timestamp], true:bit);
-    X_552:bat[:bit] := batcalc.not(X_539:bat[:bit]);
-    X_554:bat[:bit] := batcalc.isnil(X_552:bat[:bit]);
-    X_557:bat[:bit] := batcalc.or(X_552:bat[:bit], X_554:bat[:bit]);
-    X_559:bat[:bit] := batcalc.and(X_534:bat[:bit], X_557:bat[:bit]);
-    X_564:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2011-03-13 
10:00:00.000000":timestamp, "2011-11-06 09:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_566:bat[:bit] := batcalc.and(X_559:bat[:bit], X_564:bat[:bit]);
-    C_568:bat[:oid] := algebra.thetaselect(X_566:bat[:bit], true:bit, 
"==":str);
-    X_573:bat[:timestamp] := algebra.projection(C_568:bat[:oid], 
X_85:bat[:timestamp]);
-    X_574:bat[:timestamp] := bat.replace(X_551:bat[:timestamp], 
C_568:bat[:oid], X_573:bat[:timestamp], true:bit);
-    X_575:bat[:bit] := batcalc.not(X_564:bat[:bit]);
-    X_576:bat[:bit] := batcalc.isnil(X_575:bat[:bit]);
-    X_577:bat[:bit] := batcalc.or(X_575:bat[:bit], X_576:bat[:bit]);
-    X_578:bat[:bit] := batcalc.and(X_559:bat[:bit], X_577:bat[:bit]);
-    X_583:bat[:bit] := batcalc.between(X_45:bat[:timestamp], "2011-11-06 
09:00:00.000000":timestamp, "2012-03-11 10:00:00.000000":timestamp, false:bit, 
true:bit, false:bit, false:bit, false:bit);
-    X_586:bat[:bit] := batcalc.and(X_578:bat[:bit], X_583:bat[:bit]);
-    C_588:bat[:oid] := algebra.thetaselect(X_586:bat[:bit], true:bit, 
"==":str);
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list

Reply via email to