Relaciones siempre y alguna vez
eContains(OPS) → boolean aContains(OPS) → boolean eCovers(OPS) → boolean aCovers(OPS) → boolean eDisjoint(OPS) → boolean aDisjoint(OPS) → boolean eDwithin(OPS,float) → boolean aDwithin(OPS,float) → boolean eIntersects(OPS) → boolean aIntersects(OPS) → boolean eTouches(OPS) → boolean aTouches(OPS) → boolean
Las relaciones alguna vez determinan si la relación se cumple en algún instante, y las relaciones siempre si se cumple en todos los instantes. Una geometría rígida temporal las responde sobre el cuerpo que su geometría de referencia sitúa en cada instante, de modo que la relación leída es la del cuerpo situado y no la de la geometría de referencia en el origen.
SELECT eIntersects(trgeometry 'Polygon((0 0,1 0,1 1,0 1,0 0)); [Pose(Point(0 0),0)@2001-01-01, Pose(Point(3 3),0)@2001-01-03]', geometry 'Polygon((0 0,0 2,2 2,2 0,0 0))'); -- true SELECT aIntersects(trgeometry 'Polygon((0 0,1 0,1 1,0 1,0 0)); [Pose(Point(0 0),0)@2001-01-01, Pose(Point(3 3),0)@2001-01-03]', geometry 'Polygon((0 0,0 2,2 2,2 0,0 0))'); -- false