secondo/Tests/Testspecs/rtreealgebra/rtreetestDB

(DATABASE RTREETESTDB 
    (TYPES) 
    (OBJECTS 
        (OBJECT fake 
            () 
            rect 
            (0.0 0.0 0.0 0.0)) 
        (OBJECT rec 
            () 
            rect 
            (0.0 10.0 0.0 10.0)) 
        (OBJECT recrel 
            () 
            (rel 
                (tuple 
                    (
                        (R rect)))) 
            (
                (
                    (0.0 10.0 0.0 10.0)) 
                (
                    (10.0 20.0 0.0 10.0)) 
                (
                    (0.0 10.0 10.0 20.0)) 
                (
                    (20.0 30.0 10.0 20.0)))) 
        (OBJECT recrel1 
            () 
            (rel 
                (tuple 
                    (
                        (R rect)))) 
            (
                (
                    (0.0 10.0 0.0 10.0)) 
                (
                    (10.0 20.0 0.0 10.0)) 
                (
                    (0.0 10.0 10.0 20.0)) 
                (
                    (20.0 30.0 10.0 20.0)) 
                (
                    (10.0 20.0 20.0 30.0)))) 
        (OBJECT recrel2 
            () 
            (rel 
                (tuple 
                    (
                        (R rect)))) 
            (
                (
                    (0.0 10.0 0.0 10.0)) 
                (
                    (10.0 20.0 0.0 10.0)) 
                (
                    (20.0 30.0 0.0 10.0)) 
                (
                    (0.0 10.0 10.0 20.0)) 
                (
                    (20.0 30.0 10.0 20.0)) 
                (
                    (10.0 20.0 20.0 30.0)))) 
        (OBJECT recrel3 
            () 
            (rel 
                (tuple 
                    (
                        (R rect)))) 
            (
                (
                    (0.0 10.0 0.0 10.0)) 
                (
                    (10.1 19.9 0.0 10.0)) 
                (
                    (20.0 30.0 0.0 10.0)) 
                (
                    (0.0 10.0 10.1 19.9)) 
                (
                    (20.0 30.0 10.1 19.9)) 
                (
                    (10.1 19.9 20.0 30.0)))) 
        (OBJECT rec3rel 
            () 
            (rel 
                (tuple 
                    (
                        (R rect3)))) 
            (
                (
                    (0.0 10.0 0.0 10.0 0.0 10.0)) 
                (
                    (10.0 20.0 0.0 10.0 0.0 10.0)) 
                (
                    (20.0 30.0 0.0 10.0 0.0 10.0)) 
                (
                    (0.0 10.0 10.0 20.0 0.0 10.0)) 
                (
                    (0.0 10.0 20.0 30.0 0.0 10.0)) 
                (
                    (0.0 10.0 0.0 10.0 10.0 20.0)) 
                (
                    (20.0 30.0 10.0 20.0 0.0 10.0)) 
                (
                    (20.0 30.0 0.0 10.0 10.0 20.0)))) 
        (OBJECT rec3rel1 
            () 
            (rel 
                (tuple 
                    (
                        (R rect3)))) 
            (
                (
                    (0.0 10.0 0.0 10.0 0.0 10.0)) 
                (
                    (10.0 20.0 0.0 10.0 0.0 10.0)) 
                (
                    (20.0 30.0 0.0 10.0 0.0 10.0)) 
                (
                    (0.0 10.0 0.0 10.0 10.0 20.0)) 
                (
                    (20.0 30.0 0.0 10.0 10.0 20.0)))) 
        (OBJECT rec3rel2 
            () 
            (rel 
                (tuple 
                    (
                        (R rect3)))) 
            (
                (
                    (0.0 10.0 0.0 10.0 0.0 10.0)) 
                (
                    (10.1 20.0 0.0 10.0 0.0 10.0)) 
                (
                    (20.1 30.0 0.0 10.0 0.0 10.0)) 
                (
                    (0.0 10.0 10.1 20.0 0.0 10.0)) 
                (
                    (0.0 10.0 20.1 30.0 0.0 10.0)) 
                (
                    (0.0 10.0 0.0 10.0 10.1 20.0)) 
                (
                    (20.1 30.0 10.1 20.0 0.0 10.0)) 
                (
                    (20.1 30.0 0.0 10.0 10.1 20.0)))) 
        (OBJECT rec3rel3 
            () 
            (rel 
                (tuple 
                    (
                        (R rect3)))) 
            (
                (
                    (0.0 10.0 0.0 10.0 0.0 10.0)) 
                (
                    (10.1 20.0 0.0 10.0 0.0 10.0)) 
                (
                    (20.1 30.0 0.0 10.0 0.0 10.0)) 
                (
                    (0.0 10.0 10.1 20.0 0.0 10.0)) 
                (
                    (0.0 10.0 20.1 30.0 0.0 10.0)) 
                (
                    (0.0 10.0 0.0 10.0 10.1 20.0)) 
                (
                    (20.1 30.0 10.1 20.0 0.0 10.0)) 
                (
                    (20.1 30.0 0.0 10.0 10.1 20.0)) 
                (
                    (-5.0 35.0 -5.0 35.0 -5.0 25.0))))
        (OBJECT rec4rel 
            () 
            (rel 
                (tuple 
                    (
                        (R rect4)))) 
            (
                (
                    (0.0 10.0 0.0 10.0 0.0 10.0 0.0 1.0)) 
                (
                    (10.0 20.0 0.0 10.0 0.0 10.0 0.0 1.0)) 
                (
                    (20.0 30.0 0.0 10.0 0.0 10.0 0.0 1.0)) 
                (
                    (0.0 10.0 10.0 20.0 0.0 10.0 0.0 1.0)) 
                (
                    (0.0 10.0 20.0 30.0 0.0 10.0 0.0 1.0)) 
                (
                    (0.0 10.0 0.0 10.0 10.0 20.0 0.0 1.0)) 
                (
                    (20.0 30.0 10.0 20.0 0.0 10.0 0.0 1.0)) 
                (
                    (20.0 30.0 0.0 10.0 10.0 20.0 0.0 1.0)))) 
        (OBJECT rec8rel 
            () 
            (rel 
                (tuple 
                    (
                        (R rect8)))) 
            (
                (
                    (0.0 10.0 0.0 10.0 0.0 10.0 0.0 1.0 0.0 1.0 0.0 1.0 0.0 1.0 0.0 1.0)) 
                (
                    (10.0 20.0 0.0 10.0 0.0 10.0 0.0 1.0 0.0 1.0 0.0 1.0 0.0 1.0 0.0 1.0)) 
                (
                    (20.0 30.0 0.0 10.0 0.0 10.0 0.0 1.0 0.0 1.0 0.0 1.0 0.0 1.0 0.0 1.0)) 
                (
                    (0.0 10.0 10.0 20.0 0.0 10.0 0.0 1.0 0.0 1.0 0.0 1.0 0.0 1.0 0.0 1.0)) 
                (
                    (0.0 10.0 20.0 30.0 0.0 10.0 0.0 1.0 0.0 1.0 0.0 1.0 0.0 1.0 0.0 1.0)) 
                (
                    (0.0 10.0 0.0 10.0 10.0 20.0 0.0 1.0 0.0 1.0 0.0 1.0 0.0 1.0 0.0 1.0)) 
                (
                    (20.0 30.0 10.0 20.0 0.0 10.0 0.0 1.0 0.0 1.0 0.0 1.0 0.0 1.0 0.0 1.0)) 
                (
                    (20.0 30.0 0.0 10.0 10.0 20.0 0.0 1.0 0.0 1.0 0.0 1.0 0.0 1.0 0.0 1.0)))) 
        (OBJECT SEC_DERIVED_OBJ 
            () 
            (rel 
                (tuple 
                    (
                        (Name string) 
                        (Value text) 
                        (UsedObjs text)))) 
            (
                ("recrel_R_rtree" 
                    <text>(creatertree recrel R)</text---> 
                    <text>( recrel )</text--->) 
                ("recrel1_R_rtree" 
                    <text>(creatertree recrel1 R)</text---> 
                    <text>( recrel1 )</text--->) 
                ("recrel2_R_rtree" 
                    <text>(creatertree recrel2 R)</text---> 
                    <text>( recrel2 )</text--->) 
                ("recrel3_R_rtree" 
                    <text>(creatertree recrel3 R)</text---> 
                    <text>( recrel3 )</text--->) 
                ("rec3rel_R_rtree" 
                    <text>(creatertree rec3rel R)</text---> 
                    <text>( rec3rel )</text--->) 
                ("rec3rel1_R_rtree" 
                    <text>(creatertree rec3rel1 R)</text---> 
                    <text>( rec3rel1 )</text--->) 
                ("rec3rel2_R_rtree" 
                    <text>(creatertree rec3rel2 R)</text---> 
                    <text>( rec3rel2 )</text--->) 
                ("rec3rel3_R_rtree" 
                    <text>(creatertree rec3rel3 R)</text---> 
                    <text>( rec3rel3 )</text--->) 
                ("rec4rel_R_rtree" 
                    <text>(creatertree rec4rel R)</text---> 
                    <text>( rec4rel )</text--->) 
                ("rec8rel_R_rtree" 
                    <text>(creatertree rec8rel R)</text---> 
                    <text>( rec8rel )</text--->) ))
))