relvar virtualrelvar typedependencygraph RENAME ( typedependencygraph , (basetype,dependson) ) RENAME ( typedependencygraph , (basetype,dependson,typename,type) ) PROJECT ( typedependencygraph , (basetype) ) PROJECT ( triggereddataaction , (relvarname,operationtype) ) INTERSECT ( RENAME ( PROJECT ( typedependencygraph , (basetype) ) , (basetype,typename) ) , PROJECT ( typedependencygraph , (typename) ) ) MINUS ( PROJECT ( typedependencygraph , (typename) ) , RENAME ( PROJECT ( typedependencygraph , (basetype) ) , (basetype,typename) ) ) MINUS ( RENAME ( PROJECT ( typedependencygraph , (basetype) ) , (basetype,typename) ) , PROJECT ( typedependencygraph , (typename) ) ) UNION( PROJECT ( relvar , (relvarname) ) , PROJECT ( virtualrelvar , (relvarname) ) ) JOIN ( relvar , key ) JOIN ( relvar , key , keyattribute ) SEMIJOIN ( relvar , key ) SEMIMINUS ( relvar , key ) SEMIMINUS ( key , keyattribute ) LEFTJOIN ( relvar , key , errorcode(long(-1)) ) LEFTJOIN ( key , keyattribute , attributename(name(none)) ) EXTEND ( PROJECT ( relvar , (relvarname) ) , relvartype(string(base)) ) UNION ( EXTEND ( PROJECT ( relvar , (relvarname) ) , relvartype(string(base)) ) , EXTEND ( PROJECT ( virtualrelvar , (relvarname) ) , relvartype(string(virtual)) ) ) EXTEND ( PROJECT ( relvar , (relvarname) ) , namelength(length(relvarname)) ) EXTEND ( PROJECT ( relvar , (relvarname) ) , ( namelength(length(relvarname)) predlength(length(relvarpredicate)) ) ) RESTRICT ( relvarattribute , eq( relvarname , name(relvar) ) ) RESTRICT ( relvarattribute , LE( length(relvarname) , int(10) ) ) JOIN ( relvar , key , keyattribute ) , (errorcode) JOIN ( relvar , key , keyattribute ) , (errorcode,attributename) TRANSFORM ( typedependencygraph , (basetype) ) TRANSFORM ( relvar , (name(relvarname),predlength(length(relvarpredicate))) ) LEFTJOIN ( key , TRANSFORM ( keyattribute , errorcode,name(the_string(attributename)) ) , name(string()) ) GROUP ( keyattribute , attributes(attributename) ) GROUP ( typeproperties , types(typename,minimumsize,maximumsize) ) GROUP ( typeproperties , sizes(minimumsize,maximumsize)properties(isscalar,isordered) ) UNGROUP ( GROUP ( typeproperties , sizes(minimumsize,maximumsize)properties(isscalar,isordered) ) , (sizes) ) EXTEND (dbmsfile , rva(TABLE_DUM) ) UNGROUP ( EXTEND (dbmsfile , rva(TABLE_DUM) ) , (rva) ) DIVIDEBYPER ( relvar , dbmsfile , recordtype ) DIVIDEBYPER ( dbmsfile , relvar , recordtype ) DIVIDEBYPER ( virtualrelvar , dbmsfile , recordtype ) DIVIDEBYPER ( virtualrelvar , RESTRICT ( dbmsfile , GT(pagesize,int(50000))) , recordtype ) RESTRICT (possrepcomponent , EQ(typename,name(angle))) TRANSFORM ( RESTRICT (possrepcomponent , EQ(typename,name(angle))) , (typename,basetype(componenttypename)) ) RESTRICT (intervaltype , EQ(typename,name(angle))) RENAME ( RESTRICT (intervaltype , EQ(typename,name(angle))) , (typename,basetype,intervaltypename,typename) ) UNION ( TRANSFORM ( RESTRICT (possrepcomponent , EQ(typename,name(angle))) , (typename,basetype(componenttypename)) ) , RENAME ( RESTRICT (intervaltype , EQ(typename,name(angle))) , (typename,basetype,intervaltypename,typename) ) ) TCLOSE ( UNION ( TRANSFORM ( RESTRICT (possrepcomponent , EQ(typename,name(angle))) , (typename,basetype(componenttypename)) ) , RENAME ( RESTRICT (intervaltype , EQ(typename,name(angle))) , (typename,basetype,intervaltypename,typename) ) ) , (BASETYPE,TYPENAME) ) XMINUS ( project (relvar,(relvarname)) , project ( virtualrelvar,(relvarname)) , project (recordtype,(relvarname)) ) AGGREGATE ( typeproperties , count(plus(int(1))) ) AGGREGATE ( typeproperties , count(plus(int(1))) silly(plus(length(typename))) ) AGGREGATE ( typeproperties , averagenamelen(plus(average(count(int(1))value(tofloat(length(typename)))))) ) AGGREGATE ( table_dum , res(plus(average(count(int(1))value(float(3.14))))) ) AGGREGATE ( table_dum , (max(max(int(1))) min(min(int(1))) sum(plus(int(1)))) ) SUMMARIZEBY ( possrepcomponent , (typename,possrepname) , (componentcount(plus(int(1)))) ) SUMMARIZEBY ( possrepcomponent , (typename,possrepname) , (componentcount(plus(int(1))) longestcomponentnamelength(max(length(componentname)))) ) RELATION ( HEADING(typename(name)) BODY( TUPLE(typename(relation)) TUPLE(typename(string)) ) ) RELATION ( HEADING(X (int) RVA (RELATION (HEADING( Y(string) Z(long) )))) BODY( TUPLE( X(1) RVA ( BODY(TUPLE(Y(str1)Z(4))TUPLE(Y(str2)Z(6)))) ) ) ) EXTEND ( PROJECT ( typeproperties , (isscalar,isordered) ) , X ( RELATION(HEADING(b(boolean))BODY(TUPLE(b(isscalar))TUPLE(b(isordered)))) ) ) RELATION(HEADING(javabackedtype(RELATION(HEADING(typename(name)))) dbmsfile(RELATION(HEADING(filename(filename)pagesize(int))))) BODY(TUPLE(dbmsfile(DBMSFILE)javabackedtype(JAVABACKEDTYPE)))) DBMSFILE(TUPLE(filename(myfilename)pagesize(-4096)) TUPLE(filename(myfilename)pagesize(-16384))) EXTEND ( table_dee , DEE_EQ_DUM(eq(table_dee,table_dee())) DUM_EQ_DEE(eq(table_dum,table_dum(tuple()))) )