Comment : Charset=windows-1252
Request : assert attribute,attribute(tuple(attributename(scalar2a)typename(long))tuple(attributename(scalar2b)typename(long))tuple(attributename(interval2a)typename(intinterval))tuple(attributename(interval2b)typename(intinterval)))
Reply   : 
Request : cmd(assert relvar,relvar(tuple(relvarname(k2scalar1)relvarpredicate(key scalar2a + interval2a -> scalar2b + interval2b.))tuple(relvarname(k2scalar2)relvarpredicate(key scalar2a + interval2a -> scalar2b.))tuple(relvarname(k2scalar3)relvarpredicate(key scalar2a + interval2a + interval2b -> scalar2b.))tuple(relvarname(k2interval1)relvarpredicate(key interval2a -> scalar2a.))tuple(relvarname(k2interval2)relvarpredicate(key interval2a + interval2b -> scalar2a.))))cmd(assert key,key(tuple(relvarname(k2scalar1)errorcode(1234561))tuple(relvarname(k2scalar2)errorcode(1234562))tuple(relvarname(k2scalar3)errorcode(1234563))tuple(relvarname(k2interval1)errorcode(1234564))tuple(relvarname(k2interval2)errorcode(1234565))))cmd(assert relvarattribute,relvarattribute(tuple(relvarname(k2scalar1)attributename(scalar2a))tuple(relvarname(k2scalar1)attributename(scalar2b))tuple(relvarname(k2scalar1)attributename(interval2a))tuple(relvarname(k2scalar1)attributename(interval2b))tuple(relvarname(k2scalar2)attributename(scalar2a))tuple(relvarname(k2scalar2)attributename(scalar2b))tuple(relvarname(k2scalar2)attributename(interval2a))tuple(relvarname(k2scalar3)attributename(scalar2a))tuple(relvarname(k2scalar3)attributename(scalar2b))tuple(relvarname(k2scalar3)attributename(interval2a))tuple(relvarname(k2scalar3)attributename(interval2b))tuple(relvarname(k2interval1)attributename(scalar2a))tuple(relvarname(k2interval1)attributename(interval2a))tuple(relvarname(k2interval2)attributename(scalar2a))tuple(relvarname(k2interval2)attributename(interval2a))tuple(relvarname(k2interval2)attributename(interval2b))))cmd(assert keyattribute,keyattribute(tuple(errorcode(1234561)attributename(scalar2a))tuple(errorcode(1234561)attributename(interval2a))tuple(errorcode(1234562)attributename(scalar2a))tuple(errorcode(1234562)attributename(interval2a))tuple(errorcode(1234563)attributename(scalar2a))tuple(errorcode(1234563)attributename(interval2a))tuple(errorcode(1234563)attributename(interval2b))tuple(errorcode(1234564)attributename(interval2a))tuple(errorcode(1234565)attributename(interval2a))tuple(errorcode(1234565)attributename(interval2b))))
Reply   : 
Request : cmd(assert dbmsfile,dbmsfile(tuple(filename(key2.spdb)pagesize(8192))))cmd(assert storagespace,storagespace(tuple(filename(key2.spdb)extentscount(2)pagecount(2)storagespaceid(1))tuple(filename(key2.spdb)extentscount(2)pagecount(2)storagespaceid(2))tuple(filename(key2.spdb)extentscount(2)pagecount(2)storagespaceid(3))tuple(filename(key2.spdb)extentscount(2)pagecount(2)storagespaceid(4))tuple(filename(key2.spdb)extentscount(2)pagecount(2)storagespaceid(5))tuple(filename(key2.spdb)extentscount(2)pagecount(2)storagespaceid(6))))cmd(assert dataspace,dataspace(tuple(filename(key2.spdb)storagespaceid(1)gapcompressionthreshold(5)maximumgaps(9))))cmd(assert hashingindexspace,hashingindexspace(tuple(filename(key2.spdb)storagespaceid(2))tuple(filename(key2.spdb)storagespaceid(3))tuple(filename(key2.spdb)storagespaceid(4))tuple(filename(key2.spdb)storagespaceid(5))tuple(filename(key2.spdb)storagespaceid(6))))
Reply   : 
Request : cmd(assert recordtype,recordtype(tuple(indexname(l_rec)filename(key2.spdb)storagespaceid(1)recordtypename(rec)relvarname(k2interval1))tuple(indexname(l_rec)filename(key2.spdb)storagespaceid(1)recordtypename(rec)relvarname(k2scalar3))tuple(indexname(l_rec)recordtypename(rec)relvarname(k2interval2)filename(key2.spdb)storagespaceid(1))tuple(indexname(l_rec)filename(key2.spdb)storagespaceid(1)recordtypename(rec)relvarname(k2scalar2))tuple(indexname(l_rec)recordtypename(rec)relvarname(k2scalar1)filename(key2.spdb)storagespaceid(1))))cmd(assert index,index(tuple(filename(key2.spdb)storagespaceid(2)recordtypename(rec)relvarname(k2scalar2)indexname(l_rec))tuple(filename(key2.spdb)storagespaceid(3)recordtypename(rec)relvarname(k2scalar1)indexname(l_rec))tuple(filename(key2.spdb)storagespaceid(4)recordtypename(rec)relvarname(k2scalar3)indexname(l_rec))tuple(filename(key2.spdb)storagespaceid(5)recordtypename(rec)relvarname(k2interval2)indexname(l_rec))tuple(filename(key2.spdb)storagespaceid(6)recordtypename(rec)relvarname(k2interval1)indexname(l_rec))))cmd(assert recordattribute,recordattribute(tuple(recordtypename(rec)relvarname(k2scalar2)attributename(scalar2a)ordinal(10))tuple(recordtypename(rec)relvarname(k2scalar1)attributename(scalar2a)ordinal(20))tuple(recordtypename(rec)relvarname(k2scalar1)attributename(scalar2b)ordinal(30))tuple(recordtypename(rec)relvarname(k2scalar1)attributename(interval2a)ordinal(40))tuple(recordtypename(rec)relvarname(k2scalar1)attributename(interval2b)ordinal(50))tuple(recordtypename(rec)relvarname(k2scalar2)attributename(scalar2b)ordinal(30))tuple(recordtypename(rec)relvarname(k2scalar2)attributename(interval2a)ordinal(40))tuple(recordtypename(rec)relvarname(k2scalar3)attributename(interval2a)ordinal(10))tuple(recordtypename(rec)relvarname(k2scalar3)attributename(scalar2a)ordinal(20))tuple(recordtypename(rec)relvarname(k2scalar3)attributename(scalar2b)ordinal(30))tuple(recordtypename(rec)relvarname(k2scalar3)attributename(interval2b)ordinal(50))tuple(recordtypename(rec)relvarname(k2interval1)attributename(scalar2a)ordinal(20))tuple(recordtypename(rec)relvarname(k2interval1)attributename(interval2a)ordinal(40))tuple(recordtypename(rec)relvarname(k2interval2)attributename(scalar2a)ordinal(20))tuple(recordtypename(rec)relvarname(k2interval2)attributename(interval2b)ordinal(40))tuple(recordtypename(rec)relvarname(k2interval2)attributename(interval2a)ordinal(10))))cmd(assert indexcomponent,indexcomponent(tuple(relvarname(k2scalar2)indexname(l_rec)ordinal(10)sp_expression(scalar2a))tuple(relvarname(k2scalar1)indexname(l_rec)ordinal(10)sp_expression(scalar2a))))
Reply   : 

Comment : tests with partial key consisting of both non-interval and interval, and determining both an interval and a non-interval
Comment : clear the relation
Request : unassert k2scalar2,k2scalar2
Reply   : 
Comment : avoid this clearance from being rolled back by any error
Request : commit
Reply   : 

Comment : assert tuple
Request : assert k2scalar2,k2scalar2(tuple(interval2a(begin(5)end(8))scalar2a(3)scalar2b(8)))
Reply   : 
Comment : should be k2scalar2(tuple(interval2a(begin(5)end(8)))))
Request : inquire k2scalar2
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG)SCALAR2B(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(5)END(8))SCALAR2A(3)SCALAR2B(8))))

Comment : assert overlapping tuple, should be ok, tuples should be merged
Request : assert k2scalar2,k2scalar2(tuple(interval2a(begin(7)end(9))scalar2a(3)scalar2b(8)))
Reply   : 
Comment : should be k2scalar2(tuple(interval2a(begin(5)end(9))scalar2a(3)scalar2b(8)))
Request : inquire k2scalar2
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG)SCALAR2B(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(5)END(9))SCALAR2A(3)SCALAR2B(8))))

Comment : assert meeting tuple, should be ok, tuples should be merged
Request : assert k2scalar2,k2scalar2(tuple(interval2a(begin(9)end(19))scalar2a(3)scalar2b(8)))
Reply   : 
Comment : should be k2scalar2(tuple(interval2a(begin(5)end(19))scalar2a(3)scalar2b(8)))
Request : inquire k2scalar2
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG)SCALAR2B(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(5)END(19))SCALAR2A(3)SCALAR2B(8))))

Comment : assert meeting tuple, should be ok, tuples should not be merged
Request : assert k2scalar2,k2scalar2(tuple(interval2a(begin(19)end(29))scalar2a(3)scalar2b(9)))
Reply   : 
Comment : should be k2scalar2(tuple(interval2a(begin(5)end(19))scalar2a(3)scalar2b(8))tuple(interval2a(begin(19)end(29))scalar2a(3)scalar2b(9)))
Request : inquire k2scalar2
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG)SCALAR2B(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(19)END(29))SCALAR2A(3)SCALAR2B(9))TUPLE(INTERVAL2A(BEGIN(5)END(19))SCALAR2A(3)SCALAR2B(8))))

Comment : avoid rollback in next command
Request : commit
Reply   : 

Comment : assert meeting tuple, should be ok, tuples should be merged and then give key violation
Request : assert k2scalar2,k2scalar2(tuple(interval2a(begin(9)end(29))scalar2a(3)scalar2b(9)))
Reply   : 201806116:1234562:Constraint 1234562 violated.  Violating tuple attribute values are : INTERVAL2A=BEGIN(9)END(19),SCALAR2B=9,__SCALAR2B=8,SCALAR2A=3.  Meaning : (key 3 + BEGIN(9)END(19) -> 9. AND key 3 + BEGIN(9)END(19) -> 8.) OR ((key 3 + BEGIN(9)END(19) -> 9. AND key 3 + BEGIN(9)END(19) -> 8.,and it is not the case that : key scalar2a + interval2a -> 8.) OR (key scalar2a + interval2a -> 8. AND key scalar2a + interval2a -> 9.,and it is not the case that : key scalar2a + interval2a -> 9.))and it holds that 'NOT(EQ(SCALAR2B,__SCALAR2B))'.
Comment : should be k2scalar2(tuple(interval2a(begin(5)end(19))scalar2a(3)scalar2b(8))tuple(interval2a(begin(19)end(29))scalar2a(3)scalar2b(9)))
Request : inquire k2scalar2
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG)SCALAR2B(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(19)END(29))SCALAR2A(3)SCALAR2B(9))TUPLE(INTERVAL2A(BEGIN(5)END(19))SCALAR2A(3)SCALAR2B(8))))

Comment : unassert nonexisting tuple, should be ok
Request : unassert k2scalar2,k2scalar2(tuple(interval2a(begin(9)end(19))scalar2a(3)scalar2b(9)))
Reply   : 
Comment : should still be k2scalar2(tuple(interval2a(begin(5)end(19))scalar2a(3)scalar2b(8))tuple(interval2a(begin(19)end(29))scalar2a(3)scalar2b(9)))
Request : inquire k2scalar2
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG)SCALAR2B(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(19)END(29))SCALAR2A(3)SCALAR2B(9))TUPLE(INTERVAL2A(BEGIN(5)END(19))SCALAR2A(3)SCALAR2B(8))))

Comment : unassert partially existing tuples, should be ok
Request : unassert k2scalar2,k2scalar2(tuple(interval2a(begin(16)end(26))scalar2a(3)scalar2b(8))tuple(interval2a(begin(16)end(26))scalar2a(3)scalar2b(9)))
Reply   : 
Comment : should be k2scalar2(tuple(interval2a(begin(5)end(16))scalar2a(3)scalar2b(8))tuple(interval2a(begin(26)end(29))scalar2a(3)scalar2b(9)))
Request : inquire k2scalar2
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG)SCALAR2B(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(26)END(29))SCALAR2A(3)SCALAR2B(9))TUPLE(INTERVAL2A(BEGIN(5)END(16))SCALAR2A(3)SCALAR2B(8))))

Comment : assert tuple with different key scalar, should be ok
Request : assert k2scalar2,k2scalar2(tuple(interval2a(begin(1))scalar2a(4)scalar2b(1)))
Reply   : 
Comment : should be k2scalar2(tuple(interval2a(begin(5)end(19))scalar2a(3)scalar2b(8))tuple(interval2a(begin(19)end(29))scalar2a(3)scalar2b(9))tuple(interval2a(begin(1))scalar2a(4)scalar2b(1)))
Request : inquire k2scalar2
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG)SCALAR2B(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(1))SCALAR2A(4)SCALAR2B(1))TUPLE(INTERVAL2A(BEGIN(26)END(29))SCALAR2A(3)SCALAR2B(9))TUPLE(INTERVAL2A(BEGIN(5)END(16))SCALAR2A(3)SCALAR2B(8))))

Comment : clear the relation
Request : unassert k2scalar2,k2scalar2
Reply   : 

Comment : tests with partial key consisting of both non-interval and interval, and determining both an interval and a non-interval
Comment : test cases are invalid, because the unpredictability of the autopack order makes certain updates indeterminate wrt their obeying the constraints
Comment : clear the relation
Comment : unassert k2scalar1,k2scalar1
Comment : avoid this clearance from being rolled back by any error
Comment : commit

Comment : assert tuple
Comment : assert k2scalar1,k2scalar1(tuple(interval2a(begin(5)end(8))scalar2a(3)scalar2b(8)interval2b(begin(35)end(38))))
Comment : should be k2scalar1(tuple(interval2a(begin(5)end(8))scalar2a(3)scalar2b(8)interval2b(begin(35)end(38))))
Comment : inquire k2scalar1

Comment : assert overlapping tuple, should be ok, tuples should be merged
Comment : assert k2scalar1,k2scalar1(tuple(interval2a(begin(7)end(9))scalar2a(3)scalar2b(8)interval2b(begin(35)end(38))))
Comment : should be k2scalar1(tuple(interval2a(begin(5)end(9))scalar2a(3)scalar2b(8)interval2b(begin(35)end(38))))
Comment : inquire k2scalar1

Comment : assert meeting tuple, should be ok, tuples should be merged
Comment : assert k2scalar1,k2scalar1(tuple(interval2a(begin(9)end(19))scalar2a(3)scalar2b(8)interval2b(begin(35)end(38))))
Comment : should be k2scalar1(tuple(interval2a(begin(5)end(19))scalar2a(3)scalar2b(8)interval2b(begin(35)end(38))))
Comment : inquire k2scalar1

Comment : assert meeting tuple, should be ok, tuples should not be merged due to 9
Comment : assert k2scalar1,k2scalar1(tuple(interval2a(begin(19)end(29))scalar2a(3)scalar2b(9)interval2b(begin(35)end(38))))
Comment : should be k2scalar1(tuple(interval2a(begin(5)end(19))scalar2a(3)scalar2b(8)interval2b(begin(35)end(38)))tuple(interval2a(begin(19)end(29))scalar2a(3)scalar2b(9)interval2b(begin(35)end(38))))
Comment : inquire k2scalar1

Comment : assert meeting tuple, should be ok, tuples should not be merged due to [45-48[
Comment : assert k2scalar1,k2scalar1(tuple(interval2a(begin(1)end(5))scalar2a(3)scalar2b(8)interval2b(begin(45)end(48))))
Comment : should be k2scalar1(tuple(interval2a(begin(5)end(19))scalar2a(3)scalar2b(8)interval2b(begin(35)end(38)))tuple(interval2a(begin(19)end(29))scalar2a(3)scalar2b(9)interval2b(begin(35)end(38)))tuple(interval2a(begin(1)end(5))scalar2a(3)scalar2b(8)interval2b(begin(45)end(48))))
Comment : inquire k2scalar1

Comment : avoid rollback
Comment : commit

Comment : assert multiply overlapping tuple, should trigger interval canonicalization, but then raise a key violation
Comment : assert k2scalar1,k2scalar1(tuple(interval2a(begin(4)end(6))scalar2a(3)scalar2b(8)interval2b(begin(34)end(47))))

Comment : unassert partial tuple, should cause giant tuple split and then cause key violation
Comment : unassert k2scalar1,k2scalar1(tuple(interval2a(begin(6)end(7))scalar2a(3)scalar2b(8)interval2b(begin(36)end(37))))

Comment : unassert partial tuple, should cause giant tuple split and be ok - but can also fail as long as the packing order is not being controlled !
Comment : unassert k2scalar1,k2scalar1(tuple(interval2a(begin(6)end(7))scalar2a(3)scalar2b(8)interval2b(begin(36)end(38))))
Comment : should contain 4 tuples for 3/8 : [1-5[ -> [45-48[  [5-6[ -> [35-38[  [6-7[ -> [35-36[  [7-19[ -> [35-38[
Comment : inquire k2scalar1

Comment : clear the relation
Comment : unassert k2scalar1,k2scalar1

Comment : tests with partial key consisting of both non-interval and interval, and determining a non-interval
Comment : clear the relation
Request : unassert k2scalar3,k2scalar3
Reply   : 
Comment : avoid this clearance from being rolled back by any error
Request : commit
Reply   : 

Comment : assert tuple
Request : assert k2scalar3,k2scalar3(tuple(interval2a(begin(5)end(8))scalar2a(3)scalar2b(8)interval2b(begin(35)end(38))))
Reply   : 
Comment : should be k2scalar3(tuple(interval2a(begin(5)end(8))scalar2a(3)scalar2b(8)interval2b(begin(35)end(38))))
Request : inquire k2scalar3
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG)INTERVAL2B(INTINTERVAL)SCALAR2B(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(5)END(8))SCALAR2A(3)INTERVAL2B(BEGIN(35)END(38))SCALAR2B(8))))

Comment : assert overlapping tuple, should be ok, tuples should be merged
Request : assert k2scalar3,k2scalar3(tuple(interval2a(begin(7)end(9))scalar2a(3)scalar2b(8)interval2b(begin(35)end(38))))
Reply   : 
Comment : should be k2scalar3(tuple(interval2a(begin(5)end(9))scalar2a(3)scalar2b(8)interval2b(begin(35)end(38))))
Request : inquire k2scalar3
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG)INTERVAL2B(INTINTERVAL)SCALAR2B(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(5)END(9))SCALAR2A(3)INTERVAL2B(BEGIN(35)END(38))SCALAR2B(8))))

Comment : assert meeting tuple, should be ok, tuples should be merged
Request : assert k2scalar3,k2scalar3(tuple(interval2a(begin(9)end(19))scalar2a(3)scalar2b(8)interval2b(begin(35)end(38))))
Reply   : 
Comment : should be k2scalar3(tuple(interval2a(begin(5)end(19))scalar2a(3)scalar2b(8)interval2b(begin(35)end(38))))
Request : inquire k2scalar3
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG)INTERVAL2B(INTINTERVAL)SCALAR2B(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(5)END(19))SCALAR2A(3)INTERVAL2B(BEGIN(35)END(38))SCALAR2B(8))))

Comment : assert meeting tuple, should be ok, tuples should not be merged due to 9
Request : assert k2scalar3,k2scalar3(tuple(interval2a(begin(19)end(29))scalar2a(3)scalar2b(9)interval2b(begin(35)end(38))))
Reply   : 
Comment : should be k2scalar3(tuple(interval2a(begin(5)end(19))scalar2a(3)scalar2b(8)interval2b(begin(35)end(38)))tuple(interval2a(begin(19)end(29))scalar2a(3)scalar2b(9)interval2b(begin(35)end(38))))
Request : inquire k2scalar3
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG)INTERVAL2B(INTINTERVAL)SCALAR2B(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(19)END(29))SCALAR2A(3)INTERVAL2B(BEGIN(35)END(38))SCALAR2B(9))TUPLE(INTERVAL2A(BEGIN(5)END(19))SCALAR2A(3)INTERVAL2B(BEGIN(35)END(38))SCALAR2B(8))))

Comment : assert meeting tuple, should be ok, tuples should not be merged due to [45-48[
Request : assert k2scalar3,k2scalar3(tuple(interval2a(begin(1)end(5))scalar2a(3)scalar2b(8)interval2b(begin(45)end(48))))
Reply   : 
Comment : should be k2scalar3(tuple(interval2a(begin(5)end(19))scalar2a(3)scalar2b(8)interval2b(begin(35)end(38)))tuple(interval2a(begin(19)end(29))scalar2a(3)scalar2b(9)interval2b(begin(35)end(38)))tuple(interval2a(begin(1)end(5))scalar2a(3)scalar2b(8)interval2b(begin(45)end(48))))
Request : inquire k2scalar3
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG)INTERVAL2B(INTINTERVAL)SCALAR2B(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(19)END(29))SCALAR2A(3)INTERVAL2B(BEGIN(35)END(38))SCALAR2B(9))TUPLE(INTERVAL2A(BEGIN(5)END(19))SCALAR2A(3)INTERVAL2B(BEGIN(35)END(38))SCALAR2B(8))TUPLE(INTERVAL2A(BEGIN(1)END(5))SCALAR2A(3)INTERVAL2B(BEGIN(45)END(48))SCALAR2B(8))))

Comment : avoid rollback
Request : commit
Reply   : 

Comment : assert multiply overlapping tuple, should trigger interval canonicalization
Request : assert k2scalar3,k2scalar3(tuple(interval2a(begin(4)end(6))scalar2a(3)scalar2b(8)interval2b(begin(34)end(47))))
Reply   : 
Comment : should contain 6-19/35-38 4-6/34-47 4-5/47-48 1-4/45/48
Request : inquire k2scalar3
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG)INTERVAL2B(INTINTERVAL)SCALAR2B(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(1)END(4))SCALAR2A(3)INTERVAL2B(BEGIN(45)END(48))SCALAR2B(8))TUPLE(INTERVAL2A(BEGIN(19)END(29))SCALAR2A(3)INTERVAL2B(BEGIN(35)END(38))SCALAR2B(9))TUPLE(INTERVAL2A(BEGIN(6)END(19))SCALAR2A(3)INTERVAL2B(BEGIN(35)END(38))SCALAR2B(8))TUPLE(INTERVAL2A(BEGIN(4)END(6))SCALAR2A(3)INTERVAL2B(BEGIN(34)END(47))SCALAR2B(8))TUPLE(INTERVAL2A(BEGIN(4)END(5))SCALAR2A(3)INTERVAL2B(BEGIN(47)END(48))SCALAR2B(8))))

Comment : unassert partial tuple, should cause giant tuple split
Request : unassert k2scalar3,k2scalar3(tuple(interval2a(begin(6)end(7))scalar2a(3)scalar2b(8)interval2b(begin(36)end(37))))
Reply   : 
Comment : should contain 7-19/35-38 6-7/35-36 6-7/37-38 4-6/34-47 4-5/47-48 1-4/45/48
Request : inquire k2scalar3
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG)INTERVAL2B(INTINTERVAL)SCALAR2B(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(1)END(4))SCALAR2A(3)INTERVAL2B(BEGIN(45)END(48))SCALAR2B(8))TUPLE(INTERVAL2A(BEGIN(19)END(29))SCALAR2A(3)INTERVAL2B(BEGIN(35)END(38))SCALAR2B(9))TUPLE(INTERVAL2A(BEGIN(7)END(19))SCALAR2A(3)INTERVAL2B(BEGIN(35)END(38))SCALAR2B(8))TUPLE(INTERVAL2A(BEGIN(6)END(7))SCALAR2A(3)INTERVAL2B(BEGIN(37)END(38))SCALAR2B(8))TUPLE(INTERVAL2A(BEGIN(6)END(7))SCALAR2A(3)INTERVAL2B(BEGIN(35)END(36))SCALAR2B(8))TUPLE(INTERVAL2A(BEGIN(4)END(6))SCALAR2A(3)INTERVAL2B(BEGIN(34)END(47))SCALAR2B(8))TUPLE(INTERVAL2A(BEGIN(4)END(5))SCALAR2A(3)INTERVAL2B(BEGIN(47)END(48))SCALAR2B(8))))

Comment : clear the relation
Request : unassert k2scalar3,k2scalar3
Reply   : 

Comment : tests with partial key consisting of solely interval, and determining only a non-interval
Comment : clear the relation
Request : unassert k2interval1,k2interval1
Reply   : 
Comment : avoid this clearance from being rolled back by any error
Request : commit
Reply   : 

Comment : assert tuple
Request : assert k2interval1,k2interval1(tuple(interval2a(begin(5)end(8))scalar2a(3)))
Reply   : 
Comment : should be k2interval1(tuple(interval2a(begin(5)end(8))scalar2a(3)))
Request : inquire k2interval1
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(5)END(8))SCALAR2A(3))))

Comment : assert nothing using empty interval, should be ok
Request : assert k2interval1,k2interval1(tuple(interval2a(begin(6)end(6))scalar2a(4)))
Reply   : 
Comment : should be k2interval1(tuple(interval2a(begin(5)end(8))scalar2a(3)))
Request : inquire k2interval1
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(5)END(8))SCALAR2A(3))))

Comment : assert overlapping tuple, should be ok, tuples should be merged
Request : assert k2interval1,k2interval1(tuple(interval2a(begin(7)end(9))scalar2a(3)))
Reply   : 
Comment : should be k2interval1(tuple(interval2a(begin(5)end(9))scalar2a(3)))
Request : inquire k2interval1
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(5)END(9))SCALAR2A(3))))

Comment : assert meeting tuple, should be ok, tuples should be merged
Request : assert k2interval1,k2interval1(tuple(interval2a(begin(9)end(19))scalar2a(3)))
Reply   : 
Comment : should be k2interval1(tuple(interval2a(begin(5)end(19))scalar2a(3)))
Request : inquire k2interval1
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(5)END(19))SCALAR2A(3))))

Comment : assert meeting tuple, should be ok, tuples should not be merged
Request : assert k2interval1,k2interval1(tuple(interval2a(begin(19)end(29))scalar2a(7)))
Reply   : 
Comment : should be k2interval1(tuple(interval2a(begin(5)end(19))scalar2a(3))tuple(interval2a(begin(19)end(29))scalar2a(7)))
Request : inquire k2interval1
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(5)END(19))SCALAR2A(3))TUPLE(INTERVAL2A(BEGIN(19)END(29))SCALAR2A(7))))

Comment : avoid rollback in next command
Request : commit
Reply   : 

Comment : assert meeting tuple, should be ok, tuples should be merged and then give key violation
Request : assert k2interval1,k2interval1(tuple(interval2a(begin(9)end(11))scalar2a(5)))
Reply   : 201806116:1234564:Constraint 1234564 violated.  Violating tuple attribute values are : SCALAR2A=3,__SCALAR2A=5,INTERVAL2A=BEGIN(9)END(11)
Comment : should be k2interval1(tuple(interval2a(begin(5)end(19))scalar2a(3))tuple(interval2a(begin(19)end(29))scalar2a(7)))
Request : inquire k2interval1
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(5)END(19))SCALAR2A(3))TUPLE(INTERVAL2A(BEGIN(19)END(29))SCALAR2A(7))))

Comment : assert tuple, should give key violation
Request : assert k2interval1,k2interval1(tuple(interval2a(begin(4)end(6))scalar2a(7)))
Reply   : 201806116:1234564:Constraint 1234564 violated.  Violating tuple attribute values are : SCALAR2A=3,__SCALAR2A=7,INTERVAL2A=BEGIN(5)END(6)
Comment : should be k2interval1(tuple(interval2a(begin(5)end(19))scalar2a(3))tuple(interval2a(begin(19)end(29))scalar2a(7)))
Request : inquire k2interval1
Reply   : RELATION(HEADING(INTERVAL2A(INTINTERVAL)SCALAR2A(LONG))BODY(TUPLE(INTERVAL2A(BEGIN(5)END(19))SCALAR2A(3))TUPLE(INTERVAL2A(BEGIN(19)END(29))SCALAR2A(7))))

Comment : clear the relation
Request : unassert k2interval1,k2interval1
Reply   : 

Comment : commit
Request : commit
Reply   : 

Request : cmd(unassert recordtype,recordtype(tuple(indexname(l_rec)filename(key2.spdb)storagespaceid(1)recordtypename(rec)relvarname(k2interval1))tuple(indexname(l_rec)filename(key2.spdb)storagespaceid(1)recordtypename(rec)relvarname(k2scalar3))tuple(indexname(l_rec)recordtypename(rec)relvarname(k2interval2)filename(key2.spdb)storagespaceid(1))tuple(indexname(l_rec)filename(key2.spdb)storagespaceid(1)recordtypename(rec)relvarname(k2scalar2))tuple(indexname(l_rec)recordtypename(rec)relvarname(k2scalar1)filename(key2.spdb)storagespaceid(1))))cmd(unassert index,index(tuple(filename(key2.spdb)storagespaceid(2)recordtypename(rec)relvarname(k2scalar2)indexname(l_rec))tuple(filename(key2.spdb)storagespaceid(3)recordtypename(rec)relvarname(k2scalar1)indexname(l_rec))tuple(filename(key2.spdb)storagespaceid(4)recordtypename(rec)relvarname(k2scalar3)indexname(l_rec))tuple(filename(key2.spdb)storagespaceid(5)recordtypename(rec)relvarname(k2interval2)indexname(l_rec))tuple(filename(key2.spdb)storagespaceid(6)recordtypename(rec)relvarname(k2interval1)indexname(l_rec))))cmd(unassert recordattribute,recordattribute(tuple(recordtypename(rec)relvarname(k2scalar2)attributename(scalar2a)ordinal(10))tuple(recordtypename(rec)relvarname(k2scalar1)attributename(scalar2a)ordinal(20))tuple(recordtypename(rec)relvarname(k2scalar1)attributename(scalar2b)ordinal(30))tuple(recordtypename(rec)relvarname(k2scalar1)attributename(interval2a)ordinal(40))tuple(recordtypename(rec)relvarname(k2scalar1)attributename(interval2b)ordinal(50))tuple(recordtypename(rec)relvarname(k2scalar2)attributename(scalar2b)ordinal(30))tuple(recordtypename(rec)relvarname(k2scalar2)attributename(interval2a)ordinal(40))tuple(recordtypename(rec)relvarname(k2scalar3)attributename(interval2a)ordinal(10))tuple(recordtypename(rec)relvarname(k2scalar3)attributename(scalar2a)ordinal(20))tuple(recordtypename(rec)relvarname(k2scalar3)attributename(scalar2b)ordinal(30))tuple(recordtypename(rec)relvarname(k2scalar3)attributename(interval2b)ordinal(50))tuple(recordtypename(rec)relvarname(k2interval1)attributename(scalar2a)ordinal(20))tuple(recordtypename(rec)relvarname(k2interval1)attributename(interval2a)ordinal(40))tuple(recordtypename(rec)relvarname(k2interval2)attributename(scalar2a)ordinal(20))tuple(recordtypename(rec)relvarname(k2interval2)attributename(interval2b)ordinal(40))tuple(recordtypename(rec)relvarname(k2interval2)attributename(interval2a)ordinal(10))))cmd(unassert indexcomponent,indexcomponent(tuple(relvarname(k2scalar2)indexname(l_rec)ordinal(10)sp_expression(scalar2a))tuple(relvarname(k2scalar1)indexname(l_rec)ordinal(10)sp_expression(scalar2a))))
Reply   : 

Request : cmd(unassert dbmsfile,dbmsfile(tuple(filename(key2.spdb)pagesize(8192)))))cmd(unassert storagespace,storagespace(tuple(filename(key2.spdb)extentscount(2)pagecount(2)storagespaceid(1))tuple(filename(key2.spdb)extentscount(2)pagecount(2)storagespaceid(2))tuple(filename(key2.spdb)extentscount(2)pagecount(2)storagespaceid(3))tuple(filename(key2.spdb)extentscount(2)pagecount(2)storagespaceid(4))tuple(filename(key2.spdb)extentscount(2)pagecount(2)storagespaceid(5))tuple(filename(key2.spdb)extentscount(2)pagecount(2)storagespaceid(6))))cmd(unassert dataspace,dataspace(tuple(filename(key2.spdb)storagespaceid(1)gapcompressionthreshold(5)maximumgaps(9))))cmd(unassert hashingindexspace,hashingindexspace(tuple(filename(key2.spdb)storagespaceid(2))tuple(filename(key2.spdb)storagespaceid(3))tuple(filename(key2.spdb)storagespaceid(4))tuple(filename(key2.spdb)storagespaceid(5))tuple(filename(key2.spdb)storagespaceid(6))))
Reply   : 

Request : cmd(unassert relvar,relvar(tuple(relvarname(k2scalar1)relvarpredicate(key scalar2a + interval2a -> scalar2b + interval2b.))tuple(relvarname(k2scalar2)relvarpredicate(key scalar2a + interval2a -> scalar2b.))tuple(relvarname(k2scalar3)relvarpredicate(key scalar2a + interval2a + interval2b -> scalar2b.))tuple(relvarname(k2interval1)relvarpredicate(key interval2a -> scalar2a.))tuple(relvarname(k2interval2)relvarpredicate(key interval2a + interval2b -> scalar2a.))))cmd(unassert key,key(tuple(relvarname(k2scalar1)errorcode(1234561))tuple(relvarname(k2scalar2)errorcode(1234562))tuple(relvarname(k2scalar3)errorcode(1234563))tuple(relvarname(k2interval1)errorcode(1234564))tuple(relvarname(k2interval2)errorcode(1234565))))cmd(unassert relvarattribute,relvarattribute(tuple(relvarname(k2scalar1)attributename(scalar2a))tuple(relvarname(k2scalar1)attributename(scalar2b))tuple(relvarname(k2scalar1)attributename(interval2a))tuple(relvarname(k2scalar1)attributename(interval2b))tuple(relvarname(k2scalar2)attributename(scalar2a))tuple(relvarname(k2scalar2)attributename(scalar2b))tuple(relvarname(k2scalar2)attributename(interval2a))tuple(relvarname(k2scalar3)attributename(scalar2a))tuple(relvarname(k2scalar3)attributename(scalar2b))tuple(relvarname(k2scalar3)attributename(interval2a))tuple(relvarname(k2scalar3)attributename(interval2b))tuple(relvarname(k2interval1)attributename(scalar2a))tuple(relvarname(k2interval1)attributename(interval2a))tuple(relvarname(k2interval2)attributename(scalar2a))tuple(relvarname(k2interval2)attributename(interval2a))tuple(relvarname(k2interval2)attributename(interval2b))))cmd(unassert keyattribute,keyattribute(tuple(errorcode(1234561)attributename(scalar2a))tuple(errorcode(1234561)attributename(interval2a))tuple(errorcode(1234562)attributename(scalar2a))tuple(errorcode(1234562)attributename(interval2a))tuple(errorcode(1234563)attributename(scalar2a))tuple(errorcode(1234563)attributename(interval2a))tuple(errorcode(1234563)attributename(interval2b))tuple(errorcode(1234564)attributename(interval2a))tuple(errorcode(1234565)attributename(interval2a))tuple(errorcode(1234565)attributename(interval2b))))
Reply   : 

Request : unassert attribute,semiminus(attribute(tuple(attributename(scalar2a)typename(LONG))tuple(attributename(interval2a)typename(INTINTERVAL))tuple(attributename(interval2b)typename(INTINTERVAL))tuple(attributename(scalar2b)typename(LONG))),relvarattribute)
Reply   : 

END
