Una forma común de generalizar las operaciones tradicionales a los tipos temporales es aplicar la operación en cada instante, lo que da un valor temporal como resultado. En ese caso, la operación sólo se define en la intersección de las extensiones temporales de los operandos; si las extensiones temporales son disjuntas, el resultado es nulo. Por ejemplo, los operadores de comparación temporal, como #<
, determinan si los valores tomados por sus operandos en cada instante satisfacen la condición y devuelven un booleano temporal. A continuación se dan ejemplos de las diversas generalizaciones de los operadores.
-- Comparación temporal SELECT tfloat '[2@2001-01-01, 2@2001-01-03)' #< tfloat '[1@2001-01-01, 3@2001-01-03)'; -- {[f@2001-01-01, f@2001-01-02], (t@2001-01-02, t@2001-01-03)} SELECT tfloat '[1@2001-01-01, 3@2001-01-03)' #< tfloat '[3@2001-01-03, 1@2001-01-05)'; -- NULL -- Adición temporal SELECT tint '[1@2001-01-01, 1@2001-01-03)' + tint '[2@2001-01-02, 2@2001-01-05)'; -- [3@2001-01-02, 3@2001-01-03) -- Intersección temporal SELECT tintersects(tgeompoint '[Point(0 1)@2001-01-01, Point(3 1)@2001-01-04)', geometry 'Polygon((1 0,1 2,2 2,2 0,1 0))'); -- {[f@2001-01-01, t@2001-01-02, t@2001-01-03], (f@2001-01-03, f@2001-01-04]} -- Distancia temporal SELECT tgeompoint '[Point(0 0)@2001-01-01 08:00:00, Point(0 1)@2001-01-03 08:10:00)' <-> tgeompoint '[Point(0 0)@2001-01-02 08:05:00, Point(1 1)@2001-01-05 08:15:00)'; -- [0.5@2001-01-02 08:05:00+00, 0.745184033794557@2001-01-03 08:10:00+00)
Otro requisito común es determinar si los operandos satisfacen alguna vez o siempre una condición con respecto a una operación. Estos se pueden obtener aplicando los operadores de comparación alguna vez o siempre. Estos operadores se indican anteponiendo los operadores de comparación tradicionales con, respectivamente, ?
(alguna vez) y %
(siempre). A continuación se dan ejemplos de operadores de comparación alguna vez y siempre.
-- ¿Se cruzan los operandos alguna vez? SELECT eIntersects(tgeompoint '[Point(0 1)@2001-01-01, Point(3 1)@2001-01-04)', geometry 'Polygon((1 0,1 2,2 2,2 0,1 0))') ?= true; -- true -- ¿Se cruzan los operandos siempre? SELECT aIntersects(tgeompoint '[Point(0 1)@2001-01-01, Point(3 1)@2001-01-04)', geometry 'Polygon((0 0,0 2,4 2,4 0,0 0))') %= true; -- true -- ¿Es el operando izquierdo alguna vez menor que el derecho? SELECT (tfloat '[1@2001-01-01, 3@2001-01-03)' ?< tfloat '[3@2001-01-01, 1@2001-01-03)') ?= true; -- true -- ¿Es el operando izquierdo siempre menor que el derecho? SELECT (tfloat '[1@2001-01-01, 3@2001-01-03)' %< tfloat '[2@2001-01-01, 4@2001-01-03)') %= true; -- true
Por ejemplo, la función eIntersects
determina si hay un instante en el que los dos argumentos se cruzan espacialmente.
A continuación describimos las funciones y operadores para tipos temporales. Para mayor concisión, en los ejemplos usamos principalmente secuencias compuestas por dos instantes.