Los mosaicos multidimensionales son un mecanismo que se utiliza para dividir el dominio de valores temporales en intervalos o mosaicos de un número variable de dimensiones. En el caso de una sola dimensión, el dominio se puede dividir por valor o por tiempo utilizando intervalos del mismo ancho o la misma duración, respectivamente. Para los números temporales, el dominio se puede dividir en mosaicos bidimensionales del mismo ancho para la dimensión de valor y la misma duración para la dimensión de tiempo. Para los puntos temporales, el dominio se puede dividir en el espacio en mosaicos bidimensionales o tridimensionales, dependiendo del número de dimensiones de las coordenadas espaciales. Finalmente, para los puntos temporales, el dominio se puede dividir por espacio y por tiempo usando mosaicos tridimensionales o tetradimensionales. Además, los valores temporales también se pueden fragmentar de acuerdo con una malla multidimensional definida sobre el dominio subyacente.
Los mosaicos multidimensionales se pueden utilizar para diversos fines. Se pueden utilizar para calcular histogramas multidimensionales, donde los valores temporales se agregan de acuerdo con la partición subyacente del dominio. Por otro lado, los mosaicos multidimensionales también se pueden utilizar para fines de indexación, donde el cuadro delimitador de un valor temporal se puede fragmentar en múltiples cuadros para mejorar la eficiencia del índice. Finalmente, los mosaicos multidimensionales se pueden utilizar para fragmentar valores temporales de acuerdo con una malla multidimensional definida sobre el dominio subyacente. Esto permite la distribución de un conjunto de datos en un clúster de servidores, donde cada servidor contiene una partición del conjunto de datos. La ventaja de este mecanismo de partición es que preserva la proximidad en valor/espacio y tiempo, a diferencia de los mecanismos de partición tradicionales basados en hash.
La Figura 9.4, “Mosaicos multidimensionales para números flotantes temporales.” ilustra un mosaico multidimensional para números flotantes temporales. El dominio bidimensional se divide en mosaicos que tienen el mismo tamaño para la dimensión de valor y la misma duración para la dimensión de tiempo. Suponga que este esquema de mosaicos se usa para distribuir un conjunto de datos en un clúster de seis servidores, como sugiere el patrón gris en la figura. En este caso, los valores se fragmentan para que cada servidor reciba los datos de mosaicos contiguos. Esto implica en particular que cuatro nodos recibirán un fragmento del número flotante temporal que se muestra en la figura. Una ventaja de esta distribución de datos basada en mosaicos multidimensionales es que reduce los datos que deben intercambiarse entre nodos cuando se procesan consultas, un proceso que generalmente se denomina reshuffling.
Muchas de las funciones de esta sección son funciones de retorno de conjuntos (también conocidas como funciones de tabla) ya que normalmente devuelven más de un valor. En este caso, las funciones están marcadas con el símbolo 
.
Cada intervalo, mosaico y caja contiene su límite inferior y excluye el superior, de modo que una posición en el borde entre dos de ellos pertenece al que comienza allí. La extensión de un valor o de una caja contiene su límite superior, de modo que cuando ese límite cae en un borde de la malla, el intervalo o mosaico que comienza allí no contiene de la extensión más que su borde superior. El argumento opcional borderInc, verdadero por defecto, indica si ese intervalo o mosaico forma parte de la malla. Cuando es verdadero, el borde tiene su propio intervalo, mosaico, caja o fragmento, de modo que los fragmentos de una división cubren todo el valor; cuando es falso, el borde se omite, como para una extensión leída sin su límite superior. Un valor cuya extensión excluye su límite superior no tiene borde que omitir y responde igual. Las mallas de celdas H3 y S2, que no tienen un eje alineado con la extensión, asignan una posición en el borde de una celda a una de las celdas que se encuentran allí, y la celda en la que una trayectoria entra en su último instante es la única celda que contiene solo el borde superior de su extensión: borderInc indica si esa celda forma parte del resultado.
Devuelve una matriz de intervalos que cubre el rango de valores o de tiempo con intervalos de la misma amplitud o duración
bins(numspans,vsize number,vorigin number=0,borderInc boolean=true) → span[] bins(datespans,duration interval,torigin date='2000-01-01', borderInc boolean=true) → span[] bins(tstzspans,duration interval,torigin timestamptz='2000-01-03', borderInc boolean=true) → span[]
Si el origen no se especifica, su valor se establece por defecto en 0 para rangos de valores, en sábado 1 de enero de 2000 para rangos de fechas y en lunes 3 de enero de 2000 para rangos de marcas de tiempo. El argumento opcional
borderIncindica si se incluye el borde superior del rango y, por lo tanto, se genera el intervalo que comienza en ese borde y solo lo contiene.SELECT bins(floatspan '[-10, -1]', 2.5, -7); -- {"[-12, -9.5)","[-9.5, -7)","[-7, -4.5)","[-4.5, -2)","[-2, 0.5)"} SELECT bins(intspan '[15, 25]', 2); -- {"[14, 16)","[16, 18)","[18, 20)","[20, 22)","[22, 24)","[24, 26)"} SELECT index, span FROM unnest(bins(datespan '[2001-01-15, 2001-01-25]', '2 days')) WITH ORDINALITY t(span, index); -- 1 | [2001-01-15, 2001-01-17) -- 2 | [2001-01-17, 2001-01-19) -- 3 | [2001-01-19, 2001-01-21) -- ... SELECT index, span FROM unnest(bins(tstzspanset '{[2001-01-15, 2001-01-17],[2001-01-22, 2001-01-25]}', '2 days', '2001-01-02')) WITH ORDINALITY t(span, index); -- 1 | [2001-01-15, 2001-01-16) -- 2 | [2001-01-16, 2001-01-17] -- 3 | [2001-01-22, 2001-01-24) -- 4 | [2001-01-24, 2001-01-25]Devuelve el rango que contiene un número o una marca de tiempo
getBin(number,vsize number,vorigin number=0) → span getBin(date,duration interval,torigin date='2000-01-03') → datespan getBin(timestamptz,duration interval,torigin timestamptz='2000-01-03') → tstzspan
Si el origen no se especifica, su valor se establece por defecto en 0 para rangos de valores y en lunes 3 de enero de 2000 para rangos de tiempo.
SELECT getBin(2, 2); -- [2, 4) SELECT getBin(2, 2.5, 1.5); -- [1.5, 4) SELECT getBin('2001-01-04', interval '1 week'); -- [2001-01-01 08:00:00, 2001-01-08 08:00:00) SELECT getBin('2001-01-04', interval '1 week', '2001-01-07'); -- [2000-12-31, 2001-01-07)
Devuelve el conjunto de mosaicos que cubre un cuadro delimitador temporal con mosaicos del mismo tamaño y/o duración
valueTiles(tbox,vsize number,vorigin number=0,borderInc boolean=true) → {(index,tile)} timeTiles(tbox,duration interval,torigin timestamptz='2000-01-03', borderInc boolean=true) → {(index,tile)} valueTimeTiles(tbox,vsize number,duration interval,vorigin number=0, torigin timestamptz='2000-01-03',borderInc boolean=true) → {(index,tile)}El resultado es un conjunto de pares
(index,tile). Si el origen de la dimensión de valores y/o de tiempo no se especifica, su valor se establece por defecto en 0 y en el lunes 3 de enero de 2000, respectivamente. El tamaño y el origen de los valores tienen el tipo base de los valores de la caja, y una caja de flotantes también acepta valores enteros. El argumento opcionalborderIncindica si se incluye el borde superior de la caja y, por lo tanto, se generan mosaicos adicionales que contienen el borde.SELECT (gr).index, (gr).tile FROM (SELECT valueTiles(tfloat '[15@2001-01-15, 25@2001-01-25]'::tbox, 2.0) AS gr) t; -- 1 | TBOXFLOAT X([14, 16)) -- 2 | TBOXFLOAT X([16, 18)) -- 3 | TBOXFLOAT X([18, 20)) -- ... SELECT (gr).index, (gr).tile FROM (SELECT timeTiles(tfloat '[15@2001-01-15, 25@2001-01-25]'::tbox, '2 days') AS gr) t; -- 1 | TBOX T([2001-01-15, 2001-01-17)) -- 2 | TBOX T([2001-01-17, 2001-01-19)) -- 3 | TBOX T([2001-01-19, 2001-01-21)) -- ... SELECT (gr).index, (gr).tile FROM (SELECT valueTimeTiles(tfloat '[15@2001-01-15, 25@2001-01-25]'::tbox, 2.0, '2 days') AS gr) t; -- 1 | TBOX XT([14,16),[2001-01-15,2001-01-17)) -- 2 | TBOX XT([16,18),[2001-01-15,2001-01-17)) -- 3 | TBOX XT([18,20),[2001-01-15,2001-01-17)) -- ... SELECT valueTiles(tbox 'TBOXINT XT([15, 25],[2001-01-15, 2001-01-25])', 2, 15); -- (1,"TBOXINT X([15, 17))") -- (2,"TBOXINT X([17, 19))") -- (3,"TBOXINT X([19, 21))") -- ... SELECT valueTimeTiles(tfloat '[15@2001-01-15,25@2001-01-25]'::tbox, 2.0, '2 days', 11.5); -- (1,"TBOX XT([13.5,15.5),[2001-01-15,2001-01-17))") -- (2,"TBOX XT([15.5,17.5),[2001-01-15,2001-01-17))") -- (3,"TBOX XT([17.5,19.5),[2001-01-15,2001-01-17))") -- ...
Devuelve el conjunto de mosaicos que cubre un cuadro delimitador espaciotemporal con mosaicos del mismo tamaño y/o duración
spaceTiles({stbox,tgeompoint},xsize float,[ysize float,zsize float,] sorigin geompoint='Point(0 0 0)',borderInc boolean=true) → {(index,tile)} timeTiles({stbox,tgeompoint},duration interval,torigin timestamptz='2000-01-03', borderInc boolean=true) → {(index,tile)} spaceTimeTiles({stbox,tgeompoint},xsize float,[ysize float,zsize float,]duration interval, sorigin geompoint='Point(0 0 0)',torigin timestamptz='2000-01-03', borderInc boolean=true) → {(index,tile)}Si el origen de las dimensiones espacial y/o de tiempo no se especifican, su valor se establece por defecto en
'Point (0 0 0)'y en el lunes 3 de enero de 2000, respectivamente. El argumento opcionalborderIncindica si se incluye el borde superior de la extensión y, por lo tanto, se generan mosaicos adicionales que contienen el borde. En el caso de una malla espacio-temporal,ysizeyzsizeson opcionales. Un tamaño omitido, o dado como 0, toma el valor dexsize, yzsizesolo se lee para un valor con dimensión Z. Todo tamaño es un número finito que no es negativo; de lo contrario se produce un error. El SRID de las coordenadas de los mosaicos está determinado por el del cuadro de entrada y el tamaño se da en las unidades del SRID. Si se especifica el origen de las coordenadas espaciales, que debe ser un punto, su dimensionalidad y SRID deben ser iguales al del cuadro delimitador, de lo contrario se genera un error.SELECT spaceTiles(tgeompoint '[Point(3 3)@2001-01-15, Point(15 15)@2001-01-25]', 2.0); -- (1,"STBOX X((2,2),(4,4))") -- (2,"STBOX X((4,2),(6,4))") -- (3,"STBOX X((6,2),(8,4))") -- ... SELECT timeTiles(tgeompoint '[Point(3 3)@2001-01-15, Point(15 15)@2001-01-25]', '2 days'); -- (1,"STBOX T([2001-01-15, 2001-01-17))") -- (2,"STBOX T([2001-01-17, 2001-01-19))") -- (3,"STBOX T([2001-01-19, 2001-01-21))") -- ... SELECT spaceTiles(tgeompoint 'SRID=3812; [Point(3 3)@2001-01-15, Point(15 15)@2001-01-25]'::stbox, 2.0, geometry 'Point(3 3)'); -- (1,"SRID=3812;STBOX X((3,3),(5,5))") -- (2,"SRID=3812;STBOX X((5,3),(7,5))") -- (3,"SRID=3812;STBOX X((7,3),(9,5))") -- ... SELECT spaceTiles(tgeompoint '[Point(3 3 3)@2001-01-15, Point(15 15 15)@2001-01-25]'::stbox, 2.0, geometry 'Point(3 3 3)'); -- (1,"STBOX Z((3,3,3),(5,5,5))") -- (2,"STBOX Z((5,3,3),(7,5,5))") -- (3,"STBOX Z((7,3,3),(9,5,5))") -- ... SELECT spaceTimeTiles(tgeompoint '[Point(3 3)@2001-01-15, Point(15 15)@2001-01-25]', 2.0, interval '2 days'); -- (1,"STBOX XT(((2,2),(4,4)),[2001-01-15,2001-01-17))") -- (2,"STBOX XT(((4,2),(6,4)),[2001-01-15,2001-01-17))") -- (3,"STBOX XT(((6,2),(8,4)),[2001-01-15,2001-01-17))") -- ... SELECT spaceTimeTiles(tgeompoint '[Point(3 3 3)@2001-01-15, Point(15 15 15)@2001-01-25]'::stbox, 2.0, interval '2 days', 'Point(3 3 3)', '2001-01-15'); -- (1,"STBOX ZT(((3,3,3),(5,5,5)),[2001-01-15,2001-01-17))") -- (2,"STBOX ZT(((5,3,3),(7,5,5))),[2001-01-15,2001-01-17)") -- (3,"STBOX ZT(((7,3,3),(9,5,5))),[2001-01-15,2001-01-17)") -- ...
Devuelve el mosaico temporal que cubre un valor y/o una marca de tiempo
getValueTile(v float,vsize float,vorigin float=0.0) → tbox getTboxTimeTile(time timestamptz,duration interval, torigin timestamptz='2000-01-03') → tbox getValueTimeTile(v float,t timestamptz,vsize float,duration interval, vorigin float=0.0,torigin timestamptz='2000-01-03') → tbox
Si el origen de las dimensiones de valores y/o de tiempo no se especifica, su valor se establece por defecto en 0 y en el lunes 3 de enero de 2000, respectivamente.
SELECT getValueTile(15, 2); -- TBOXFLOAT X([14, 16)) SELECT getTboxTimeTile('2001-01-15', interval '2 days'); -- TBOX T([2001-01-13 08:00:00, 2001-01-15 08:00:00)) SELECT getValueTimeTile(15, '2001-01-15', 2, interval '2 days'); -- TBOXFLOAT XT([14, 16),[2001-01-13 08:00:00, 2001-01-15 08:00:00)) SELECT getValueTimeTile(15, '2001-01-15', 2, interval '2 days', 1, '2001-01-02'); -- TBOXFLOAT XT([15, 17),[2001-01-14, 2001-01-16))Devuelve el mosaico espaciotemporal que cubre un punto y/o una marca de tiempo
getSpaceTile(point geometry,xsize float,[ysize float,zsize float], sorigin geompoint='Point(0 0 0)') → stbox getStboxTimeTile(time timestamptz,duration interval, torigin timestamptz='2000-01-03') → stbox getSpaceTimeTile(point geometry,time timestamptz,xsize float, [ysize float,zsize float,]duration interval,sorigin geompoint='Point(0 0 0)', torigin timestamptz='2000-01-03') → stbox
Si el origen de la dimensión espacial y/o de tiempo no se especifica, su valor se establece por defecto en
'Point(0 0 0)'y en el lunes 3 de enero de 2000, respectivamente. En el caso de una malla espacio-temporal,ysizeyzsizeson opcionales. Un tamaño omitido, o dado como 0, toma el valor dexsize, yzsizesolo se lee para un valor con dimensión Z. Todo tamaño es un número finito que no es negativo; de lo contrario se produce un error. El SRID de las coordenadas de los mosaicos está determinado por el del cuadro de entrada y el tamaño se da en las unidades del SRID. Si se especifica el origen de las coordenadas espaciales, que debe ser un punto, su dimensionalidad y SRID deben ser iguales al del cuadro delimitador, de lo contrario se genera un error.SELECT getSpaceTile(geometry 'Point(1 1 1)', 2.0); -- STBOX Z((0,0,0),(2,2,2)) SELECT getStboxTimeTile(timestamptz '2001-01-01', interval '2 days'); -- STBOX T([2000-12-30 08:00:00, 2001-01-01 08:00:00)) SELECT getSpaceTimeTile(geometry 'Point(1 1)', '2001-01-01', 2.0, interval '2 days'); -- STBOX XT(((0,0),(2,2)),[2000-12-30 08:00:00, 2001-01-01 08:00:00)) SELECT getSpaceTimeTile(geometry 'Point(1 1)', '2001-01-01', 2.0, interval '2 days', 'Point(1 1)', '2001-01-02'); -- STBOX XT(((1,1),(3,3)),[2000-12-31, 2001-01-02))
Estas operaciones fragmentan el cuadro delimitador de un valor temporal con respecto a un mosaico multidimensional. Ofrecen una alternativa a las operaciones de la “Operaciones de división” para dividir los cuadros delimitadores especificando el tamaño máximo de los cuadros en las distintas dimensiones.
Devuelve una matriz de rangos de valores o de tiempo obtenidos a partir de los instantes o segmentos de un número temporal con respecto a un mosaico de valores o de tiempo
valueBins(tnumber,vsize number,vorigin number=0,borderInc boolean=true) → numspan[] timeBins(ttype,duration interval,torigin timestamptz='2000-01-03', borderInc boolean=true) → tstzspan[]
La elección entre instantes o segmentos depende de si la interpolación es discreta o continua. Si no se especifica el origen de los valores, se establece por defecto en 0 para los rangos de valores y en el lunes 3 de enero de 2000 para los rangos de tiempo. El argumento opcional
borderIncindica si se incluye el borde superior de la extensión y, por lo tanto, se genera el rango que comienza en ese borde y solo lo contiene.SELECT valueBins(tint '{1@2001-01-01, 2@2001-01-02, 1@2001-01-03, 4@2001-01-04, 1@2001-01-05}', 3); -- {"[0, 3)","[3, 6)"} SELECT valueBins(tfloat '[1@2001-01-01, 2@2001-01-02, 1@2001-01-03, 4@2001-01-04, 1@2001-01-05]', 3, 1); -- {"[1, 4)","[4, 7)"}SELECT timeBins(ttext '{AAA@2001-01-01, BBB@2001-01-02, AAA@2001-01-03, CCC@2001-01-04, AAA@2001-01-05}', '3 days'); /* {"[1999-12-31 08:00:00, 2001-01-03 08:00:00)","[2001-01-03 08:00:00, 2001-01-06 08:00:00)"} */ SELECT timeBins(tfloat '[1@2001-01-01, 2@2001-01-02, 1@2001-01-03, 4@2001-01-04, 1@2001-01-05]', '3 days', '2001-01-01'); -- {"[2001-01-01, 2001-01-04)","[2001-01-04, 2001-01-07)"}Devuelve una matriz de cuadros temporales obtenidos a partir de los instantes o segmentos de un número temporal con respecto a un mosaico de valores y/o tiempo
valueBoxes(tnumber,vsize number,vorigin number=0,borderInc boolean=true) → tbox[] timeBoxes(tnumber,duration interval,torigin timestamptz='2000-01-03', borderInc boolean=true) → tbox[] valueTimeBoxes(tnumber,vsize number,duration interval,vorigin number=0, torigin timestamptz='2000-01-03',borderInc boolean=true) → tbox[]
La elección entre instantes o segmentos depende de si la interpolación es discreta o continua. Si el origen de la dimensión de valores y/o de tiempo no se especifica, se establece por defecto en 0 y en el lunes 3 de enero de 2000, respectivamente. El argumento opcional
borderIncindica si se incluye el borde superior de la extensión y, por lo tanto, se generan las cajas que comienzan en ese borde y solo lo contienen.SELECT valueBoxes(tint '{1@2001-01-01, 2@2001-01-02, 1@2001-01-03, 4@2001-01-04, 1@2001-01-05}', 3); /* {"TBOXINT XT([1, 3),[2001-01-01, 2001-01-05])","TBOXINT XT([4, 5),[2001-01-04, 2001-01-04])"} */ SELECT timeBoxes(tint '{1@2001-01-01, 2@2001-01-02, 1@2001-01-03, 4@2001-01-04, 1@2001-01-05}', '3 days'); /* {"TBOXINT XT([1, 3),[2001-01-01, 2001-01-03])","TBOXINT XT([1, 5),[2001-01-04, 2001-01-05])"} */ SELECT valueTimeBoxes(tint '{1@2001-01-01, 2@2001-01-02, 1@2001-01-03, 4@2001-01-04, 1@2001-01-05}', 3, '3 days'); /* {"TBOXINT XT([1, 3),[2001-01-01, 2001-01-03])","TBOXINT XT([1, 2),[2001-01-05, 2001-01-05])","TBOXINT XT([4, 5),[2001-01-04, 2001-01-04])"} */ SELECT valueTimeBoxes(tfloat '[1@2001-01-01, 2@2001-01-02, 1@2001-01-03, 4@2001-01-04, 1@2001-01-05]', 3, '3 days', 1, '2001-01-01'); /* {"TBOXFLOAT XT([1, 4),[2001-01-01, 2001-01-04))","TBOXFLOAT XT([1, 4),(2001-01-04, 2001-01-05])","TBOXFLOAT XT([4, 4],[2001-01-04, 2001-01-04])"} */Devuelve una matriz de cuadros espaciotemporales obtenidos a partir de los instantes o segmentos de un punto temporal con respecto a un mosaico espacial y/o temporal
spaceBoxes({tgeompoint,tgeometry,tpose,tpcpoint,trgeometry},xsize float, [ysize float,zsize float,] sorigin geompoint='Point(0 0 0)',borderInc boolean=true) → stbox[] timeBoxes({tgeompoint,tgeometry,tpose,tpcpoint,trgeometry},duration interval, torigin timestamptz='2000-01-03', borderInc boolean=true) → stbox[] spaceTimeBoxes({tgeompoint,tgeometry,tpose,tpcpoint,trgeometry},xsize float, [ysize float,zsize float,]duration interval, sorigin geompoint='Point(0 0 0)',torigin timestamptz='2000-01-03', borderInc boolean=true) → stbox[]La elección entre instantes o segmentos depende de si la interpolación es discreta o continua. Los argumentos
ysizeyzsizeson opcionales. Un tamaño omitido, o dado como 0, toma el valor dexsize, yzsizesolo se lee para un valor con dimensión Z. Todo tamaño es un número finito que no es negativo; de lo contrario se produce un error. El SRID de las coordenadas del mosaico se determina por el punto temporal y los tamaños se dan en las unidades del SRID. Si se proporciona el origen de las coordenadas espaciales, que debe ser un punto, su dimensionalidad y SRID deben ser iguales a los del punto temporal, de lo contrario se genera un error. Si el origen de la dimensión espacial y/o el tiempo no se especifica, su valor se establece por defecto en'Point(0 0 0)'y en el lunes 3 de enero de 2000, respectivamente. El argumento opcionalborderIncindica si se incluye el borde superior de la extensión y, por lo tanto, se generan mosaicos adicionales que contienen el borde. Una pose temporal y un punto de nube de puntos temporal responden a estas funciones en el punto geométrico temporal al que se resuelve su posición, de modo que un valor con interpolación lineal se divide en mosaicos a lo largo de su trayectoria y no solo en sus instantes.SELECT spaceBoxes(tgeompoint '{Point(1 1)@2001-01-01, Point(2 2)@2001-01-02, Point(1 1)@2001-01-03, Point(4 4)@2001-01-04, Point(1 1)@2001-01-05}', 3); /* {"STBOX XT(((1,1),(2,2)),[2001-01-01, 2001-01-05])","STBOX XT(((4,4),(4,4)),[2001-01-04, 2001-01-04])"} */ SELECT timeBoxes(tgeompoint '{Point(1 1 1)@2001-01-01, Point(2 2 2)@2001-01-02, Point(1 1 1)@2001-01-03, Point(4 4 4)@2001-01-04, Point(1 1 1)@2001-01-05}', interval '2 days', '2001-01-01'); /* {"STBOX ZT(((1,1,1),(2,2,2)),[2001-01-01, 2001-01-02])","STBOX ZT(((1,1,1),(4,4,4)),[2001-01-03, 2001-01-04])","STBOX ZT(((1,1,1),(1,1,1)),[2001-01-05, 2001-01-05])"} */ SELECT spaceTimeBoxes(tgeompoint '{Point(1 1)@2001-01-01, Point(2 2)@2001-01-02, Point(1 1)@2001-01-03, Point(4 4)@2001-01-04, Point(1 1)@2001-01-05}', 3, '3 days'); /* {"STBOX XT(((1,1),(2,2)),[2001-01-01, 2001-01-03])","STBOX XT(((1,1),(1,1)),[2001-01-05, 2001-01-05])","STBOX XT(((4,4),(4,4)),[2001-01-04, 2001-01-04])"} */ SELECT spaceTimeBoxes(tgeompoint '[Point(1 1 1)@2001-01-01, Point(2 2 2)@2001-01-02, Point(1 1 1)@2001-01-03, Point(4 4 4)@2001-01-04, Point(1 1 1)@2001-01-05]', 3, interval '3 days', 'Point(1 1 1)', '2001-01-01'); /* {"STBOX ZT(((1,1,1),(4,4,4)),[2001-01-01, 2001-01-04))","STBOX ZT(((1,1,1),(4,4,4)),(2001-01-04, 2001-01-05])","STBOX ZT(((4,4,4),(4,4,4)),[2001-01-04, 2001-01-04])"} */ SELECT spaceBoxes(tpose '[Pose(Point(1 1),0.1)@2001-01-01, Pose(Point(3 3),0.1)@2001-01-03]', 2.0); /* {"STBOX XT(((1,1),(2,2)),[2001-01-01, 2001-01-02))","STBOX XT(((2,2),(3,3)),[2001-01-02, 2001-01-03])"} */
Estas funciones fragmentan un valor temporal con respecto a una secuencia de intervalos (ver la “Operaciones de intervalos”) o un mosaico multidimensional (ver la “Operaciones de mosaicos”).
Fragmenta un número temporal con respecto a intervalos de valores y/o de tiempo
valueSplit(tnumber,vsize number,vorigin number=0, borderInc boolean=true) → {(number,tnumber)} timeSplit(ttype,duration interval,torigin timestamptz='2000-01-03', borderInc boolean=true) → {(time,temp)} valueTimeSplit(tnumber,vsize number,duration interval,vorigin number=0, torigin timestamptz='2000-01-03',borderInc boolean=true) → {(number,time,tnumber)}El resultado es un conjunto de pares o un conjunto de triples. Si no se especifica el origen de la dimensión de valores o temporal, se establecen por defecto en 0 y en el lunes 3 de enero de 2000, respectivamente. El argumento opcional
borderIncindica si se incluye el borde superior de la extensión y, por lo tanto, se generan los fragmentos que comienzan en ese borde y solo lo contienen.SELECT (sp).number, (sp).tnumber FROM (SELECT valueSplit(tint '[1@2001-01-01, 2@2001-01-02, 5@2001-01-05, 10@2001-01-10]', 2) AS sp) t; -- 0 | {[1@2001-01-01, 1@2001-01-02)} -- 2 | {[2@2001-01-02, 2@2001-01-05)} -- 4 | {[5@2001-01-05, 5@2001-01-10)} -- 10 | {[10@2001-01-10]} SELECT valueSplit(tfloat '[1@2001-01-01, 10@2001-01-10)', 2.0, 1.0); -- (1,"{[1@2001-01-01, 3@2001-01-03)}") -- (3,"{[3@2001-01-03, 5@2001-01-05)}") -- (5,"{[5@2001-01-05, 7@2001-01-07)}") -- (7,"{[7@2001-01-07, 9@2001-01-09)}") -- (9,"{[9@2001-01-09, 10@2001-01-10)}")SELECT (ts).time, (ts).temp FROM (SELECT timeSplit(tfloat '[1@2001-02-01, 10@2001-02-10)', '2 days') AS ts) t; -- 2001-01-31 | [1@2001-02-01, 2@2001-02-02) -- 2001-02-02 | [2@2001-02-02, 4@2001-02-04) -- 2001-02-04 | [4@2001-02-04, 6@2001-02-06) -- ... SELECT (ts).time, astext((ts).temp) AS temp FROM (SELECT timeSplit(tgeompoint '[Point(1 1)@2001-02-01, Point(10 10)@2001-02-10]', '2 days', '2001-02-01') AS ts) AS t; -- 2001-02-01 | [POINT(1 1)@2001-02-01, POINT(3 3)@2001-02-03) -- 2001-02-03 | [POINT(3 3)@2001-02-03, POINT(5 5)@2001-02-05) -- 2001-02-05 | [POINT(5 5)@2001-02-05, POINT(7 7)@2001-02-07) -- ...
Observe que se puede fragmentar un valor temporal en intervalos de tiempo cíclicos (en lugar de lineales). Los siguientes dos ejemplos muestran cómo fragmentar un valor temporal por hora y por día de la semana.
SELECT (ts).time::time AS hour, merge((ts).temp) AS temp FROM (SELECT timeSplit(tfloat '[1@2001-01-01, 10@2001-01-03]', '1 hour') AS ts) t GROUP BY hour ORDER BY hour; /* 00:00:00 | {[1@2001-01-01, 1.1875@2001-01-01 01:00:00), [5.5@2001-01-02, 5.6875@2001-01-02 01:00:00)} */ /* 01:00:00 | {[1.1875@2001-01-01 01:00:00, 1.375@2001-01-01 02:00:00), [5.6875@2001-01-02 01:00:00, 5.875@2001-01-02 02:00:00)} */ /* 02:00:00 | {[1.375@2001-01-01 02:00:00, 1.5625@2001-01-01 03:00:00), [5.875@2001-01-02 02:00:00, 6.0625@2001-01-02 03:00:00)} */ /* 03:00:00 | {[1.5625@2001-01-01 03:00:00, 1.75@2001-01-01 04:00:00), [6.0625@2001-01-02 03:00:00, 6.25@2001-01-02 04:00:00)} */ -- ... SELECT EXTRACT(DOW FROM (ts).time) AS dow_no, TO_CHAR((ts).time, 'Dy') AS dow, asText(round(merge((ts).temp), 2)) AS temp FROM (SELECT timeSplit(tgeompoint '[Point(1 1)@2001-01-01, Point(10 10)@2001-01-14)', '1 hour') AS ts) t GROUP BY dow, dow_no ORDER BY dow_no; /* 0 | Sun | {[POINT(1 1)@2001-01-01, POINT(1.69 1.69)@2001-01-02), [POINT(5.85 5.85)@2001-01-08, POINT(6.54 6.54)@2001-01-09)} */ /* 1 | Mon | {[POINT(1.69 1.69)@2001-01-02, POINT(2.38 2.38)@2001-01-03), [POINT(6.54 6.54)@2001-01-09, POINT(7.23 7.23)@2001-01-10)} */ /* 2 | Tue | {[POINT(2.38 2.38)@2001-01-03, POINT(3.08 3.08)@2001-01-04), [POINT(7.23 7.23)@2001-01-10, POINT(7.92 7.92)@2001-01-11)} */ -- ...SELECT (sp).number, (sp).time, (sp).tnumber FROM (SELECT valueTimeSplit(tint '[1@2001-02-01, 2@2001-02-02, 5@2001-02-05, 10@2001-02-10]', 5, '5 days') AS sp) t; -- 0 | 2001-02-01 | {[1@2001-02-01, 2@2001-02-02, 2@2001-02-05)} -- 5 | 2001-02-01 | {[5@2001-02-05, 5@2001-02-06)} -- 5 | 2001-02-06 | {[5@2001-02-06, 5@2001-02-10)} -- 10 | 2001-02-06 | {[10@2001-02-10]} SELECT (sp).number, (sp).time, (sp).tnumber FROM (SELECT valueTimeSplit(tfloat '[1@2001-02-01, 10@2001-02-10)', 5.0, '5 days', 1.0, '2001-02-01') AS sp) t; -- 1 | 2001-01-01 | [1@2001-01-01, 6@2001-01-06) -- 6 | 2001-01-06 | [6@2001-01-06, 10@2001-01-10)Fragmenta un punto temporal con respecto a una malla espacial o espacio-temporal
spaceSplit({tgeompoint,tgeogpoint,tgeometry,tpose,tpcpoint},xsize float, [ysize float,zsize float,] origin point='Point(0 0 0)',bitmatrix boolean=true, borderInc boolean=true) → {(point,tpoint)} timeSplit(tpoint,duration interval,torigin timestamptz='2000-01-03', borderInc boolean=true) → {(time,tpoint)} spaceTimeSplit({tgeompoint,tgeogpoint,tgeometry,tpose,tpcpoint},xsize float, [ysize float,zsize float,] duration interval,sorigin point='Point(0 0 0)', torigin timestamptz='2000-01-03',bitmatrix boolean=true, borderInc boolean=true) → {(point,time,tpoint)}Una pose temporal y un punto de nube de puntos temporal responden a estas funciones en el punto geométrico temporal al que se resuelve su posición, de modo que un valor con interpolación lineal se divide en mosaicos a lo largo de su trayectoria y no solo en sus instantes. La segunda columna de una división lleva el tipo del primer argumento, de modo que dividir una pose temporal devuelve poses temporales. El resultado es un conjunto de pares o un conjunto de triples. Si el origen de la dimensión espacial y/o el tiempo no se especifica, su valor se establece por defecto en
'Point(0 0 0)'y en el lunes 3 de enero de 2000, respectivamente. Los argumentosysizeyzsizeson opcionales. Un tamaño omitido, o dado como 0, toma el valor dexsize, yzsizesolo se lee para un valor con dimensión Z. Todo tamaño es un número finito que no es negativo; de lo contrario se produce un error. Si no se especifica el argumentobitmatrix, el cálculo utilizará una matriz de bits para acelerar el proceso. El argumento opcionalborderIncindica si se incluye el borde superior de la extensión y, por lo tanto, se generan mosaicos adicionales que contienen el borde.Un punto temporal geodésico recorre el círculo máximo entre dos posiciones, de modo que se divide en los mosaicos que ese círculo cruza y no en los de la línea recta en longitud y latitud: un viaje cuyas dos posiciones están en la latitud 61 alcanza la latitud 62.485889 y entra en la fila de mosaicos al norte de aquella en la que esa línea permanece. La cuadrícula que se aplica a un valor geodésico toma un origen de tipo geografía y sus mosaicos son geodésicos, de modo que un mosaico y el valor restringido a él expresan coordenadas de una misma clase. La matriz de bits se rellena a partir de la línea recta entre dos posiciones, que un círculo máximo abandona, de modo que un valor geodésico se divide sin ella y en su lugar se lee cada mosaico de su caja delimitadora.
SELECT ST_AsText((sp).point) AS point, astext((sp).tpoint) AS tpoint FROM (SELECT spaceSplit(tgeompoint '[Point(1 1)@2001-03-01, Point(10 10)@2001-03-10]', 2.0) AS sp) t; -- POINT(0 0) | {[POINT(1 1)@2001-03-01, POINT(2 2)@2001-03-02)} -- POINT(2 2) | {[POINT(2 2)@2001-03-02, POINT(4 4)@2001-03-04)} -- POINT(4 4) | {[POINT(4 4)@2001-03-04, POINT(6 6)@2001-03-06)} -- ... SELECT ST_AsText((sp).point) AS point, astext((sp).tpoint) AS tpoint FROM (SELECT spaceSplit(tgeompoint '[Point(1 1 1)@2001-03-01, Point(10 10 10)@2001-03-10]', 2.0, geometry 'Point(1 1 1)') AS sp) t; -- POINT Z(1 1 1) | {[POINT Z (1 1 1)@2001-03-01, POINT Z (3 3 3)@2001-03-03)} -- POINT Z(3 3 3) | {[POINT Z (3 3 3)@2001-03-03, POINT Z (5 5 5)@2001-03-05)} -- POINT Z(5 5 5) | {[POINT Z (5 5 5)@2001-03-05, POINT Z (7 7 7)@2001-03-07)} -- ... SELECT ST_AsText((sp).point) AS point, asText((sp).tpose) AS tpose FROM (SELECT spaceSplit(tpose '[Pose(Point(1 1),0.1)@2001-01-01, Pose(Point(3 3),0.1)@2001-01-03]', 2.0) AS sp) t; -- POINT(0 0) | {[Pose(POINT(1 1),0.1)@2001-01-01, Pose(POINT(2 2),0.1)@2001-01-02)} -- POINT(2 2) | {[Pose(POINT(2 2),0.1)@2001-01-02, Pose(POINT(3 3),0.1)@2001-01-03]} SELECT ST_AsText((sp).point) AS point, asText((sp).tpoint, 6) AS tpoint FROM (SELECT spaceSplit(tgeogpoint '[Point(10 61)@2001-03-01, Point(50 61)@2001-03-03]', 20.0) AS sp) t; -- POINT(0 60) | {[POINT(10 61)@2001-03-01, POINT(20 62.124941)@2001-03-01 12:17:24.687202)} -- POINT(20 60) | {[POINT(20 62.124941)@2001-03-01 12:17:24.687202, -- POINT(40 62.124941)@2001-03-02 11:42:35.312797)} -- POINT(40 60) | {[POINT(40 62.124941)@2001-03-02 11:42:35.312797, POINT(50 61)@2001-03-03]}SELECT (sp).time, astext((sp).temp) AS tpoint FROM (SELECT timeSplit(tgeompoint '[Point(1 1)@2001-02-01, Point(10 10)@2001-02-10]', interval '2 days') AS sp) t; -- 2001-01-31 | [POINT(1 1)@2001-02-01, POINT(2 2)@2001-02-02) -- 2001-02-02 | [POINT(2 2)@2001-02-02, POINT(4 4)@2001-02-04) -- 2001-02-04 | [POINT(4 4)@2001-02-04, POINT(6 6)@2001-02-06) -- ...
SELECT ST_AsText((sp).point) AS point, (sp).time, astext((sp).tpoint) AS tpoint FROM (SELECT spaceTimeSplit(tgeompoint '[Point(1 1)@2001-02-01, Point(10 10)@2001-02-10]', 2.0, interval '2 days') AS sp) t; -- POINT(0 0) | 2001-01-31 | {[POINT(1 1)@2001-02-01, POINT(2 2)@2001-02-02)} -- POINT(2 2) | 2001-01-31 | {[POINT(2 2)@2001-02-02]} -- POINT(2 2) | 2001-02-02 | {[POINT(2 2)@2001-02-02, POINT(4 4)@2001-02-04)} -- ... SELECT ST_AsText((sp).point) AS point, (sp).time, astext((sp).tpoint) AS tpoint FROM (SELECT spaceTimeSplit(tgeompoint '[Point(1 1 1)@2001-02-01, Point(10 10 10)@2001-02-10]', 2.0, interval '2 days', 'Point(1 1 1)', '2001-03-01') AS sp) t; -- POINT Z(1 1 1) | 2001-02-01 | {[POINT Z(1 1 1)@2001-02-01, POINT Z(3 3 3)@2001-02-03)} -- POINT Z(3 3 3) | 2001-02-01 | {[POINT Z(3 3 3)@2001-02-03]} -- POINT Z(3 3 3) | 2001-02-03 | {[POINT Z(3 3 3)@2001-02-03, POINT Z (5 5 5)@2001-02-05)} -- ...