Tabla de contenidos
A continuación presentamos las funciones y operadores para tipos temporales. Estas funciones y operadores son polimórficos, es decir, sus argumentos pueden ser de varios tipos y el tipo del resultado puede depender del tipo de los argumentos. Para expresar esto, usamos la siguiente notación:
ttype
representa cualquier tipo temporal,
time
representa cualquier tipo de tiempo, es decir, timestamptz
, period
, timestampset
o periodset
,
tnumber
representa cualquier tipo de número temporal, es decir, tint
o tfloat
,
torder
representa cualquier tipo temporal cuyo tipo de base tiene definido un orden total, es decir, tint
, tfloat
o ttext
,
tpoint
representa un tipo de punto temporal, es decir, tgeompoint
o tgeogpoint
,
ttype_inst
representa cualquier tipo temporal con subtipo instante,
ttype_instset
representa cualquier tipo temporal con subtipo conjunto de instantes,
ttype_seq
representa cualquier tipo temporal con subtipo secuencia,
tdisc_seq
representa cualquier tipo temporal con subtipo secuencia y con tipo de base discreto,
tcont_seq
representa cualquier tipo temporal con subtipo secuencia y con tipo de base continuo,
ttype_seqset
representa cualquier tipo temporal con subtipo conjunto de secuencias
base
representa cualquier tipo de base de un tipo temporal, es decir, boolean
, integer
, float
, text
, geometry
o geography
,
number
representa cualquier tipo de base numérico, es decir, integer
o float
,
numrange
representa cualquier tipo de rango numérico, es decir, intrange
o floatrange
,
geo
representa los tipos geometry
o geography
,
point
representa los tipos geometry
o geography
restringidos a un punto.
type[]
representa una matriz de type
.
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 tint '[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/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 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))') ?= true; -- true -- ¿Se cruzan los operandos siempre? SELECT tintersects(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 razones de eficiencia, algunas operaciones comunes con la semántica alguna vez o siempre se proporcionan de forma nativa. Por ejemplo, la función intersects
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.
Un valor de instante es un par de la forma v@t
, donde v
es un valor del tipo de base y t
es un valor de timestamptz
. Un valor de secuencia es un conjunto de valores v1@t1,...,vn@tn
delimitado por límites superior e inferior, que pueden ser inclusivo (representados por ‘[
’ y ‘]
’) o exclusivos (representados por ‘(
’ y ‘)
’). Ejemplos de entrada de valores temporales unitarios son los siguientes:
SELECT tbool 'true@2001-01-01 08:00:00'; SELECT tint '1@2001-01-01 08:00:00'; SELECT tfloat '1.5@2001-01-01 08:00:00'; SELECT ttext 'AAA@2001-01-01 08:00:00'; SELECT tgeompoint 'Point(0 0)@2017-01-01 08:00:05'; SELECT tgeogpoint 'Point(0 0)@2017-01-01 08:00:05'; SELECT tbool '[true@2001-01-01 08:00:00, true@2001-01-03 08:00:00]'; SELECT tint '[1@2001-01-01 08:00:00, 1@2001-01-03 08:00:00]'; SELECT tfloat '[2.5@2001-01-01 08:00:00, 3@2001-01-03 08:00:00, 1@2001-01-04 08:00:00]'; SELECT tfloat '[1.5@2001-01-01 08:00:00]'; -- Instant sequence SELECT ttext '[BBB@2001-01-01 08:00:00, BBB@2001-01-03 08:00:00]'; SELECT tgeompoint '[Point(0 0)@2017-01-01 08:00:00, Point(0 0)@2017-01-01 08:05:00)'; SELECT tgeogpoint '[Point(0 0)@2017-01-01 08:00:00, Point(0 1)@2017-01-01 08:05:00, Point(0 0)@2017-01-01 08:10:00)';
La extensión temporal de un valor de instante es un sólo instante, mientras que la extensión temporal de un valor de secuencia es un período definido por el primer y último instantes, así como por los límites superior e inferior.
Un valor temporal de conjunto es un conjunto {v1,...,vn}
donce cada vi
es un valor unitario del tipo correspondiente. Ejemplos de entrada de valores temporales de conjunto son los siguientes:
SELECT tbool '{true@2001-01-01 08:00:00, false@2001-01-03 08:00:00}'; SELECT tint '{1@2001-01-01 08:00:00, 2@2001-01-03 08:00:00}'; SELECT tfloat '{1.0@2001-01-01 08:00:00, 2.0@2001-01-03 08:00:00}'; SELECT ttext '{AAA@2001-01-01 08:00:00, BBB@2001-01-03 08:00:00}'; SELECT tgeompoint '{Point(0 0)@2017-01-01 08:00:00, Point(0 1)@2017-01-02 08:05:00}'; SELECT tgeogpoint '{Point(0 0)@2017-01-01 08:00:00, Point(0 1)@2017-01-02 08:05:00}'; SELECT tbool '{[false@2001-01-01 08:00:00, false@2001-01-03 08:00:00), [true@2001-01-03 08:00:00], (false@2001-01-04 08:00:00, false@2001-01-06 08:00:00]}'; SELECT tint '{[1@2001-01-01 08:00:00, 1@2001-01-03 08:00:00), [2@2001-01-04 08:00:00, 3@2001-01-05 08:00:00, 3@2001-01-06 08:00:00]}'; SELECT tfloat '{[1@2001-01-01 08:00:00, 2@2001-01-03 08:00:00, 2@2001-01-04 08:00:00, 3@2001-01-06 08:00:00]}'; SELECT ttext '{[AAA@2001-01-01 08:00:00, BBB@2001-01-03 08:00:00, BBB@2001-01-04 08:00:00), [CCC@2001-01-05 08:00:00, CCC@2001-01-06 08:00:00]}'; SELECT tgeompoint '{[Point(0 0)@2017-01-01 08:00:00, Point(0 1)@2017-01-01 08:05:00), [Point(0 1)@2017-01-01 08:10:00, Point(1 1)@2017-01-01 08:15:00)}'; SELECT tgeogpoint '{[Point(0 0)@2017-01-01 08:00:00, Point(0 1)@2017-01-01 08:05:00), [Point(0 1)@2017-01-01 08:10:00, Point(1 1)@2017-01-01 08:15:00)}';
La extensión temporal de un valor de conjunto de instantes es un conjunto de marcas de tiempo, mientras que la extensión temporal de un valor de conjunto de secuencias es un conjunto de períodos.
Los valores de secuencia o conjunto de secuencias cuyo tipo de base es continuo pueden especificar que la interpolación es escalonada. Si no se especifica, se supone que la interpolación es lineal por defecto.
-- Interpolación lineal por defecto SELECT tfloat '[2.5@2001-01-01, 3@2001-01-03, 1@2001-01-04]'; SELECT tgeompoint '{[Point(2.5 2.5)@2001-01-01, Point(3 3)@2001-01-03], [Point(1 1)@2001-01-04, Point(1 1)@2001-01-04]}'; -- Interpolación escalonada SELECT tfloat 'Interp=Stepwise;[2.5@2001-01-01, 3@2001-01-03, 1@2001-01-04]'; SELECT tgeompoint 'Interp=Stepwise;{[Point(2.5 2.5)@2001-01-01, Point(3 3)@2001-01-03], [Point(1 1)@2001-01-04, Point(1 1)@2001-01-04]}';
Para los valores de subtipo conjunto de secuencias se supone que todas las secuencias componentes tienen la misma interpolación, ya sea por escalonada o lineal, como en los ejemplos anteriores.
Para los puntos temporales, es posible especificar el identificador de referencia espacial (SRID) utilizando la representación extendida de texto conocido (EWKT) de la siguiente manera:
SELECT tgeompoint 'SRID=5435;[Point(0 0)@2000-01-01,Point(0 1)@2000-01-02]'
Todas las geometrías componentes serán entonces del SRID dado. Además, cada geometría componente puede especificar su SRID con el formato EWKT como en el siguiente ejemplo
SELECT tgeompoint '[SRID=5435;Point(0 0)@2000-01-01,SRID=5435;Point(0 1)@2000-01-02]'
Se genera un error si las geometrías componentes no están todas en el mismo SRID o si el SRID de una geometría componente es diferente al del punto temporal.
SELECT tgeompoint '[SRID=5435;Point(0 0)@2000-01-01,SRID=4326;Point(0 1)@2000-01-02]'; -- ERROR: Geometry SRID (4326) does not match temporal type SRID (5435) SELECT tgeompoint 'SRID=5435;[SRID=4326;Point(0 0)@2000-01-01, SRID=4326;Point(0 1)@2000-01-02]' -- ERROR: Geometry SRID (4326) does not match temporal type SRID (5435)