Comment : Charset=windows-1252
Comment : test cases for relation canonicalization with interval types

Request : inquire relation(heading(a1(intinterval)a2(intinterval)a3(intinterval))body(tuple(a1(begin(1)end(5))a2(begin(1)end(5))a3(begin(1)end(1)))))
Reply   : RELATION(HEADING(A2(INTINTERVAL)A3(INTINTERVAL)A1(INTINTERVAL))BODY())

Request : inquire relation(heading(a1(intinterval)a2(intinterval)a3(intinterval))body(tuple(a1(begin(1)end(5))a2(begin(1)end(5))a3(begin(1)end(3)))tuple(a1(begin(1)end(5))a2(begin(1)end(5))a3(begin(2)end(5)))))
Reply   : RELATION(HEADING(A2(INTINTERVAL)A1(INTINTERVAL)A3(INTINTERVAL))BODY(TUPLE(A2(BEGIN(1)END(5))A1(BEGIN(1)END(5))A3(BEGIN(1)END(5)))))

Request : inquire relation(heading(a1(intinterval)a2(intinterval)a3(intinterval))body(tuple(a1(begin(1)end(5))a2(begin(1)end(5))a3(begin(1)end(5)))tuple(a1(begin(1)end(5))a2(begin(1)end(5))a3(begin(3)end(5)))))
Reply   : RELATION(HEADING(A2(INTINTERVAL)A1(INTINTERVAL)A3(INTINTERVAL))BODY(TUPLE(A2(BEGIN(1)END(5))A1(BEGIN(1)END(5))A3(BEGIN(1)END(5)))))

Request : inquire relation(heading(a1(intinterval)a2(intinterval)a3(intinterval))body(tuple(a1(begin(1)end(5))a2(begin(1)end(5))a3(begin(1)end(5)))tuple(a1(begin(1)end(5))a2(begin(1)end(5))a3(begin(2)end(3)))tuple(a1(begin(1)end(5))a2(begin(1)end(5))a3(begin(4)end(8)))))
Reply   : RELATION(HEADING(A2(INTINTERVAL)A1(INTINTERVAL)A3(INTINTERVAL))BODY(TUPLE(A2(BEGIN(1)END(5))A1(BEGIN(1)END(5))A3(BEGIN(1)END(8)))))

Request : inquire relation(heading(a1(intinterval)a2(intinterval)a3(intinterval))body(tuple(a1(begin(1)end(5))a2(begin(3)end(9))a3(begin(1)end(7)))tuple(a1(begin(1)end(5))a2(begin(1)end(5))a3(begin(1)end(5)))tuple(a1(begin(1)end(5))a2(begin(1)end(5))a3(begin(3)end(7)))))
Reply   : RELATION(HEADING(A1(INTINTERVAL)A2(INTINTERVAL)A3(INTINTERVAL))BODY(TUPLE(A1(BEGIN(1)END(5))A2(BEGIN(1)END(9))A3(BEGIN(1)END(7)))))

Request : inquire relation(heading(a1(intinterval)a2(intinterval)a3(intinterval))body(tuple(a1(begin(1)end(5))a2(begin(1)end(5))a3(begin(1)end(5)))tuple(a1(begin(1)end(5))a2(begin(3)end(4))a3(begin(0)end(6)))))
Reply   : RELATION(HEADING(A3(INTINTERVAL)A1(INTINTERVAL)A2(INTINTERVAL))BODY(TUPLE(A3(BEGIN(0)END(1))A1(BEGIN(1)END(5))A2(BEGIN(3)END(4)))TUPLE(A3(BEGIN(1)END(5))A1(BEGIN(1)END(5))A2(BEGIN(1)END(5)))TUPLE(A3(BEGIN(5)END(6))A1(BEGIN(1)END(5))A2(BEGIN(3)END(4)))))

Request : inquire relation(heading(x(intinterval)y(intinterval))body(tuple(x(begin(10)end(25))y(begin(1)end(5)))tuple(x(begin(15)end(25))y(begin(5)end(14)))tuple(x(begin(1)end(15))y(begin(9)end(14)))tuple(x(begin(1)end(10))y(begin(1)end(9)))tuple(x(begin(10)end(15))y(begin(5)end(9)))))
Reply   : RELATION(HEADING(X(INTINTERVAL)Y(INTINTERVAL))BODY(TUPLE(X(BEGIN(10)END(15))Y(BEGIN(5)END(9)))TUPLE(X(BEGIN(10)END(25))Y(BEGIN(1)END(5)))TUPLE(X(BEGIN(1)END(15))Y(BEGIN(9)END(14)))TUPLE(X(BEGIN(15)END(25))Y(BEGIN(5)END(14)))TUPLE(X(BEGIN(1)END(10))Y(BEGIN(1)END(9)))))
END
