Comment : Charset=windows-1252
Comment : test cases for specifying relation values holding a relation valued attribute
Request : inquire relation(heading(rva(relation(heading(a(int)))))body(tuple(rva(body(tuple(a(1)))))))
Reply   : RELATION(HEADING(RVA(RELATION(HEADING(A(INT)))))BODY(TUPLE(RVA(BODY(TUPLE(A(1)))))))
Request : inquire relation(heading(rva(relation(heading(a(int)b(int)))))body(tuple(rva(body(tuple(a(1)b(2)))))))
Reply   : RELATION(HEADING(RVA(RELATION(HEADING(A(INT)B(INT)))))BODY(TUPLE(RVA(BODY(TUPLE(A(1)B(2)))))))
Request : inquire relation(heading(rva(relation(heading(a(int)b(int)))))body(tuple(rva(body(tuple(a(1)b(2))tuple(b(2)a(1)))))))
Reply   : RELATION(HEADING(RVA(RELATION(HEADING(A(INT)B(INT)))))BODY(TUPLE(RVA(BODY(TUPLE(A(1)B(2)))))))
Request : inquire relation(heading(rva(relation(heading(a(int)b(int)))))body(tuple(rva(body(tuple(a(1)b(2)))))tuple(rva(body(tuple(b(2)a(1)))))))
Reply   : RELATION(HEADING(RVA(RELATION(HEADING(A(INT)B(INT)))))BODY(TUPLE(RVA(BODY(TUPLE(A(1)B(2)))))))
Request : inquire relation(heading(rva(relation(heading(a(int)b(int)))))body(tuple(rva(body(tuple(a(1)b(2)))))tuple(rva(body(tuple(b(2)a(1))tuple(b(12)a(1)))))))
Reply   : RELATION(HEADING(RVA(RELATION(HEADING(A(INT)B(INT)))))BODY(TUPLE(RVA(BODY(TUPLE(A(1)B(2))TUPLE(A(1)B(12)))))TUPLE(RVA(BODY(TUPLE(A(1)B(2)))))))
Request : inquire relation(heading(rva(relation(heading(a(int)))))body(tuple(rva(body()))))
Reply   : RELATION(HEADING(RVA(RELATION(HEADING(A(INT)))))BODY(TUPLE(RVA(BODY()))))
Request : inquire relation(heading(rva(relation(heading(a(int)b(int)))))body(tuple(rva(body()))))
Reply   : RELATION(HEADING(RVA(RELATION(HEADING(A(INT)B(INT)))))BODY(TUPLE(RVA(BODY()))))
Request : inquire relation(heading(rva(relation(heading(a(int)))))body(tuple(rva(TABLE_DEE))))
Reply   : 1497858657:439:The heading { } of the relation-typed value selector TABLE_DEE of attribute RVA does not match the specified RVA heading { A:INT }.
Request : inquire relation(heading(rva(relation(heading())))body(tuple(rva(TABLE_DEE))))
Reply   : RELATION(HEADING(RVA(RELATION(HEADING())))BODY(TUPLE(RVA(BODY(TUPLE())))))
Request : inquire relation(heading(rva(relation(heading())))body(tuple(rva(TABLE_DUM))))
Reply   : RELATION(HEADING(RVA(RELATION(HEADING())))BODY(TUPLE(RVA(BODY()))))
END
