Comment : Charset=windows-1252
Comment : test cases for defining virtual relvars
Comment : clear any remains first
Request : unassert virtualrelvar,semijoin(virtualrelvar,relation(heading(relvarname(name))body(tuple(relvarname(v1))tuple(relvarname(v2)))))
Reply   : 

Comment : nonrelational expression, should fail
Request : add virtualrelvar,virtualrelvar(tuple(relvarname(v1)sp_expression(int\(1\))))
Reply   : 201806116:164:int(1) is invalid as the defining expression for virtual relvar V1 because its return type INT is not 'RELATION', or because it involves a parameter reference.

Comment : self-referencing expression, should fail
Request : add virtualrelvar,virtualrelvar(tuple(relvarname(v1)sp_expression(v1)))
Reply   : 1497858657:325:Name 'v1' did not resolve as an attribute reference in its lexical scope null, nor is it equal to an existing relvar name. The cause of this problem was a be.SIRAPRISE.server.NotARelvarException with message Requested Relation variable V1 could not be found in the catalog..

Comment : erroneous expression, should fail
Request : add virtualrelvar,virtualrelvar(tuple(relvarname(v1)sp_expression(v2)))
Reply   : 1497858657:325:Name 'v2' did not resolve as an attribute reference in its lexical scope null, nor is it equal to an existing relvar name. The cause of this problem was a be.SIRAPRISE.server.NotARelvarException with message Requested Relation variable V2 could not be found in the catalog..

Comment : expression
Request : add virtualrelvar,virtualrelvar(tuple(relvarname(v1)sp_expression(project\(join\(relvarattribute,systemdefinedrelvar\),\(attributename\)\))))
Reply   : 
Request : inquire v1
Reply   : RELATION(HEADING(ATTRIBUTENAME(NAME))BODY(TUPLE(ATTRIBUTENAME(OPERATIONTYPE))TUPLE(ATTRIBUTENAME(DATAACTIONNAME))TUPLE(ATTRIBUTENAME(RECORDTYPENAME))TUPLE(ATTRIBUTENAME(CURRENTDATE))TUPLE(ATTRIBUTENAME(POSSREPNAME))TUPLE(ATTRIBUTENAME(FILENAME))TUPLE(ATTRIBUTENAME(TYPENAME))TUPLE(ATTRIBUTENAME(RELVARPREDICATE))TUPLE(ATTRIBUTENAME(INDEXID))TUPLE(ATTRIBUTENAME(REFERENCEDRELVARNAME))TUPLE(ATTRIBUTENAME(GAPCOMPRESSIONTHRESHOLD))TUPLE(ATTRIBUTENAME(MAXIMUMSIZE))TUPLE(ATTRIBUTENAME(MINIMUMSIZE))TUPLE(ATTRIBUTENAME(ISORDERED))TUPLE(ATTRIBUTENAME(STDDEV))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME))TUPLE(ATTRIBUTENAME(FREQUENCY))TUPLE(ATTRIBUTENAME(ISSCALAR))TUPLE(ATTRIBUTENAME(BYPASSASSGCONSTRAINTS))TUPLE(ATTRIBUTENAME(ERRORCODE))TUPLE(ATTRIBUTENAME(RELVARID))TUPLE(ATTRIBUTENAME(COMPONENTNAME))TUPLE(ATTRIBUTENAME(CLIENTID))TUPLE(ATTRIBUTENAME(ISDISTINCT))TUPLE(ATTRIBUTENAME(PAGECOUNT))TUPLE(ATTRIBUTENAME(INDEXNAME))TUPLE(ATTRIBUTENAME(TRIGGEREDOPERATIONTYPE))TUPLE(ATTRIBUTENAME(ALGORITHM))TUPLE(ATTRIBUTENAME(SP_EXPRESSION))TUPLE(ATTRIBUTENAME(LOGICALLENGTH))TUPLE(ATTRIBUTENAME(STORAGESPACEID))TUPLE(ATTRIBUTENAME(PAGESIZE))TUPLE(ATTRIBUTENAME(USERID))TUPLE(ATTRIBUTENAME(CONSTRAINTMESSAGETEXT))TUPLE(ATTRIBUTENAME(COMPONENTTYPENAME))TUPLE(ATTRIBUTENAME(VALUECOUNT))TUPLE(ATTRIBUTENAME(INTERVALTYPENAME))TUPLE(ATTRIBUTENAME(PHYSICALLENGTH))TUPLE(ATTRIBUTENAME(TRUSTAUTHENTICATION))TUPLE(ATTRIBUTENAME(CERTIFICATE))TUPLE(ATTRIBUTENAME(BASETYPE))TUPLE(ATTRIBUTENAME(TARGETRELVARNAME))TUPLE(ATTRIBUTENAME(CARDINALITY))TUPLE(ATTRIBUTENAME(CONSTRAINTLABEL))TUPLE(ATTRIBUTENAME(ORDINAL))TUPLE(ATTRIBUTENAME(RECORDTYPEID))TUPLE(ATTRIBUTENAME(RELVARNAME))TUPLE(ATTRIBUTENAME(EXTENTSCOUNT))TUPLE(ATTRIBUTENAME(MAXIMUMGAPS))))

Comment : second expression in terms of v1
Request : add virtualrelvar,virtualrelvar(tuple(relvarname(v2)sp_expression(aggregate\(v1,count\(plus\(int\(1\)\)\)\))))
Reply   : 
Request : inquire v2
Reply   : RELATION(HEADING(COUNT(INT))BODY(TUPLE(COUNT(49))))

Comment : delete v1, should fail
Request : delete virtualrelvar,virtualrelvar(tuple(relvarname(v1)sp_expression(project\(join\(relvarattribute,systemdefinedrelvar\),\(attributename\)\))))
Reply   : 201806116:139:A relvar reference to V1 made by relvar V2 is invalid because V1 is not a known relvar
Request : inquire v1
Reply   : RELATION(HEADING(ATTRIBUTENAME(NAME))BODY(TUPLE(ATTRIBUTENAME(OPERATIONTYPE))TUPLE(ATTRIBUTENAME(DATAACTIONNAME))TUPLE(ATTRIBUTENAME(RECORDTYPENAME))TUPLE(ATTRIBUTENAME(CURRENTDATE))TUPLE(ATTRIBUTENAME(POSSREPNAME))TUPLE(ATTRIBUTENAME(FILENAME))TUPLE(ATTRIBUTENAME(TYPENAME))TUPLE(ATTRIBUTENAME(RELVARPREDICATE))TUPLE(ATTRIBUTENAME(INDEXID))TUPLE(ATTRIBUTENAME(REFERENCEDRELVARNAME))TUPLE(ATTRIBUTENAME(GAPCOMPRESSIONTHRESHOLD))TUPLE(ATTRIBUTENAME(MAXIMUMSIZE))TUPLE(ATTRIBUTENAME(MINIMUMSIZE))TUPLE(ATTRIBUTENAME(ISORDERED))TUPLE(ATTRIBUTENAME(STDDEV))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME))TUPLE(ATTRIBUTENAME(FREQUENCY))TUPLE(ATTRIBUTENAME(ISSCALAR))TUPLE(ATTRIBUTENAME(BYPASSASSGCONSTRAINTS))TUPLE(ATTRIBUTENAME(ERRORCODE))TUPLE(ATTRIBUTENAME(RELVARID))TUPLE(ATTRIBUTENAME(COMPONENTNAME))TUPLE(ATTRIBUTENAME(CLIENTID))TUPLE(ATTRIBUTENAME(ISDISTINCT))TUPLE(ATTRIBUTENAME(PAGECOUNT))TUPLE(ATTRIBUTENAME(INDEXNAME))TUPLE(ATTRIBUTENAME(TRIGGEREDOPERATIONTYPE))TUPLE(ATTRIBUTENAME(ALGORITHM))TUPLE(ATTRIBUTENAME(SP_EXPRESSION))TUPLE(ATTRIBUTENAME(LOGICALLENGTH))TUPLE(ATTRIBUTENAME(STORAGESPACEID))TUPLE(ATTRIBUTENAME(PAGESIZE))TUPLE(ATTRIBUTENAME(USERID))TUPLE(ATTRIBUTENAME(CONSTRAINTMESSAGETEXT))TUPLE(ATTRIBUTENAME(COMPONENTTYPENAME))TUPLE(ATTRIBUTENAME(VALUECOUNT))TUPLE(ATTRIBUTENAME(INTERVALTYPENAME))TUPLE(ATTRIBUTENAME(PHYSICALLENGTH))TUPLE(ATTRIBUTENAME(TRUSTAUTHENTICATION))TUPLE(ATTRIBUTENAME(CERTIFICATE))TUPLE(ATTRIBUTENAME(BASETYPE))TUPLE(ATTRIBUTENAME(TARGETRELVARNAME))TUPLE(ATTRIBUTENAME(CARDINALITY))TUPLE(ATTRIBUTENAME(CONSTRAINTLABEL))TUPLE(ATTRIBUTENAME(ORDINAL))TUPLE(ATTRIBUTENAME(RECORDTYPEID))TUPLE(ATTRIBUTENAME(RELVARNAME))TUPLE(ATTRIBUTENAME(EXTENTSCOUNT))TUPLE(ATTRIBUTENAME(MAXIMUMGAPS))))
Request : inquire v2
Reply   : RELATION(HEADING(COUNT(INT))BODY(TUPLE(COUNT(49))))

Comment : relvar references
Request : inquire restrict(virtualrelvarreferences,eq(relvarname,name(v1)))
Reply   : RELATION(HEADING(REFERENCEDRELVARNAME(NAME)RELVARNAME(NAME))BODY(TUPLE(REFERENCEDRELVARNAME(SYSTEMDEFINEDRELVAR)RELVARNAME(V1))TUPLE(REFERENCEDRELVARNAME(RELVARATTRIBUTE)RELVARNAME(V1))))
Request : inquire restrict(virtualrelvarreferences,eq(relvarname,name(v2)))
Reply   : RELATION(HEADING(REFERENCEDRELVARNAME(NAME)RELVARNAME(NAME))BODY(TUPLE(REFERENCEDRELVARNAME(V1)RELVARNAME(V2))))
Request : inquire restrict(virtualrelvarreferences,eq(referencedrelvarname,name(relvarattribute)))
Reply   : RELATION(HEADING(REFERENCEDRELVARNAME(NAME)RELVARNAME(NAME))BODY(TUPLE(REFERENCEDRELVARNAME(RELVARATTRIBUTE)RELVARNAME(V1))))
Request : inquire restrict(virtualrelvarreferences,eq(referencedrelvarname,name(systemdefinedrelvar)))
Reply   : RELATION(HEADING(REFERENCEDRELVARNAME(NAME)RELVARNAME(NAME))BODY(TUPLE(REFERENCEDRELVARNAME(SYSTEMDEFINEDRELVAR)RELVARNAME(V1))))

Comment : virtual relvar type dependencies
Request : inquire restrict(virtualrelvardependsontype,eq(relvarname,name(v1)))
Reply   : RELATION(HEADING(RELVARNAME(NAME)TYPENAME(NAME))BODY())
Request : inquire restrict(virtualrelvardependsontype,eq(relvarname,name(v2)))
Reply   : RELATION(HEADING(RELVARNAME(NAME)TYPENAME(NAME))BODY(TUPLE(RELVARNAME(V2)TYPENAME(INT))))

Comment : change view expression to given only the variable length ones
Request : update virtualrelvar,virtualrelvar(tuple(relvarname(v1)sp_expression(project\(join\(relvarattribute,systemdefinedrelvar\),\(attributename\)\)))),(sp_expression(project\(join\(attributelogicallength,relvarattribute,systemdefinedrelvar\),\(attributename\)\)))
Reply   : 
Request : inquire v1
Reply   : RELATION(HEADING(ATTRIBUTENAME(NAME))BODY(TUPLE(ATTRIBUTENAME(DATAACTIONNAME))TUPLE(ATTRIBUTENAME(RECORDTYPENAME))TUPLE(ATTRIBUTENAME(POSSREPNAME))TUPLE(ATTRIBUTENAME(FILENAME))TUPLE(ATTRIBUTENAME(TYPENAME))TUPLE(ATTRIBUTENAME(RELVARPREDICATE))TUPLE(ATTRIBUTENAME(REFERENCEDRELVARNAME))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME))TUPLE(ATTRIBUTENAME(COMPONENTNAME))TUPLE(ATTRIBUTENAME(CLIENTID))TUPLE(ATTRIBUTENAME(INDEXNAME))TUPLE(ATTRIBUTENAME(ALGORITHM))TUPLE(ATTRIBUTENAME(SP_EXPRESSION))TUPLE(ATTRIBUTENAME(USERID))TUPLE(ATTRIBUTENAME(CONSTRAINTMESSAGETEXT))TUPLE(ATTRIBUTENAME(COMPONENTTYPENAME))TUPLE(ATTRIBUTENAME(INTERVALTYPENAME))TUPLE(ATTRIBUTENAME(CERTIFICATE))TUPLE(ATTRIBUTENAME(BASETYPE))TUPLE(ATTRIBUTENAME(TARGETRELVARNAME))TUPLE(ATTRIBUTENAME(CONSTRAINTLABEL))TUPLE(ATTRIBUTENAME(RELVARNAME))))
Request : inquire v2
Reply   : RELATION(HEADING(COUNT(INT))BODY(TUPLE(COUNT(22))))

Comment : change view expression v2 to give another aggregation
Request : update virtualrelvar,virtualrelvar(tuple(relvarname(v2)sp_expression(aggregate\(v1,count\(plus\(int\(1\)\)\)\)))),(sp_expression(aggregate\(v1,count\(plus\(length\(attributename\)\)\)\)))
Reply   : 
Request : inquire v1
Reply   : RELATION(HEADING(ATTRIBUTENAME(NAME))BODY(TUPLE(ATTRIBUTENAME(DATAACTIONNAME))TUPLE(ATTRIBUTENAME(RECORDTYPENAME))TUPLE(ATTRIBUTENAME(POSSREPNAME))TUPLE(ATTRIBUTENAME(FILENAME))TUPLE(ATTRIBUTENAME(TYPENAME))TUPLE(ATTRIBUTENAME(RELVARPREDICATE))TUPLE(ATTRIBUTENAME(REFERENCEDRELVARNAME))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME))TUPLE(ATTRIBUTENAME(COMPONENTNAME))TUPLE(ATTRIBUTENAME(CLIENTID))TUPLE(ATTRIBUTENAME(INDEXNAME))TUPLE(ATTRIBUTENAME(ALGORITHM))TUPLE(ATTRIBUTENAME(SP_EXPRESSION))TUPLE(ATTRIBUTENAME(USERID))TUPLE(ATTRIBUTENAME(CONSTRAINTMESSAGETEXT))TUPLE(ATTRIBUTENAME(COMPONENTTYPENAME))TUPLE(ATTRIBUTENAME(INTERVALTYPENAME))TUPLE(ATTRIBUTENAME(CERTIFICATE))TUPLE(ATTRIBUTENAME(BASETYPE))TUPLE(ATTRIBUTENAME(TARGETRELVARNAME))TUPLE(ATTRIBUTENAME(CONSTRAINTLABEL))TUPLE(ATTRIBUTENAME(RELVARNAME))))
Request : inquire v2
Reply   : RELATION(HEADING(COUNT(INT))BODY(TUPLE(COUNT(275))))

Comment : change view expression v1 to make the attribute reference in v2 invalid
Request : update virtualrelvar,virtualrelvar(tuple(relvarname(v1)sp_expression(project\(join\(attributelogicallength,relvarattribute,systemdefinedrelvar\),\(attributename\)\)))),(sp_expression(project\(join\(attributelogicallength,relvarattribute,systemdefinedrelvar\),\(\)\)))
Reply   : 1497858657:325:Name 'attributename' did not resolve as an attribute reference in its lexical scope { }, nor is it equal to an existing relvar name. The cause of this problem was a be.SIRAPRISE.server.NotARelvarException with message Requested Relation variable ATTRIBUTENAME could not be found in the catalog..
Request : inquire v1
Reply   : RELATION(HEADING(ATTRIBUTENAME(NAME))BODY(TUPLE(ATTRIBUTENAME(DATAACTIONNAME))TUPLE(ATTRIBUTENAME(RECORDTYPENAME))TUPLE(ATTRIBUTENAME(POSSREPNAME))TUPLE(ATTRIBUTENAME(FILENAME))TUPLE(ATTRIBUTENAME(TYPENAME))TUPLE(ATTRIBUTENAME(RELVARPREDICATE))TUPLE(ATTRIBUTENAME(REFERENCEDRELVARNAME))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME))TUPLE(ATTRIBUTENAME(COMPONENTNAME))TUPLE(ATTRIBUTENAME(CLIENTID))TUPLE(ATTRIBUTENAME(INDEXNAME))TUPLE(ATTRIBUTENAME(ALGORITHM))TUPLE(ATTRIBUTENAME(SP_EXPRESSION))TUPLE(ATTRIBUTENAME(USERID))TUPLE(ATTRIBUTENAME(CONSTRAINTMESSAGETEXT))TUPLE(ATTRIBUTENAME(COMPONENTTYPENAME))TUPLE(ATTRIBUTENAME(INTERVALTYPENAME))TUPLE(ATTRIBUTENAME(CERTIFICATE))TUPLE(ATTRIBUTENAME(BASETYPE))TUPLE(ATTRIBUTENAME(TARGETRELVARNAME))TUPLE(ATTRIBUTENAME(CONSTRAINTLABEL))TUPLE(ATTRIBUTENAME(RELVARNAME))))
Request : inquire v2
Reply   : RELATION(HEADING(COUNT(INT))BODY(TUPLE(COUNT(275))))

Comment : relvar references
Request : inquire restrict(virtualrelvarreferences,eq(relvarname,name(v1)))
Reply   : RELATION(HEADING(REFERENCEDRELVARNAME(NAME)RELVARNAME(NAME))BODY(TUPLE(REFERENCEDRELVARNAME(ATTRIBUTELOGICALLENGTH)RELVARNAME(V1))TUPLE(REFERENCEDRELVARNAME(SYSTEMDEFINEDRELVAR)RELVARNAME(V1))TUPLE(REFERENCEDRELVARNAME(RELVARATTRIBUTE)RELVARNAME(V1))))
Request : inquire restrict(virtualrelvarreferences,eq(relvarname,name(v2)))
Reply   : RELATION(HEADING(REFERENCEDRELVARNAME(NAME)RELVARNAME(NAME))BODY(TUPLE(REFERENCEDRELVARNAME(V1)RELVARNAME(V2))))
Request : inquire restrict(virtualrelvarreferences,eq(referencedrelvarname,name(relvarattribute)))
Reply   : RELATION(HEADING(REFERENCEDRELVARNAME(NAME)RELVARNAME(NAME))BODY(TUPLE(REFERENCEDRELVARNAME(RELVARATTRIBUTE)RELVARNAME(V1))))
Request : inquire restrict(virtualrelvarreferences,eq(referencedrelvarname,name(systemdefinedrelvar)))
Reply   : RELATION(HEADING(REFERENCEDRELVARNAME(NAME)RELVARNAME(NAME))BODY(TUPLE(REFERENCEDRELVARNAME(SYSTEMDEFINEDRELVAR)RELVARNAME(V1))))

Comment : virtual relvar type dependencies
Request : inquire restrict(virtualrelvardependsontype,eq(relvarname,name(v1)))
Reply   : RELATION(HEADING(RELVARNAME(NAME)TYPENAME(NAME))BODY())
Request : inquire restrict(virtualrelvardependsontype,eq(relvarname,name(v2)))
Reply   : RELATION(HEADING(RELVARNAME(NAME)TYPENAME(NAME))BODY())

Comment : delete v2 back again
Request : delete virtualrelvar,virtualrelvar(tuple(relvarname(v2)sp_expression(aggregate\(v1,count\(plus\(length\(attributename\)\)\)\))))
Reply   : 
Request : inquire v2
Reply   : 1497858657:325:Name 'v2' did not resolve as an attribute reference in its lexical scope null, nor is it equal to an existing relvar name. The cause of this problem was a be.SIRAPRISE.server.NotARelvarException with message Requested Relation variable V2 could not be found in the catalog..

Comment : relvar references
Request : inquire restrict(virtualrelvarreferences,eq(relvarname,name(v1)))
Reply   : RELATION(HEADING(REFERENCEDRELVARNAME(NAME)RELVARNAME(NAME))BODY(TUPLE(REFERENCEDRELVARNAME(ATTRIBUTELOGICALLENGTH)RELVARNAME(V1))TUPLE(REFERENCEDRELVARNAME(SYSTEMDEFINEDRELVAR)RELVARNAME(V1))TUPLE(REFERENCEDRELVARNAME(RELVARATTRIBUTE)RELVARNAME(V1))))
Request : inquire restrict(virtualrelvarreferences,eq(relvarname,name(v2)))
Reply   : RELATION(HEADING(REFERENCEDRELVARNAME(NAME)RELVARNAME(NAME))BODY())
Request : inquire restrict(virtualrelvarreferences,eq(referencedrelvarname,name(relvarattribute)))
Reply   : RELATION(HEADING(REFERENCEDRELVARNAME(NAME)RELVARNAME(NAME))BODY(TUPLE(REFERENCEDRELVARNAME(RELVARATTRIBUTE)RELVARNAME(V1))))
Request : inquire restrict(virtualrelvarreferences,eq(referencedrelvarname,name(systemdefinedrelvar)))
Reply   : RELATION(HEADING(REFERENCEDRELVARNAME(NAME)RELVARNAME(NAME))BODY(TUPLE(REFERENCEDRELVARNAME(SYSTEMDEFINEDRELVAR)RELVARNAME(V1))))

Comment : delete v1 back again
Request : delete virtualrelvar,virtualrelvar(tuple(relvarname(v1)sp_expression(project\(join\(attributelogicallength,relvarattribute,systemdefinedrelvar\),\(attributename\)\))))
Reply   : 
Request : inquire v1
Reply   : 1497858657:325:Name 'v1' did not resolve as an attribute reference in its lexical scope null, nor is it equal to an existing relvar name. The cause of this problem was a be.SIRAPRISE.server.NotARelvarException with message Requested Relation variable V1 could not be found in the catalog..

Comment : relvar references
Request : inquire restrict(virtualrelvarreferences,eq(relvarname,name(v1)))
Reply   : RELATION(HEADING(REFERENCEDRELVARNAME(NAME)RELVARNAME(NAME))BODY())
Request : inquire restrict(virtualrelvarreferences,eq(relvarname,name(v2)))
Reply   : RELATION(HEADING(REFERENCEDRELVARNAME(NAME)RELVARNAME(NAME))BODY())
Request : inquire restrict(virtualrelvarreferences,eq(referencedrelvarname,name(relvarattribute)))
Reply   : RELATION(HEADING(REFERENCEDRELVARNAME(NAME)RELVARNAME(NAME))BODY())
Request : inquire restrict(virtualrelvarreferences,eq(referencedrelvarname,name(systemdefinedrelvar)))
Reply   : RELATION(HEADING(REFERENCEDRELVARNAME(NAME)RELVARNAME(NAME))BODY())

Comment : some test relating to the type dependencies
Request : add virtualrelvar,virtualrelvar(tuple(relvarname(v1)sp_expression( join\(relvarattribute,relation\(heading\(attributename\(name\)\)body\(tuple\(attributename\(relvarname\)\)\)\)\) )))
Reply   : 
Request : inquire v1
Reply   : RELATION(HEADING(ATTRIBUTENAME(NAME)RELVARNAME(NAME))BODY(TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(INDEXCOMPONENT))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(VIRTUALRELVARREFERENCES))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(RELVARID))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(RELVARATTRIBUTE))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(CONSTRAINTINVOLVESRELVAR))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(SYSTEMDEFINEDRELVAR))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(INDEXID))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(INDEXATTRIBUTE))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(RELVARCARDINALITY))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(INDEX))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(KEY))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(TUPLECONSTRAINT))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(RECORDTYPEID))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(NEWATTRIBUTEDEFAULTVALUE))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(VIRTUALRELVAR))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(VIRTUALRELVARDEPENDSONTYPE))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(TRIGGEREDDATAACTION))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(RECORDTYPE))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(RECORDATTRIBUTE))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(TUPLEINDEX))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(DATABASECONSTRAINTCHECK))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(RELVAR))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(ASSIGNMENTCONSTRAINTCHECK))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(ATTRIBUTEVALUEDISTRIBUTION))))

Comment : relvar references & type dependencies
Request : inquire restrict(virtualrelvarreferences,eq(relvarname,name(v1)))
Reply   : RELATION(HEADING(REFERENCEDRELVARNAME(NAME)RELVARNAME(NAME))BODY(TUPLE(REFERENCEDRELVARNAME(RELVARATTRIBUTE)RELVARNAME(V1))))
Request : inquire restrict(virtualrelvardependsontype,eq(relvarname,name(v1)))
Reply   : RELATION(HEADING(RELVARNAME(NAME)TYPENAME(NAME))BODY())

Comment : replace with a new expression that should indeed give rise to a type dependency
Request : delete virtualrelvar,virtualrelvar(tuple(relvarname(v1)sp_expression( join\(relvarattribute,relation\(heading\(attributename\(name\)\)body\(tuple\(attributename\(relvarname\)\)\)\)\) )))
Reply   : 
Request : add virtualrelvar,virtualrelvar(tuple(relvarname(v1)sp_expression( extend\(join\(systemdefinedrelvar,relvarattribute\),ex\(relation\(heading\(extra\(boolean\)\)body\(tuple\(extra\(true\)\)\)\)\)\) )))
Reply   : 
Request : inquire v1
Reply   : RELATION(HEADING(ATTRIBUTENAME(NAME)RELVARNAME(NAME)EX(RELATION(HEADING(EXTRA(BOOLEAN)))))BODY(TUPLE(ATTRIBUTENAME(DATAACTIONNAME)RELVARNAME(TRIGGEREDDATAACTION)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ORDINAL)RELVARNAME(INDEXCOMPONENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(EXTENTSCOUNT)RELVARNAME(STORAGESPACE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(STORAGESPACEID)RELVARNAME(HASHINGINDEXSPACE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(INDEXCOMPONENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(REFERENCEDRELVARNAME)RELVARNAME(DATAACTIONREFERENCES)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RECORDTYPENAME)RELVARNAME(RECORDTYPE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(INDEXNAME)RELVARNAME(INDEXATTRIBUTE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(VIRTUALRELVARREFERENCES)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(RELVARID)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(COMPONENTTYPENAME)RELVARNAME(UDTPHYSICALPOSSREPCOMPONENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RECORDTYPENAME)RELVARNAME(RECORDATTRIBUTE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(INDEXNAME)RELVARNAME(INDEX)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(TYPENAME)RELVARNAME(VIRTUALRELVARDEPENDSONTYPE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(COMPONENTNAME)RELVARNAME(POSSREPCOMPONENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(RELVARATTRIBUTE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(CONSTRAINTINVOLVESRELVAR)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(FILENAME)RELVARNAME(RECORDTYPE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RECORDTYPENAME)RELVARNAME(TUPLEINDEX)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)RELVARNAME(ASSIGNMENTCONSTRAINT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)RELVARNAME(TUPLECONSTRAINT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(USERID)RELVARNAME(CURRENTUSER)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(STORAGESPACEID)RELVARNAME(INDEX)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME)RELVARNAME(NEWATTRIBUTEDEFAULTVALUE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(CLIENTID)RELVARNAME(CLIENTCERTIFICATE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(INTERVALTYPENAME)RELVARNAME(INTERVALTYPE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(SYSTEMDEFINEDRELVAR)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(USERID)RELVARNAME(USER)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME)RELVARNAME(ATTRIBUTELOGICALLENGTH)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(MAXIMUMGAPS)RELVARNAME(MULTIHASHINGINDEXSPACE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ORDINAL)RELVARNAME(UDTPHYSICALPOSSREPCOMPONENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(PHYSICALLENGTH)RELVARNAME(RECORDTYPEID)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(STORAGESPACEID)RELVARNAME(DATASPACE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ALGORITHM)RELVARNAME(CLIENTCERTIFICATE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(INDEXID)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(BYPASSASSGCONSTRAINTS)RELVARNAME(TRIGGEREDDATAACTION)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME)RELVARNAME(RECORDATTRIBUTE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(COMPONENTTYPENAME)RELVARNAME(POSSREPCOMPONENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(CLIENTID)RELVARNAME(SYSTEMDEFINEDCLIENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ERRORCODE)RELVARNAME(CONSTRAINTMESSAGETEXT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)RELVARNAME(NEWATTRIBUTEDEFAULTVALUE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ORDINAL)RELVARNAME(INDEXATTRIBUTE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(CARDINALITY)RELVARNAME(RELVARCARDINALITY)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ISDISTINCT)RELVARNAME(TRIGGEREDDATAACTION)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(USERID)RELVARNAME(SYSTEMDEFINEDUSER)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(INDEXATTRIBUTE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(LOGICALLENGTH)RELVARNAME(ATTRIBUTELOGICALLENGTH)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(RELVARCARDINALITY)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(CONSTRAINTLABEL)RELVARNAME(ASSIGNMENTCONSTRAINT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(INDEX)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)RELVARNAME(VIRTUALRELVAR)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(KEY)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RECORDTYPEID)RELVARNAME(RECORDTYPEID)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(TRIGGEREDOPERATIONTYPE)RELVARNAME(TRIGGEREDDATAACTION)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(TUPLECONSTRAINT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(RECORDTYPEID)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(INDEXNAME)RELVARNAME(RECORDTYPE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(CERTIFICATE)RELVARNAME(CLIENTCERTIFICATE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)RELVARNAME(TRIGGEREDDATAACTION)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(INDEXNAME)RELVARNAME(TUPLEINDEX)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(STORAGESPACEID)RELVARNAME(RECORDTYPE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(CONSTRAINTMESSAGETEXT)RELVARNAME(CONSTRAINTMESSAGETEXT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(TRUSTAUTHENTICATION)RELVARNAME(SYSTEMDEFINEDCLIENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(MAXIMUMGAPS)RELVARNAME(DATASPACE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(NEWATTRIBUTEDEFAULTVALUE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(TARGETRELVARNAME)RELVARNAME(TRIGGEREDDATAACTION)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(VIRTUALRELVAR)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(VIRTUALRELVARDEPENDSONTYPE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(TRIGGEREDDATAACTION)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(RECORDTYPE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ORDINAL)RELVARNAME(RECORDATTRIBUTE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(RECORDATTRIBUTE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(TUPLEINDEX)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(OPERATIONTYPE)RELVARNAME(DATABASECONSTRAINTCHECK)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(OPERATIONTYPE)RELVARNAME(ASSIGNMENTCONSTRAINTCHECK)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARPREDICATE)RELVARNAME(RELVAR)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(POSSREPNAME)RELVARNAME(USERDEFINEDTYPE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(TYPENAME)RELVARNAME(UDTORDERINGOPERATOR)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(FILENAME)RELVARNAME(STORAGESPACE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(TYPENAME)RELVARNAME(USERDEFINEDTYPE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(FILENAME)RELVARNAME(DBMSFILE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(FILENAME)RELVARNAME(SYSTEMDEFINEDDBMSFILE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(TYPENAME)RELVARNAME(CONSTRAINEDTYPE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(REFERENCEDRELVARNAME)RELVARNAME(VIRTUALRELVARREFERENCES)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(POSSREPNAME)RELVARNAME(UDTPPCVALUESELECTOR)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(TYPENAME)RELVARNAME(JAVABACKEDTYPE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(STDDEV)RELVARNAME(ATTRIBUTEVALUEDISTRIBUTION)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(TYPENAME)RELVARNAME(UDTPPCVALUESELECTOR)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ERRORCODE)RELVARNAME(DATABASECONSTRAINTCHECK)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME)RELVARNAME(ATTRIBUTEVALUEDISTRIBUTION)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(FREQUENCY)RELVARNAME(ATTRIBUTEVALUEDISTRIBUTION)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ERRORCODE)RELVARNAME(ASSIGNMENTCONSTRAINTCHECK)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(FILENAME)RELVARNAME(MULTIHASHINGINDEXSPACE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ERRORCODE)RELVARNAME(DATABASECONSTRAINT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(POSSREPNAME)RELVARNAME(UDTPOSSREP)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME)RELVARNAME(ATTRIBUTEPHYSICALLENGTH)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(TYPENAME)RELVARNAME(UDTPOSSREP)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(GAPCOMPRESSIONTHRESHOLD)RELVARNAME(MULTIHASHINGINDEXSPACE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(FILENAME)RELVARNAME(TREEINDEXSPACE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(TYPENAME)RELVARNAME(SYSTEMDEFINEDTYPE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME)RELVARNAME(KEYATTRIBUTE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME)RELVARNAME(RELVARATTRIBUTE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(POSSREPNAME)RELVARNAME(POSSREP)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ERRORCODE)RELVARNAME(KEYATTRIBUTE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(CLIENTID)RELVARNAME(CLIENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(TYPENAME)RELVARNAME(POSSREP)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(PAGECOUNT)RELVARNAME(STORAGESPACE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(POSSREPNAME)RELVARNAME(UDTPOSSREPCOMPONENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARID)RELVARNAME(RELVARID)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(CURRENTDATE)RELVARNAME(CURRENTDATE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(TYPENAME)RELVARNAME(UDTPHYSICALPOSSREPCOMPONENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ERRORCODE)RELVARNAME(CONSTRAINTINVOLVESRELVAR)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(TYPENAME)RELVARNAME(UDTPOSSREPCOMPONENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)RELVARNAME(DATABASECONSTRAINT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(FILENAME)RELVARNAME(HASHINGINDEXSPACE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(INDEXID)RELVARNAME(INDEXID)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)RELVARNAME(UDTORDERINGOPERATOR)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)RELVARNAME(USERDEFINEDTYPE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RECORDTYPENAME)RELVARNAME(INDEX)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(COMPONENTNAME)RELVARNAME(UDTPPCVALUESELECTOR)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ERRORCODE)RELVARNAME(SYSTEMDEFINEDCONSTRAINT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(TYPENAME)RELVARNAME(INTERVALTYPE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(TYPENAME)RELVARNAME(TYPEPROPERTIES)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RECORDTYPENAME)RELVARNAME(RECORDTYPEID)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(INDEXNAME)RELVARNAME(INDEXCOMPONENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(STORAGESPACEID)RELVARNAME(STORAGESPACE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(TYPENAME)RELVARNAME(ATTRIBUTE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)RELVARNAME(INDEXCOMPONENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(FILENAME)RELVARNAME(INDEX)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)RELVARNAME(CONSTRAINEDTYPE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(VALUECOUNT)RELVARNAME(ATTRIBUTEVALUEDISTRIBUTION)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ALGORITHM)RELVARNAME(USERCERTIFICATE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(PAGESIZE)RELVARNAME(DBMSFILE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(MAXIMUMSIZE)RELVARNAME(TYPEPROPERTIES)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(MINIMUMSIZE)RELVARNAME(TYPEPROPERTIES)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)RELVARNAME(UDTPPCVALUESELECTOR)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ISORDERED)RELVARNAME(TYPEPROPERTIES)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(PHYSICALLENGTH)RELVARNAME(ATTRIBUTEPHYSICALLENGTH)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(USERID)RELVARNAME(USERCERTIFICATE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(POSSREPNAME)RELVARNAME(POSSREPCOMPONENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(COMPONENTNAME)RELVARNAME(UDTPHYSICALPOSSREPCOMPONENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(TYPENAME)RELVARNAME(POSSREPCOMPONENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(TRUSTAUTHENTICATION)RELVARNAME(CLIENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(COMPONENTNAME)RELVARNAME(UDTPOSSREPCOMPONENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(FILENAME)RELVARNAME(DATASPACE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME)RELVARNAME(INDEXATTRIBUTE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME)RELVARNAME(ATTRIBUTE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(STORAGESPACEID)RELVARNAME(MULTIHASHINGINDEXSPACE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ISSCALAR)RELVARNAME(TYPEPROPERTIES)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(GAPCOMPRESSIONTHRESHOLD)RELVARNAME(DATASPACE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(CONSTRAINTLABEL)RELVARNAME(DATABASECONSTRAINT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(BASETYPE)RELVARNAME(CONSTRAINEDTYPE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(DATABASECONSTRAINTCHECK)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(RELVAR)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(CERTIFICATE)RELVARNAME(USERCERTIFICATE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(DATAACTIONNAME)RELVARNAME(DATAACTIONREFERENCES)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(ASSIGNMENTCONSTRAINTCHECK)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(STORAGESPACEID)RELVARNAME(TREEINDEXSPACE)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ERRORCODE)RELVARNAME(KEY)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(INDEXNAME)RELVARNAME(INDEXID)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(OPERATIONTYPE)RELVARNAME(TRIGGEREDDATAACTION)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(RELVARNAME)RELVARNAME(ATTRIBUTEVALUEDISTRIBUTION)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ERRORCODE)RELVARNAME(ASSIGNMENTCONSTRAINT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(ERRORCODE)RELVARNAME(TUPLECONSTRAINT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)RELVARNAME(UDTPOSSREPCOMPONENT)EX(BODY(TUPLE(EXTRA(True)))))TUPLE(ATTRIBUTENAME(LOGICALLENGTH)RELVARNAME(UDTPHYSICALPOSSREPCOMPONENT)EX(BODY(TUPLE(EXTRA(True)))))))

Comment : relvar references & type dependencies
Request : inquire restrict(virtualrelvarreferences,eq(relvarname,name(v1)))
Reply   : RELATION(HEADING(REFERENCEDRELVARNAME(NAME)RELVARNAME(NAME))BODY(TUPLE(REFERENCEDRELVARNAME(RELVARATTRIBUTE)RELVARNAME(V1))TUPLE(REFERENCEDRELVARNAME(SYSTEMDEFINEDRELVAR)RELVARNAME(V1))))
Request : inquire restrict(virtualrelvardependsontype,eq(relvarname,name(v1)))
Reply   : RELATION(HEADING(RELVARNAME(NAME)TYPENAME(NAME))BODY(TUPLE(RELVARNAME(V1)TYPENAME(BOOLEAN))))

Comment : replace with a new expression that should indeed give rise to a type dependency
Request : delete virtualrelvar,virtualrelvar(tuple(relvarname(v1)sp_expression( extend\(join\(systemdefinedrelvar,relvarattribute\),ex\(relation\(heading\(extra\(boolean\)\)body\(tuple\(extra\(true\)\)\)\)\)\) )))
Reply   : 
Request : add virtualrelvar,virtualrelvar(tuple(relvarname(v1)sp_expression( extend\(join\(systemdefinedrelvar,relvarattribute\),ex\(long\(1\)\)\) )))
Reply   : 
Request : inquire v1
Reply   : RELATION(HEADING(ATTRIBUTENAME(NAME)EX(LONG)RELVARNAME(NAME))BODY(TUPLE(ATTRIBUTENAME(OPERATIONTYPE)EX(1)RELVARNAME(ASSIGNMENTCONSTRAINTCHECK))TUPLE(ATTRIBUTENAME(RELVARPREDICATE)EX(1)RELVARNAME(RELVAR))TUPLE(ATTRIBUTENAME(POSSREPNAME)EX(1)RELVARNAME(USERDEFINEDTYPE))TUPLE(ATTRIBUTENAME(TYPENAME)EX(1)RELVARNAME(UDTORDERINGOPERATOR))TUPLE(ATTRIBUTENAME(FILENAME)EX(1)RELVARNAME(STORAGESPACE))TUPLE(ATTRIBUTENAME(TYPENAME)EX(1)RELVARNAME(USERDEFINEDTYPE))TUPLE(ATTRIBUTENAME(FILENAME)EX(1)RELVARNAME(DBMSFILE))TUPLE(ATTRIBUTENAME(FILENAME)EX(1)RELVARNAME(SYSTEMDEFINEDDBMSFILE))TUPLE(ATTRIBUTENAME(TYPENAME)EX(1)RELVARNAME(CONSTRAINEDTYPE))TUPLE(ATTRIBUTENAME(REFERENCEDRELVARNAME)EX(1)RELVARNAME(VIRTUALRELVARREFERENCES))TUPLE(ATTRIBUTENAME(POSSREPNAME)EX(1)RELVARNAME(UDTPPCVALUESELECTOR))TUPLE(ATTRIBUTENAME(TYPENAME)EX(1)RELVARNAME(JAVABACKEDTYPE))TUPLE(ATTRIBUTENAME(STDDEV)EX(1)RELVARNAME(ATTRIBUTEVALUEDISTRIBUTION))TUPLE(ATTRIBUTENAME(TYPENAME)EX(1)RELVARNAME(UDTPPCVALUESELECTOR))TUPLE(ATTRIBUTENAME(ERRORCODE)EX(1)RELVARNAME(DATABASECONSTRAINTCHECK))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME)EX(1)RELVARNAME(ATTRIBUTEVALUEDISTRIBUTION))TUPLE(ATTRIBUTENAME(FREQUENCY)EX(1)RELVARNAME(ATTRIBUTEVALUEDISTRIBUTION))TUPLE(ATTRIBUTENAME(ERRORCODE)EX(1)RELVARNAME(ASSIGNMENTCONSTRAINTCHECK))TUPLE(ATTRIBUTENAME(FILENAME)EX(1)RELVARNAME(MULTIHASHINGINDEXSPACE))TUPLE(ATTRIBUTENAME(ERRORCODE)EX(1)RELVARNAME(DATABASECONSTRAINT))TUPLE(ATTRIBUTENAME(POSSREPNAME)EX(1)RELVARNAME(UDTPOSSREP))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME)EX(1)RELVARNAME(ATTRIBUTEPHYSICALLENGTH))TUPLE(ATTRIBUTENAME(TYPENAME)EX(1)RELVARNAME(UDTPOSSREP))TUPLE(ATTRIBUTENAME(GAPCOMPRESSIONTHRESHOLD)EX(1)RELVARNAME(MULTIHASHINGINDEXSPACE))TUPLE(ATTRIBUTENAME(FILENAME)EX(1)RELVARNAME(TREEINDEXSPACE))TUPLE(ATTRIBUTENAME(TYPENAME)EX(1)RELVARNAME(SYSTEMDEFINEDTYPE))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME)EX(1)RELVARNAME(KEYATTRIBUTE))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME)EX(1)RELVARNAME(RELVARATTRIBUTE))TUPLE(ATTRIBUTENAME(POSSREPNAME)EX(1)RELVARNAME(POSSREP))TUPLE(ATTRIBUTENAME(ERRORCODE)EX(1)RELVARNAME(KEYATTRIBUTE))TUPLE(ATTRIBUTENAME(CLIENTID)EX(1)RELVARNAME(CLIENT))TUPLE(ATTRIBUTENAME(TYPENAME)EX(1)RELVARNAME(POSSREP))TUPLE(ATTRIBUTENAME(PAGECOUNT)EX(1)RELVARNAME(STORAGESPACE))TUPLE(ATTRIBUTENAME(POSSREPNAME)EX(1)RELVARNAME(UDTPOSSREPCOMPONENT))TUPLE(ATTRIBUTENAME(RELVARID)EX(1)RELVARNAME(RELVARID))TUPLE(ATTRIBUTENAME(CURRENTDATE)EX(1)RELVARNAME(CURRENTDATE))TUPLE(ATTRIBUTENAME(TYPENAME)EX(1)RELVARNAME(UDTPHYSICALPOSSREPCOMPONENT))TUPLE(ATTRIBUTENAME(ERRORCODE)EX(1)RELVARNAME(CONSTRAINTINVOLVESRELVAR))TUPLE(ATTRIBUTENAME(TYPENAME)EX(1)RELVARNAME(UDTPOSSREPCOMPONENT))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)EX(1)RELVARNAME(DATABASECONSTRAINT))TUPLE(ATTRIBUTENAME(FILENAME)EX(1)RELVARNAME(HASHINGINDEXSPACE))TUPLE(ATTRIBUTENAME(INDEXID)EX(1)RELVARNAME(INDEXID))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)EX(1)RELVARNAME(UDTORDERINGOPERATOR))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)EX(1)RELVARNAME(USERDEFINEDTYPE))TUPLE(ATTRIBUTENAME(RECORDTYPENAME)EX(1)RELVARNAME(INDEX))TUPLE(ATTRIBUTENAME(COMPONENTNAME)EX(1)RELVARNAME(UDTPPCVALUESELECTOR))TUPLE(ATTRIBUTENAME(ERRORCODE)EX(1)RELVARNAME(SYSTEMDEFINEDCONSTRAINT))TUPLE(ATTRIBUTENAME(TYPENAME)EX(1)RELVARNAME(INTERVALTYPE))TUPLE(ATTRIBUTENAME(TYPENAME)EX(1)RELVARNAME(TYPEPROPERTIES))TUPLE(ATTRIBUTENAME(RECORDTYPENAME)EX(1)RELVARNAME(RECORDTYPEID))TUPLE(ATTRIBUTENAME(INDEXNAME)EX(1)RELVARNAME(INDEXCOMPONENT))TUPLE(ATTRIBUTENAME(STORAGESPACEID)EX(1)RELVARNAME(STORAGESPACE))TUPLE(ATTRIBUTENAME(TYPENAME)EX(1)RELVARNAME(ATTRIBUTE))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)EX(1)RELVARNAME(INDEXCOMPONENT))TUPLE(ATTRIBUTENAME(FILENAME)EX(1)RELVARNAME(INDEX))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)EX(1)RELVARNAME(CONSTRAINEDTYPE))TUPLE(ATTRIBUTENAME(VALUECOUNT)EX(1)RELVARNAME(ATTRIBUTEVALUEDISTRIBUTION))TUPLE(ATTRIBUTENAME(ALGORITHM)EX(1)RELVARNAME(USERCERTIFICATE))TUPLE(ATTRIBUTENAME(PAGESIZE)EX(1)RELVARNAME(DBMSFILE))TUPLE(ATTRIBUTENAME(MAXIMUMSIZE)EX(1)RELVARNAME(TYPEPROPERTIES))TUPLE(ATTRIBUTENAME(MINIMUMSIZE)EX(1)RELVARNAME(TYPEPROPERTIES))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)EX(1)RELVARNAME(UDTPPCVALUESELECTOR))TUPLE(ATTRIBUTENAME(ISORDERED)EX(1)RELVARNAME(TYPEPROPERTIES))TUPLE(ATTRIBUTENAME(PHYSICALLENGTH)EX(1)RELVARNAME(ATTRIBUTEPHYSICALLENGTH))TUPLE(ATTRIBUTENAME(USERID)EX(1)RELVARNAME(USERCERTIFICATE))TUPLE(ATTRIBUTENAME(POSSREPNAME)EX(1)RELVARNAME(POSSREPCOMPONENT))TUPLE(ATTRIBUTENAME(COMPONENTNAME)EX(1)RELVARNAME(UDTPHYSICALPOSSREPCOMPONENT))TUPLE(ATTRIBUTENAME(TYPENAME)EX(1)RELVARNAME(POSSREPCOMPONENT))TUPLE(ATTRIBUTENAME(TRUSTAUTHENTICATION)EX(1)RELVARNAME(CLIENT))TUPLE(ATTRIBUTENAME(COMPONENTNAME)EX(1)RELVARNAME(UDTPOSSREPCOMPONENT))TUPLE(ATTRIBUTENAME(FILENAME)EX(1)RELVARNAME(DATASPACE))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME)EX(1)RELVARNAME(INDEXATTRIBUTE))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME)EX(1)RELVARNAME(ATTRIBUTE))TUPLE(ATTRIBUTENAME(STORAGESPACEID)EX(1)RELVARNAME(MULTIHASHINGINDEXSPACE))TUPLE(ATTRIBUTENAME(ISSCALAR)EX(1)RELVARNAME(TYPEPROPERTIES))TUPLE(ATTRIBUTENAME(GAPCOMPRESSIONTHRESHOLD)EX(1)RELVARNAME(DATASPACE))TUPLE(ATTRIBUTENAME(CONSTRAINTLABEL)EX(1)RELVARNAME(DATABASECONSTRAINT))TUPLE(ATTRIBUTENAME(BASETYPE)EX(1)RELVARNAME(CONSTRAINEDTYPE))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(DATABASECONSTRAINTCHECK))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(RELVAR))TUPLE(ATTRIBUTENAME(CERTIFICATE)EX(1)RELVARNAME(USERCERTIFICATE))TUPLE(ATTRIBUTENAME(DATAACTIONNAME)EX(1)RELVARNAME(DATAACTIONREFERENCES))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(ASSIGNMENTCONSTRAINTCHECK))TUPLE(ATTRIBUTENAME(STORAGESPACEID)EX(1)RELVARNAME(TREEINDEXSPACE))TUPLE(ATTRIBUTENAME(ERRORCODE)EX(1)RELVARNAME(KEY))TUPLE(ATTRIBUTENAME(INDEXNAME)EX(1)RELVARNAME(INDEXID))TUPLE(ATTRIBUTENAME(OPERATIONTYPE)EX(1)RELVARNAME(TRIGGEREDDATAACTION))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(ATTRIBUTEVALUEDISTRIBUTION))TUPLE(ATTRIBUTENAME(ERRORCODE)EX(1)RELVARNAME(ASSIGNMENTCONSTRAINT))TUPLE(ATTRIBUTENAME(ERRORCODE)EX(1)RELVARNAME(TUPLECONSTRAINT))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)EX(1)RELVARNAME(UDTPOSSREPCOMPONENT))TUPLE(ATTRIBUTENAME(LOGICALLENGTH)EX(1)RELVARNAME(UDTPHYSICALPOSSREPCOMPONENT))TUPLE(ATTRIBUTENAME(DATAACTIONNAME)EX(1)RELVARNAME(TRIGGEREDDATAACTION))TUPLE(ATTRIBUTENAME(ORDINAL)EX(1)RELVARNAME(INDEXCOMPONENT))TUPLE(ATTRIBUTENAME(EXTENTSCOUNT)EX(1)RELVARNAME(STORAGESPACE))TUPLE(ATTRIBUTENAME(STORAGESPACEID)EX(1)RELVARNAME(HASHINGINDEXSPACE))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(INDEXCOMPONENT))TUPLE(ATTRIBUTENAME(REFERENCEDRELVARNAME)EX(1)RELVARNAME(DATAACTIONREFERENCES))TUPLE(ATTRIBUTENAME(RECORDTYPENAME)EX(1)RELVARNAME(RECORDTYPE))TUPLE(ATTRIBUTENAME(INDEXNAME)EX(1)RELVARNAME(INDEXATTRIBUTE))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(VIRTUALRELVARREFERENCES))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(RELVARID))TUPLE(ATTRIBUTENAME(COMPONENTTYPENAME)EX(1)RELVARNAME(UDTPHYSICALPOSSREPCOMPONENT))TUPLE(ATTRIBUTENAME(RECORDTYPENAME)EX(1)RELVARNAME(RECORDATTRIBUTE))TUPLE(ATTRIBUTENAME(INDEXNAME)EX(1)RELVARNAME(INDEX))TUPLE(ATTRIBUTENAME(TYPENAME)EX(1)RELVARNAME(VIRTUALRELVARDEPENDSONTYPE))TUPLE(ATTRIBUTENAME(COMPONENTNAME)EX(1)RELVARNAME(POSSREPCOMPONENT))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(RELVARATTRIBUTE))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(CONSTRAINTINVOLVESRELVAR))TUPLE(ATTRIBUTENAME(FILENAME)EX(1)RELVARNAME(RECORDTYPE))TUPLE(ATTRIBUTENAME(RECORDTYPENAME)EX(1)RELVARNAME(TUPLEINDEX))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)EX(1)RELVARNAME(ASSIGNMENTCONSTRAINT))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)EX(1)RELVARNAME(TUPLECONSTRAINT))TUPLE(ATTRIBUTENAME(USERID)EX(1)RELVARNAME(CURRENTUSER))TUPLE(ATTRIBUTENAME(STORAGESPACEID)EX(1)RELVARNAME(INDEX))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME)EX(1)RELVARNAME(NEWATTRIBUTEDEFAULTVALUE))TUPLE(ATTRIBUTENAME(CLIENTID)EX(1)RELVARNAME(CLIENTCERTIFICATE))TUPLE(ATTRIBUTENAME(INTERVALTYPENAME)EX(1)RELVARNAME(INTERVALTYPE))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(SYSTEMDEFINEDRELVAR))TUPLE(ATTRIBUTENAME(USERID)EX(1)RELVARNAME(USER))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME)EX(1)RELVARNAME(ATTRIBUTELOGICALLENGTH))TUPLE(ATTRIBUTENAME(MAXIMUMGAPS)EX(1)RELVARNAME(MULTIHASHINGINDEXSPACE))TUPLE(ATTRIBUTENAME(ORDINAL)EX(1)RELVARNAME(UDTPHYSICALPOSSREPCOMPONENT))TUPLE(ATTRIBUTENAME(PHYSICALLENGTH)EX(1)RELVARNAME(RECORDTYPEID))TUPLE(ATTRIBUTENAME(STORAGESPACEID)EX(1)RELVARNAME(DATASPACE))TUPLE(ATTRIBUTENAME(ALGORITHM)EX(1)RELVARNAME(CLIENTCERTIFICATE))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(INDEXID))TUPLE(ATTRIBUTENAME(BYPASSASSGCONSTRAINTS)EX(1)RELVARNAME(TRIGGEREDDATAACTION))TUPLE(ATTRIBUTENAME(ATTRIBUTENAME)EX(1)RELVARNAME(RECORDATTRIBUTE))TUPLE(ATTRIBUTENAME(COMPONENTTYPENAME)EX(1)RELVARNAME(POSSREPCOMPONENT))TUPLE(ATTRIBUTENAME(CLIENTID)EX(1)RELVARNAME(SYSTEMDEFINEDCLIENT))TUPLE(ATTRIBUTENAME(ERRORCODE)EX(1)RELVARNAME(CONSTRAINTMESSAGETEXT))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)EX(1)RELVARNAME(NEWATTRIBUTEDEFAULTVALUE))TUPLE(ATTRIBUTENAME(ORDINAL)EX(1)RELVARNAME(INDEXATTRIBUTE))TUPLE(ATTRIBUTENAME(CARDINALITY)EX(1)RELVARNAME(RELVARCARDINALITY))TUPLE(ATTRIBUTENAME(ISDISTINCT)EX(1)RELVARNAME(TRIGGEREDDATAACTION))TUPLE(ATTRIBUTENAME(USERID)EX(1)RELVARNAME(SYSTEMDEFINEDUSER))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(INDEXATTRIBUTE))TUPLE(ATTRIBUTENAME(LOGICALLENGTH)EX(1)RELVARNAME(ATTRIBUTELOGICALLENGTH))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(RELVARCARDINALITY))TUPLE(ATTRIBUTENAME(CONSTRAINTLABEL)EX(1)RELVARNAME(ASSIGNMENTCONSTRAINT))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(INDEX))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)EX(1)RELVARNAME(VIRTUALRELVAR))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(KEY))TUPLE(ATTRIBUTENAME(RECORDTYPEID)EX(1)RELVARNAME(RECORDTYPEID))TUPLE(ATTRIBUTENAME(TRIGGEREDOPERATIONTYPE)EX(1)RELVARNAME(TRIGGEREDDATAACTION))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(TUPLECONSTRAINT))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(RECORDTYPEID))TUPLE(ATTRIBUTENAME(INDEXNAME)EX(1)RELVARNAME(RECORDTYPE))TUPLE(ATTRIBUTENAME(CERTIFICATE)EX(1)RELVARNAME(CLIENTCERTIFICATE))TUPLE(ATTRIBUTENAME(SP_EXPRESSION)EX(1)RELVARNAME(TRIGGEREDDATAACTION))TUPLE(ATTRIBUTENAME(INDEXNAME)EX(1)RELVARNAME(TUPLEINDEX))TUPLE(ATTRIBUTENAME(STORAGESPACEID)EX(1)RELVARNAME(RECORDTYPE))TUPLE(ATTRIBUTENAME(CONSTRAINTMESSAGETEXT)EX(1)RELVARNAME(CONSTRAINTMESSAGETEXT))TUPLE(ATTRIBUTENAME(TRUSTAUTHENTICATION)EX(1)RELVARNAME(SYSTEMDEFINEDCLIENT))TUPLE(ATTRIBUTENAME(MAXIMUMGAPS)EX(1)RELVARNAME(DATASPACE))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(NEWATTRIBUTEDEFAULTVALUE))TUPLE(ATTRIBUTENAME(TARGETRELVARNAME)EX(1)RELVARNAME(TRIGGEREDDATAACTION))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(VIRTUALRELVAR))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(VIRTUALRELVARDEPENDSONTYPE))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(TRIGGEREDDATAACTION))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(RECORDTYPE))TUPLE(ATTRIBUTENAME(ORDINAL)EX(1)RELVARNAME(RECORDATTRIBUTE))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(RECORDATTRIBUTE))TUPLE(ATTRIBUTENAME(RELVARNAME)EX(1)RELVARNAME(TUPLEINDEX))TUPLE(ATTRIBUTENAME(OPERATIONTYPE)EX(1)RELVARNAME(DATABASECONSTRAINTCHECK))))

Comment : relvar references & type dependencies
Request : inquire restrict(virtualrelvarreferences,eq(relvarname,name(v1)))
Reply   : RELATION(HEADING(RELVARNAME(NAME)REFERENCEDRELVARNAME(NAME))BODY(TUPLE(RELVARNAME(V1)REFERENCEDRELVARNAME(SYSTEMDEFINEDRELVAR))TUPLE(RELVARNAME(V1)REFERENCEDRELVARNAME(RELVARATTRIBUTE))))
Request : inquire restrict(virtualrelvardependsontype,eq(relvarname,name(v1)))
Reply   : RELATION(HEADING(RELVARNAME(NAME)TYPENAME(NAME))BODY(TUPLE(RELVARNAME(V1)TYPENAME(LONG))))

Comment : clean up
Request : unassert virtualrelvar,semijoin(virtualrelvar,relation(heading(relvarname(name))body(tuple(relvarname(v1))tuple(relvarname(v2)))))
Reply   : 
END
