tst4620.stable.out

一个内存数据库的源代码这是服务器端还有客户端

stdout of test 'tst4620` in directory 'src/optimizer` itself:


# 19:36:05 >  
# 19:36:05 >  Mtimeout -timeout 60 mserver5 "--config=/ufs/mk/monet5/Linux/etc/MonetDB5.conf" --debug=10 --set "monet_mod_path=/ufs/mk/monet5/Linux/lib/MonetDB5:/ufs/mk/opensource/MonetDB/Linux/lib/MonetDB" --set "gdk_dbfarm=/ufs/mk/monet5/Linux/var/MonetDB5/dbfarm" --set "sql_logdir=/ufs/mk/monet5/Linux/var/MonetDB5/dblogs" --set mapi_port=31892 --set monet_prompt= --trace --dbname=mTests_src_optimizer  tst4620.mal < /dev/null
# 19:36:05 >  

# MonetDB Server v4.99.19
# Copyright (c) 1993-2006 CWI, all rights reserved
# Compiled for x86_64-redhat-linux-gnu/64bit with 64bit OIDs dynamically linked
# config:/ufs/mk/monet5/Linux/etc/MonetDB5.conf
# dbfarm:/ufs/mk/monet5/Linux/var/MonetDB5/dbfarm
# dbname:mTests_src_optimizer
# Visit http://monetdb.cwi.nl/ for further information
##some join operations
#function algebra.joinPath( a:bat[:any_1,:any_2],
#    z:= algebra.join(a,b);
#    zz:= algebra.join(z,c);
#    return zz;
#end joinPath;
function algebra.joinPath(a:bat[:any_1,:any_2],b:bat[:any_2,:any_3],c:bat[:any_3,:any_4]):bat[:any_1,:any_4];	# 0  dynamic (joinPath:bat[:any_1,:any_4])<-(a:bat[:any_1,:any_2])(b:bat[:any_2,:any_3])(c:bat[:any_3,:any_4])
    z := algebra.join(a,b);	# 1 ALGjoin (z:bat[:any,:any])<-(a:bat[:any_1,:any_2])(b:bat[:any_2,:any_3])
    zz := algebra.join(z,c);	# 2 ALGjoin (zz:bat[:any,:any])<-(z:bat[:any,:any])(c:bat[:any_3,:any_4])
    return zz;	# 3  (zz:bat[:any,:any])
end joinPath;	# 4  
#
#b:= bat.new(:int,:int);
#barrier (k,v):= language.newRange(0:int);
#        bat.insert(b,v,v);
#        redo (k,v):= language.nextElement(1:int,100:int);
#exit (k,v);
#
#i:= aggr.count(b);
#io.print(i);
#
#c:= algebra.select(b,0:int,9:int);
#i:= aggr.count(c);
#io.print(i);
#d:= algebra.select(b,0:int,49:int);
#i:= aggr.count(d);
#io.print(i);
#
#optimizer.macroContraction("algebra","joinPath");
##to be detected by join inversion
#z:= algebra.join(b,c);
#zz:= algebra.join(z,d);
#i:= aggr.count(zz);
#io.print(i);
#mdb.list();
#
function user.main():void;	# 0  (main:void)
#some join operations 	# 1  (_1:str)
    b := bat.new(:int,:int);	# 2 CMDBATnew (b:bat[:int,:int])<-(_3:int)(_3:int)
barrier (k,v):= language.newRange(0:int);	# 3 RNGnewRange_int (k:bit)(v:int)<-(_6:int) jump 6
    bat.insert(b,v,v);	# 4 BKCinsert_bun (_7:void)<-(b:bat[:int,:int])(v:int)(v:int)
    redo (k,v):= language.nextElement(1:int,100:int);	# 5 RNGnextElement_int (k:bit)(v:int)<-(_8:int)(_9:int) jump 4
exit (k,v);	# 6  (k:bit)(v:int)
    i := aggr.count(b);	# 7 ALGcount_bat (i:int)<-(b:bat[:int,:int])
    io.print(i);	# 8 IOprint_val (_11:void)<-(i:int)
    c := algebra.select(b,0:int,9:int);	# 9 ALGselect (c:bat[:int,:int])<-(b:bat[:int,:int])(_6:int)(_13:int)
    i := aggr.count(c);	# 10 ALGcount_bat (i:int)<-(c:bat[:int,:int])
    io.print(i);	# 11 IOprint_val (_14:void)<-(i:int)
    d := algebra.select(b,0:int,49:int);	# 12 ALGselect (d:bat[:int,:int])<-(b:bat[:int,:int])(_6:int)(_16:int)
    i := aggr.count(d);	# 13 ALGcount_bat (i:int)<-(d:bat[:int,:int])
    io.print(i);	# 14 IOprint_val (_17:void)<-(i:int)
#to be detected by join inversion 	# 15  (_21:str)
    zz := algebra.joinPath(b,c,d);	# 16  (zz:bat[:int,:int])<-(b:bat[:int,:int])(c:bat[:int,:int])(d:bat[:int,:int])
    i := aggr.count(zz);	# 17 ALGcount_bat (i:int)<-(zz:bat[:int,:int])
    io.print(i);	# 18 IOprint_val (_24:void)<-(i:int)
    mdb.list();	# 19 MDBlist (_25:void)
[ 100 ]
[ 10 ]
[ 50 ]
[ 10 ]
function user.main():void;
#some join operations 
    b := bat.new(:int,:int);
barrier (k,v):= language.newRange(0:int);
    bat.insert(b,v,v);
    redo (k,v):= language.nextElement(1:int,100:int);
exit (k,v);
    i := aggr.count(b);
    io.print(i);
    c := algebra.select(b,0:int,9:int);
    i := aggr.count(c);
    io.print(i);
    d := algebra.select(b,0:int,49:int);
    i := aggr.count(d);
    io.print(i);
#to be detected by join inversion 
    zz := algebra.joinPath(b,c,d);
    i := aggr.count(zz);
    io.print(i);
    mdb.list();

# 19:36:05 >  
# 19:36:05 >  Done.
# 19:36:05 >