src/test/regress/expected/multirangetypes.out

   1 -- Tests for multirange data types.
   2 --
   3 -- test input parser
   4 --
   5 -- negative tests; should fail
   6 select ''::textmultirange;
   7 ERROR:  malformed multirange literal: ""
   8 LINE 1: select ''::textmultirange;
   9                ^
  10 DETAIL:  Missing left brace.
  11 select '{,}'::textmultirange;
  12 ERROR:  malformed multirange literal: "{,}"
  13 LINE 1: select '{,}'::textmultirange;
  14                ^
  15 DETAIL:  Expected range start.
  16 select '{(,)}.'::textmultirange;
  17 ERROR:  malformed multirange literal: "{(,)}."
  18 LINE 1: select '{(,)}.'::textmultirange;
  19                ^
  20 DETAIL:  Junk after closing right brace.
  21 select '{[a,c),}'::textmultirange;
  22 ERROR:  malformed multirange literal: "{[a,c),}"
  23 LINE 1: select '{[a,c),}'::textmultirange;
  24                ^
  25 DETAIL:  Expected range start.
  26 select '{,[a,c)}'::textmultirange;
  27 ERROR:  malformed multirange literal: "{,[a,c)}"
  28 LINE 1: select '{,[a,c)}'::textmultirange;
  29                ^
  30 DETAIL:  Expected range start.
  31 select '{-[a,z)}'::textmultirange;
  32 ERROR:  malformed multirange literal: "{-[a,z)}"
  33 LINE 1: select '{-[a,z)}'::textmultirange;
  34                ^
  35 DETAIL:  Expected range start.
  36 select '{[a,z) - }'::textmultirange;
  37 ERROR:  malformed multirange literal: "{[a,z) - }"
  38 LINE 1: select '{[a,z) - }'::textmultirange;
  39                ^
  40 DETAIL:  Expected comma or end of multirange.
  41 select '{(",a)}'::textmultirange;
  42 ERROR:  malformed multirange literal: "{(",a)}"
  43 LINE 1: select '{(",a)}'::textmultirange;
  44                ^
  45 DETAIL:  Unexpected end of input.
  46 select '{(,,a)}'::textmultirange;
  47 ERROR:  malformed range literal: "(,,a)"
  48 LINE 1: select '{(,,a)}'::textmultirange;
  49                ^
  50 DETAIL:  Too many commas.
  51 select '{(),a)}'::textmultirange;
  52 ERROR:  malformed range literal: "()"
  53 LINE 1: select '{(),a)}'::textmultirange;
  54                ^
  55 DETAIL:  Missing comma after lower bound.
  56 select '{(a,))}'::textmultirange;
  57 ERROR:  malformed multirange literal: "{(a,))}"
  58 LINE 1: select '{(a,))}'::textmultirange;
  59                ^
  60 DETAIL:  Expected comma or end of multirange.
  61 select '{(],a)}'::textmultirange;
  62 ERROR:  malformed range literal: "(]"
  63 LINE 1: select '{(],a)}'::textmultirange;
  64                ^
  65 DETAIL:  Missing comma after lower bound.
  66 select '{(a,])}'::textmultirange;
  67 ERROR:  malformed multirange literal: "{(a,])}"
  68 LINE 1: select '{(a,])}'::textmultirange;
  69                ^
  70 DETAIL:  Expected comma or end of multirange.
  71 select '{[z,a]}'::textmultirange;
  72 ERROR:  range lower bound must be less than or equal to range upper bound
  73 LINE 1: select '{[z,a]}'::textmultirange;
  74                ^
  75 -- should succeed
  76 select '{}'::textmultirange;
  77  textmultirange
  78 ----------------
  79  {}
  80 (1 row)
  81
  82 select '  {}  '::textmultirange;
  83  textmultirange
  84 ----------------
  85  {}
  86 (1 row)
  87
  88 select ' { empty, empty }  '::textmultirange;
  89  textmultirange
  90 ----------------
  91  {}
  92 (1 row)
  93
  94 select ' {( " a " " a ", " z " " z " )  }'::textmultirange;
  95        textmultirange
  96 ----------------------------
  97  {("  a   a ","  z   z  ")}
  98 (1 row)
  99
 100 select '{(,z)}'::textmultirange;
 101  textmultirange
 102 ----------------
 103  {(,z)}
 104 (1 row)
 105
 106 select '{(a,)}'::textmultirange;
 107  textmultirange
 108 ----------------
 109  {(a,)}
 110 (1 row)
 111
 112 select '{[,z]}'::textmultirange;
 113  textmultirange
 114 ----------------
 115  {(,z]}
 116 (1 row)
 117
 118 select '{[a,]}'::textmultirange;
 119  textmultirange
 120 ----------------
 121  {[a,)}
 122 (1 row)
 123
 124 select '{(,)}'::textmultirange;
 125  textmultirange
 126 ----------------
 127  {(,)}
 128 (1 row)
 129
 130 select '{[ , ]}'::textmultirange;
 131  textmultirange
 132 ----------------
 133  {[" "," "]}
 134 (1 row)
 135
 136 select '{["",""]}'::textmultirange;
 137  textmultirange
 138 ----------------
 139  {["",""]}
 140 (1 row)
 141
 142 select '{[",",","]}'::textmultirange;
 143  textmultirange
 144 ----------------
 145  {[",",","]}
 146 (1 row)
 147
 148 select '{["\\","\\"]}'::textmultirange;
 149  textmultirange
 150 ----------------
 151  {["\\","\\"]}
 152 (1 row)
 153
 154 select '{["""","\""]}'::textmultirange;
 155  textmultirange
 156 ----------------
 157  {["""",""""]}
 158 (1 row)
 159
 160 select '{(\\,a)}'::textmultirange;
 161  textmultirange
 162 ----------------
 163  {("\\",a)}
 164 (1 row)
 165
 166 select '{((,z)}'::textmultirange;
 167  textmultirange
 168 ----------------
 169  {("(",z)}
 170 (1 row)
 171
 172 select '{([,z)}'::textmultirange;
 173  textmultirange
 174 ----------------
 175  {("[",z)}
 176 (1 row)
 177
 178 select '{(!,()}'::textmultirange;
 179  textmultirange
 180 ----------------
 181  {(!,"(")}
 182 (1 row)
 183
 184 select '{(!,[)}'::textmultirange;
 185  textmultirange
 186 ----------------
 187  {(!,"[")}
 188 (1 row)
 189
 190 select '{[a,a]}'::textmultirange;
 191  textmultirange
 192 ----------------
 193  {[a,a]}
 194 (1 row)
 195
 196 select '{[a,a],[a,b]}'::textmultirange;
 197  textmultirange
 198 ----------------
 199  {[a,b]}
 200 (1 row)
 201
 202 select '{[a,b), [b,e]}'::textmultirange;
 203  textmultirange
 204 ----------------
 205  {[a,e]}
 206 (1 row)
 207
 208 select '{[a,d), [b,f]}'::textmultirange;
 209  textmultirange
 210 ----------------
 211  {[a,f]}
 212 (1 row)
 213
 214 select '{[a,a],[b,b]}'::textmultirange;
 215  textmultirange
 216 ----------------
 217  {[a,a],[b,b]}
 218 (1 row)
 219
 220 -- without canonicalization, we can't join these:
 221 select '{[a,a], [b,b]}'::textmultirange;
 222  textmultirange
 223 ----------------
 224  {[a,a],[b,b]}
 225 (1 row)
 226
 227 -- with canonicalization, we can join these:
 228 select '{[1,2], [3,4]}'::int4multirange;
 229  int4multirange
 230 ----------------
 231  {[1,5)}
 232 (1 row)
 233
 234 select '{[a,a], [b,b], [c,c]}'::textmultirange;
 235    textmultirange
 236 ---------------------
 237  {[a,a],[b,b],[c,c]}
 238 (1 row)
 239
 240 select '{[a,d], [b,e]}'::textmultirange;
 241  textmultirange
 242 ----------------
 243  {[a,e]}
 244 (1 row)
 245
 246 select '{[a,d), [d,e)}'::textmultirange;
 247  textmultirange
 248 ----------------
 249  {[a,e)}
 250 (1 row)
 251
 252 -- these are allowed but normalize to empty:
 253 select '{[a,a)}'::textmultirange;
 254  textmultirange
 255 ----------------
 256  {}
 257 (1 row)
 258
 259 select '{(a,a]}'::textmultirange;
 260  textmultirange
 261 ----------------
 262  {}
 263 (1 row)
 264
 265 select '{(a,a)}'::textmultirange;
 266  textmultirange
 267 ----------------
 268  {}
 269 (1 row)
 270
 271 --
 272 -- test the constructor
 273 ---
 274 select textmultirange();
 275  textmultirange
 276 ----------------
 277  {}
 278 (1 row)
 279
 280 select textmultirange(textrange('a', 'c'));
 281  textmultirange
 282 ----------------
 283  {[a,c)}
 284 (1 row)
 285
 286 select textmultirange(textrange('a', 'c'), textrange('f', 'g'));
 287  textmultirange
 288 ----------------
 289  {[a,c),[f,g)}
 290 (1 row)
 291
 292 select textmultirange(textrange('a', 'c'), textrange('b', 'd'));
 293  textmultirange
 294 ----------------
 295  {[a,d)}
 296 (1 row)
 297
 298 --
 299 -- test casts, both a built-in range type and a user-defined one:
 300 --
 301 select 'empty'::int4range::int4multirange;
 302  int4multirange
 303 ----------------
 304  {}
 305 (1 row)
 306
 307 select int4range(1, 3)::int4multirange;
 308  int4range
 309 -----------
 310  {[1,3)}
 311 (1 row)
 312
 313 select int4range(1, null)::int4multirange;
 314  int4range
 315 -----------
 316  {[1,)}
 317 (1 row)
 318
 319 select int4range(null, null)::int4multirange;
 320  int4range
 321 -----------
 322  {(,)}
 323 (1 row)
 324
 325 select 'empty'::textrange::textmultirange;
 326  textmultirange
 327 ----------------
 328  {}
 329 (1 row)
 330
 331 select textrange('a', 'c')::textmultirange;
 332  textrange
 333 -----------
 334  {[a,c)}
 335 (1 row)
 336
 337 select textrange('a', null)::textmultirange;
 338  textrange
 339 -----------
 340  {[a,)}
 341 (1 row)
 342
 343 select textrange(null, null)::textmultirange;
 344  textrange
 345 -----------
 346  {(,)}
 347 (1 row)
 348
 349 --
 350 -- test unnest(multirange) function
 351 --
 352 select unnest(int4multirange(int4range('5', '6'), int4range('1', '2')));
 353  unnest
 354 --------
 355  [1,2)
 356  [5,6)
 357 (2 rows)
 358
 359 select unnest(textmultirange(textrange('a', 'b'), textrange('d', 'e')));
 360  unnest
 361 --------
 362  [a,b)
 363  [d,e)
 364 (2 rows)
 365
 366 --
 367 -- create some test data and test the operators
 368 --
 369 CREATE TABLE nummultirange_test (nmr NUMMULTIRANGE);
 370 CREATE INDEX nummultirange_test_btree ON nummultirange_test(nmr);
 371 INSERT INTO nummultirange_test VALUES('{}');
 372 INSERT INTO nummultirange_test VALUES('{[,)}');
 373 INSERT INTO nummultirange_test VALUES('{[3,]}');
 374 INSERT INTO nummultirange_test VALUES('{[,), [3,]}');
 375 INSERT INTO nummultirange_test VALUES('{[, 5)}');
 376 INSERT INTO nummultirange_test VALUES(nummultirange());
 377 INSERT INTO nummultirange_test VALUES(nummultirange(variadic '{}'::numrange[]));
 378 INSERT INTO nummultirange_test VALUES(nummultirange(numrange(1.1, 2.2)));
 379 INSERT INTO nummultirange_test VALUES('{empty}');
 380 INSERT INTO nummultirange_test VALUES(nummultirange(numrange(1.7, 1.7, '[]'), numrange(1.7, 1.9)));
 381 INSERT INTO nummultirange_test VALUES(nummultirange(numrange(1.7, 1.7, '[]'), numrange(1.9, 2.1)));
 382 SELECT nmr, isempty(nmr), lower(nmr), upper(nmr) FROM nummultirange_test ORDER BY nmr;
 383           nmr          | isempty | lower | upper
 384 -----------------------+---------+-------+-------
 385  {}                    | t       |       |
 386  {}                    | t       |       |
 387  {}                    | t       |       |
 388  {}                    | t       |       |
 389  {(,5)}                | f       |       |     5
 390  {(,)}                 | f       |       |
 391  {(,)}                 | f       |       |
 392  {[1.1,2.2)}           | f       |   1.1 |   2.2
 393  {[1.7,1.7],[1.9,2.1)} | f       |   1.7 |   2.1
 394  {[1.7,1.9)}           | f       |   1.7 |   1.9
 395  {[3,)}                | f       |     3 |
 396 (11 rows)
 397
 398 SELECT nmr, lower_inc(nmr), lower_inf(nmr), upper_inc(nmr), upper_inf(nmr) FROM nummultirange_test ORDER BY nmr;
 399           nmr          | lower_inc | lower_inf | upper_inc | upper_inf
 400 -----------------------+-----------+-----------+-----------+-----------
 401  {}                    | f         | f         | f         | f
 402  {}                    | f         | f         | f         | f
 403  {}                    | f         | f         | f         | f
 404  {}                    | f         | f         | f         | f
 405  {(,5)}                | f         | t         | f         | f
 406  {(,)}                 | f         | t         | f         | t
 407  {(,)}                 | f         | t         | f         | t
 408  {[1.1,2.2)}           | t         | f         | f         | f
 409  {[1.7,1.7],[1.9,2.1)} | t         | f         | f         | f
 410  {[1.7,1.9)}           | t         | f         | f         | f
 411  {[3,)}                | t         | f         | f         | t
 412 (11 rows)
 413
 414 SELECT * FROM nummultirange_test WHERE nmr = '{}';
 415  nmr
 416 -----
 417  {}
 418  {}
 419  {}
 420  {}
 421 (4 rows)
 422
 423 SELECT * FROM nummultirange_test WHERE nmr = '{(,5)}';
 424   nmr
 425 --------
 426  {(,5)}
 427 (1 row)
 428
 429 SELECT * FROM nummultirange_test WHERE nmr = '{[3,)}';
 430   nmr
 431 --------
 432  {[3,)}
 433 (1 row)
 434
 435 SELECT * FROM nummultirange_test WHERE nmr = '{[1.7,1.7]}';
 436  nmr
 437 -----
 438 (0 rows)
 439
 440 SELECT * FROM nummultirange_test WHERE nmr = '{[1.7,1.7],[1.9,2.1)}';
 441           nmr
 442 -----------------------
 443  {[1.7,1.7],[1.9,2.1)}
 444 (1 row)
 445
 446 SELECT * FROM nummultirange_test WHERE nmr < '{}';
 447  nmr
 448 -----
 449 (0 rows)
 450
 451 SELECT * FROM nummultirange_test WHERE nmr < '{[-1000.0, -1000.0]}';
 452   nmr
 453 --------
 454  {}
 455  {(,)}
 456  {(,)}
 457  {(,5)}
 458  {}
 459  {}
 460  {}
 461 (7 rows)
 462
 463 SELECT * FROM nummultirange_test WHERE nmr < '{[0.0, 1.0]}';
 464   nmr
 465 --------
 466  {}
 467  {(,)}
 468  {(,)}
 469  {(,5)}
 470  {}
 471  {}
 472  {}
 473 (7 rows)
 474
 475 SELECT * FROM nummultirange_test WHERE nmr < '{[1000.0, 1001.0]}';
 476           nmr
 477 -----------------------
 478  {}
 479  {(,)}
 480  {[3,)}
 481  {(,)}
 482  {(,5)}
 483  {}
 484  {}
 485  {[1.1,2.2)}
 486  {}
 487  {[1.7,1.9)}
 488  {[1.7,1.7],[1.9,2.1)}
 489 (11 rows)
 490
 491 SELECT * FROM nummultirange_test WHERE nmr <= '{}';
 492  nmr
 493 -----
 494  {}
 495  {}
 496  {}
 497  {}
 498 (4 rows)
 499
 500 SELECT * FROM nummultirange_test WHERE nmr <= '{[3,)}';
 501           nmr
 502 -----------------------
 503  {}
 504  {(,)}
 505  {[3,)}
 506  {(,)}
 507  {(,5)}
 508  {}
 509  {}
 510  {[1.1,2.2)}
 511  {}
 512  {[1.7,1.9)}
 513  {[1.7,1.7],[1.9,2.1)}
 514 (11 rows)
 515
 516 SELECT * FROM nummultirange_test WHERE nmr >= '{}';
 517           nmr
 518 -----------------------
 519  {}
 520  {(,)}
 521  {[3,)}
 522  {(,)}
 523  {(,5)}
 524  {}
 525  {}
 526  {[1.1,2.2)}
 527  {}
 528  {[1.7,1.9)}
 529  {[1.7,1.7],[1.9,2.1)}
 530 (11 rows)
 531
 532 SELECT * FROM nummultirange_test WHERE nmr >= '{[3,)}';
 533   nmr
 534 --------
 535  {[3,)}
 536 (1 row)
 537
 538 SELECT * FROM nummultirange_test WHERE nmr > '{}';
 539           nmr
 540 -----------------------
 541  {(,)}
 542  {[3,)}
 543  {(,)}
 544  {(,5)}
 545  {[1.1,2.2)}
 546  {[1.7,1.9)}
 547  {[1.7,1.7],[1.9,2.1)}
 548 (7 rows)
 549
 550 SELECT * FROM nummultirange_test WHERE nmr > '{[-1000.0, -1000.0]}';
 551           nmr
 552 -----------------------
 553  {[3,)}
 554  {[1.1,2.2)}
 555  {[1.7,1.9)}
 556  {[1.7,1.7],[1.9,2.1)}
 557 (4 rows)
 558
 559 SELECT * FROM nummultirange_test WHERE nmr > '{[0.0, 1.0]}';
 560           nmr
 561 -----------------------
 562  {[3,)}
 563  {[1.1,2.2)}
 564  {[1.7,1.9)}
 565  {[1.7,1.7],[1.9,2.1)}
 566 (4 rows)
 567
 568 SELECT * FROM nummultirange_test WHERE nmr > '{[1000.0, 1001.0]}';
 569  nmr
 570 -----
 571 (0 rows)
 572
 573 SELECT * FROM nummultirange_test WHERE nmr <> '{}';
 574           nmr
 575 -----------------------
 576  {(,)}
 577  {[3,)}
 578  {(,)}
 579  {(,5)}
 580  {[1.1,2.2)}
 581  {[1.7,1.9)}
 582  {[1.7,1.7],[1.9,2.1)}
 583 (7 rows)
 584
 585 SELECT * FROM nummultirange_test WHERE nmr <> '{(,5)}';
 586           nmr
 587 -----------------------
 588  {}
 589  {(,)}
 590  {[3,)}
 591  {(,)}
 592  {}
 593  {}
 594  {[1.1,2.2)}
 595  {}
 596  {[1.7,1.9)}
 597  {[1.7,1.7],[1.9,2.1)}
 598 (10 rows)
 599
 600 select nummultirange(numrange(2.0, 1.0));
 601 ERROR:  range lower bound must be less than or equal to range upper bound
 602 select nummultirange(numrange(5.0, 6.0), numrange(1.0, 2.0));
 603      nummultirange
 604 -----------------------
 605  {[1.0,2.0),[5.0,6.0)}
 606 (1 row)
 607
 608 analyze nummultirange_test;
 609 -- overlaps
 610 SELECT * FROM nummultirange_test WHERE range_overlaps_multirange(numrange(4.0, 4.2), nmr);
 611   nmr
 612 --------
 613  {(,)}
 614  {[3,)}
 615  {(,)}
 616  {(,5)}
 617 (4 rows)
 618
 619 SELECT * FROM nummultirange_test WHERE numrange(4.0, 4.2) && nmr;
 620   nmr
 621 --------
 622  {(,)}
 623  {[3,)}
 624  {(,)}
 625  {(,5)}
 626 (4 rows)
 627
 628 SELECT * FROM nummultirange_test WHERE multirange_overlaps_range(nmr, numrange(4.0, 4.2));
 629   nmr
 630 --------
 631  {(,)}
 632  {[3,)}
 633  {(,)}
 634  {(,5)}
 635 (4 rows)
 636
 637 SELECT * FROM nummultirange_test WHERE nmr && numrange(4.0, 4.2);
 638   nmr
 639 --------
 640  {(,)}
 641  {[3,)}
 642  {(,)}
 643  {(,5)}
 644 (4 rows)
 645
 646 SELECT * FROM nummultirange_test WHERE multirange_overlaps_multirange(nmr, nummultirange(numrange(4.0, 4.2), numrange(6.0, 7.0)));
 647   nmr
 648 --------
 649  {(,)}
 650  {[3,)}
 651  {(,)}
 652  {(,5)}
 653 (4 rows)
 654
 655 SELECT * FROM nummultirange_test WHERE nmr && nummultirange(numrange(4.0, 4.2), numrange(6.0, 7.0));
 656   nmr
 657 --------
 658  {(,)}
 659  {[3,)}
 660  {(,)}
 661  {(,5)}
 662 (4 rows)
 663
 664 SELECT * FROM nummultirange_test WHERE nmr && nummultirange(numrange(6.0, 7.0));
 665   nmr
 666 --------
 667  {(,)}
 668  {[3,)}
 669  {(,)}
 670 (3 rows)
 671
 672 SELECT * FROM nummultirange_test WHERE nmr && nummultirange(numrange(6.0, 7.0), numrange(8.0, 9.0));
 673   nmr
 674 --------
 675  {(,)}
 676  {[3,)}
 677  {(,)}
 678 (3 rows)
 679
 680 -- mr contains x
 681 SELECT * FROM nummultirange_test WHERE multirange_contains_elem(nmr, 4.0);
 682   nmr
 683 --------
 684  {(,)}
 685  {[3,)}
 686  {(,)}
 687  {(,5)}
 688 (4 rows)
 689
 690 SELECT * FROM nummultirange_test WHERE nmr @> 4.0;
 691   nmr
 692 --------
 693  {(,)}
 694  {[3,)}
 695  {(,)}
 696  {(,5)}
 697 (4 rows)
 698
 699 SELECT * FROM nummultirange_test WHERE multirange_contains_range(nmr, numrange(4.0, 4.2));
 700   nmr
 701 --------
 702  {(,)}
 703  {[3,)}
 704  {(,)}
 705  {(,5)}
 706 (4 rows)
 707
 708 SELECT * FROM nummultirange_test WHERE nmr @> numrange(4.0, 4.2);
 709   nmr
 710 --------
 711  {(,)}
 712  {[3,)}
 713  {(,)}
 714  {(,5)}
 715 (4 rows)
 716
 717 SELECT * FROM nummultirange_test WHERE multirange_contains_multirange(nmr, '{[4.0,4.2), [6.0, 8.0)}');
 718   nmr
 719 --------
 720  {(,)}
 721  {[3,)}
 722  {(,)}
 723 (3 rows)
 724
 725 SELECT * FROM nummultirange_test WHERE nmr @> '{[4.0,4.2), [6.0, 8.0)}'::nummultirange;
 726   nmr
 727 --------
 728  {(,)}
 729  {[3,)}
 730  {(,)}
 731 (3 rows)
 732
 733 -- x is contained by mr
 734 SELECT * FROM nummultirange_test WHERE elem_contained_by_multirange(4.0, nmr);
 735   nmr
 736 --------
 737  {(,)}
 738  {[3,)}
 739  {(,)}
 740  {(,5)}
 741 (4 rows)
 742
 743 SELECT * FROM nummultirange_test WHERE 4.0 <@ nmr;
 744   nmr
 745 --------
 746  {(,)}
 747  {[3,)}
 748  {(,)}
 749  {(,5)}
 750 (4 rows)
 751
 752 SELECT * FROM nummultirange_test WHERE range_contained_by_multirange(numrange(4.0, 4.2), nmr);
 753   nmr
 754 --------
 755  {(,)}
 756  {[3,)}
 757  {(,)}
 758  {(,5)}
 759 (4 rows)
 760
 761 SELECT * FROM nummultirange_test WHERE numrange(4.0, 4.2) <@ nmr;
 762   nmr
 763 --------
 764  {(,)}
 765  {[3,)}
 766  {(,)}
 767  {(,5)}
 768 (4 rows)
 769
 770 SELECT * FROM nummultirange_test WHERE multirange_contained_by_multirange('{[4.0,4.2), [6.0, 8.0)}', nmr);
 771   nmr
 772 --------
 773  {(,)}
 774  {[3,)}
 775  {(,)}
 776 (3 rows)
 777
 778 SELECT * FROM nummultirange_test WHERE '{[4.0,4.2), [6.0, 8.0)}'::nummultirange <@ nmr;
 779   nmr
 780 --------
 781  {(,)}
 782  {[3,)}
 783  {(,)}
 784 (3 rows)
 785
 786 -- overlaps
 787 SELECT 'empty'::numrange && nummultirange();
 788  ?column?
 789 ----------
 790  f
 791 (1 row)
 792
 793 SELECT 'empty'::numrange && nummultirange(numrange(1,2));
 794  ?column?
 795 ----------
 796  f
 797 (1 row)
 798
 799 SELECT nummultirange() && 'empty'::numrange;
 800  ?column?
 801 ----------
 802  f
 803 (1 row)
 804
 805 SELECT nummultirange(numrange(1,2)) && 'empty'::numrange;
 806  ?column?
 807 ----------
 808  f
 809 (1 row)
 810
 811 SELECT nummultirange() && nummultirange();
 812  ?column?
 813 ----------
 814  f
 815 (1 row)
 816
 817 SELECT nummultirange() && nummultirange(numrange(1,2));
 818  ?column?
 819 ----------
 820  f
 821 (1 row)
 822
 823 SELECT nummultirange(numrange(1,2)) && nummultirange();
 824  ?column?
 825 ----------
 826  f
 827 (1 row)
 828
 829 SELECT nummultirange(numrange(3,4)) && nummultirange(numrange(1,2), numrange(7,8));
 830  ?column?
 831 ----------
 832  f
 833 (1 row)
 834
 835 SELECT nummultirange(numrange(1,2), numrange(7,8)) && nummultirange(numrange(3,4));
 836  ?column?
 837 ----------
 838  f
 839 (1 row)
 840
 841 SELECT nummultirange(numrange(3,4)) && nummultirange(numrange(1,2), numrange(3.5,8));
 842  ?column?
 843 ----------
 844  t
 845 (1 row)
 846
 847 SELECT nummultirange(numrange(1,2), numrange(3.5,8)) && numrange(3,4);
 848  ?column?
 849 ----------
 850  t
 851 (1 row)
 852
 853 SELECT nummultirange(numrange(1,2), numrange(3.5,8)) && nummultirange(numrange(3,4));
 854  ?column?
 855 ----------
 856  t
 857 (1 row)
 858
 859 select '{(10,20),(30,40),(50,60)}'::nummultirange && '(42,92)'::numrange;
 860  ?column?
 861 ----------
 862  t
 863 (1 row)
 864
 865 -- contains
 866 SELECT nummultirange() @> nummultirange();
 867  ?column?
 868 ----------
 869  t
 870 (1 row)
 871
 872 SELECT nummultirange() @> 'empty'::numrange;
 873  ?column?
 874 ----------
 875  t
 876 (1 row)
 877
 878 SELECT nummultirange(numrange(null,null)) @> numrange(1,2);
 879  ?column?
 880 ----------
 881  t
 882 (1 row)
 883
 884 SELECT nummultirange(numrange(null,null)) @> numrange(null,2);
 885  ?column?
 886 ----------
 887  t
 888 (1 row)
 889
 890 SELECT nummultirange(numrange(null,null)) @> numrange(2,null);
 891  ?column?
 892 ----------
 893  t
 894 (1 row)
 895
 896 SELECT nummultirange(numrange(null,5)) @> numrange(null,3);
 897  ?column?
 898 ----------
 899  t
 900 (1 row)
 901
 902 SELECT nummultirange(numrange(null,5)) @> numrange(null,8);
 903  ?column?
 904 ----------
 905  f
 906 (1 row)
 907
 908 SELECT nummultirange(numrange(5,null)) @> numrange(8,null);
 909  ?column?
 910 ----------
 911  t
 912 (1 row)
 913
 914 SELECT nummultirange(numrange(5,null)) @> numrange(3,null);
 915  ?column?
 916 ----------
 917  f
 918 (1 row)
 919
 920 SELECT nummultirange(numrange(1,5)) @> numrange(8,9);
 921  ?column?
 922 ----------
 923  f
 924 (1 row)
 925
 926 SELECT nummultirange(numrange(1,5)) @> numrange(3,9);
 927  ?column?
 928 ----------
 929  f
 930 (1 row)
 931
 932 SELECT nummultirange(numrange(1,5)) @> numrange(1,4);
 933  ?column?
 934 ----------
 935  t
 936 (1 row)
 937
 938 SELECT nummultirange(numrange(1,5)) @> numrange(1,5);
 939  ?column?
 940 ----------
 941  t
 942 (1 row)
 943
 944 SELECT nummultirange(numrange(-4,-2), numrange(1,5)) @> numrange(1,5);
 945  ?column?
 946 ----------
 947  t
 948 (1 row)
 949
 950 SELECT nummultirange(numrange(1,5), numrange(8,9)) @> numrange(1,5);
 951  ?column?
 952 ----------
 953  t
 954 (1 row)
 955
 956 SELECT nummultirange(numrange(1,5), numrange(8,9)) @> numrange(6,7);
 957  ?column?
 958 ----------
 959  f
 960 (1 row)
 961
 962 SELECT nummultirange(numrange(1,5), numrange(6,9)) @> numrange(6,7);
 963  ?column?
 964 ----------
 965  t
 966 (1 row)
 967
 968 SELECT '{[1,5)}'::nummultirange @> '{[1,5)}';
 969  ?column?
 970 ----------
 971  t
 972 (1 row)
 973
 974 SELECT '{[-4,-2), [1,5)}'::nummultirange @> '{[1,5)}';
 975  ?column?
 976 ----------
 977  t
 978 (1 row)
 979
 980 SELECT '{[1,5), [8,9)}'::nummultirange @> '{[1,5)}';
 981  ?column?
 982 ----------
 983  t
 984 (1 row)
 985
 986 SELECT '{[1,5), [8,9)}'::nummultirange @> '{[6,7)}';
 987  ?column?
 988 ----------
 989  f
 990 (1 row)
 991
 992 SELECT '{[1,5), [6,9)}'::nummultirange @> '{[6,7)}';
 993  ?column?
 994 ----------
 995  t
 996 (1 row)
 997
 998 select '{(10,20),(30,40),(50,60)}'::nummultirange @> '(52,56)'::numrange;
 999  ?column?
1000 ----------
1001  t
1002 (1 row)
1003
1004 SELECT numrange(null,null) @> nummultirange(numrange(1,2));
1005  ?column?
1006 ----------
1007  t
1008 (1 row)
1009
1010 SELECT numrange(null,null) @> nummultirange(numrange(null,2));
1011  ?column?
1012 ----------
1013  t
1014 (1 row)
1015
1016 SELECT numrange(null,null) @> nummultirange(numrange(2,null));
1017  ?column?
1018 ----------
1019  t
1020 (1 row)
1021
1022 SELECT numrange(null,5) @> nummultirange(numrange(null,3));
1023  ?column?
1024 ----------
1025  t
1026 (1 row)
1027
1028 SELECT numrange(null,5) @> nummultirange(numrange(null,8));
1029  ?column?
1030 ----------
1031  f
1032 (1 row)
1033
1034 SELECT numrange(5,null) @> nummultirange(numrange(8,null));
1035  ?column?
1036 ----------
1037  t
1038 (1 row)
1039
1040 SELECT numrange(5,null) @> nummultirange(numrange(3,null));
1041  ?column?
1042 ----------
1043  f
1044 (1 row)
1045
1046 SELECT numrange(1,5) @> nummultirange(numrange(8,9));
1047  ?column?
1048 ----------
1049  f
1050 (1 row)
1051
1052 SELECT numrange(1,5) @> nummultirange(numrange(3,9));
1053  ?column?
1054 ----------
1055  f
1056 (1 row)
1057
1058 SELECT numrange(1,5) @> nummultirange(numrange(1,4));
1059  ?column?
1060 ----------
1061  t
1062 (1 row)
1063
1064 SELECT numrange(1,5) @> nummultirange(numrange(1,5));
1065  ?column?
1066 ----------
1067  t
1068 (1 row)
1069
1070 SELECT numrange(1,9) @> nummultirange(numrange(-4,-2), numrange(1,5));
1071  ?column?
1072 ----------
1073  f
1074 (1 row)
1075
1076 SELECT numrange(1,9) @> nummultirange(numrange(1,5), numrange(8,9));
1077  ?column?
1078 ----------
1079  t
1080 (1 row)
1081
1082 SELECT numrange(1,9) @> nummultirange(numrange(1,5), numrange(6,9));
1083  ?column?
1084 ----------
1085  t
1086 (1 row)
1087
1088 SELECT numrange(1,9) @> nummultirange(numrange(1,5), numrange(6,10));
1089  ?column?
1090 ----------
1091  f
1092 (1 row)
1093
1094 SELECT '{[1,9)}' @> '{[1,5)}'::nummultirange;
1095  ?column?
1096 ----------
1097  t
1098 (1 row)
1099
1100 SELECT '{[1,9)}' @> '{[-4,-2), [1,5)}'::nummultirange;
1101  ?column?
1102 ----------
1103  f
1104 (1 row)
1105
1106 SELECT '{[1,9)}' @> '{[1,5), [8,9)}'::nummultirange;
1107  ?column?
1108 ----------
1109  t
1110 (1 row)
1111
1112 SELECT '{[1,9)}' @> '{[1,5), [6,9)}'::nummultirange;
1113  ?column?
1114 ----------
1115  t
1116 (1 row)
1117
1118 SELECT '{[1,9)}' @> '{[1,5), [6,10)}'::nummultirange;
1119  ?column?
1120 ----------
1121  f
1122 (1 row)
1123
1124 -- is contained by
1125 SELECT nummultirange() <@ nummultirange();
1126  ?column?
1127 ----------
1128  t
1129 (1 row)
1130
1131 SELECT 'empty'::numrange <@ nummultirange();
1132  ?column?
1133 ----------
1134  t
1135 (1 row)
1136
1137 SELECT numrange(1,2) <@ nummultirange(numrange(null,null));
1138  ?column?
1139 ----------
1140  t
1141 (1 row)
1142
1143 SELECT numrange(null,2) <@ nummultirange(numrange(null,null));
1144  ?column?
1145 ----------
1146  t
1147 (1 row)
1148
1149 SELECT numrange(2,null) <@ nummultirange(numrange(null,null));
1150  ?column?
1151 ----------
1152  t
1153 (1 row)
1154
1155 SELECT numrange(null,3) <@ nummultirange(numrange(null,5));
1156  ?column?
1157 ----------
1158  t
1159 (1 row)
1160
1161 SELECT numrange(null,8) <@ nummultirange(numrange(null,5));
1162  ?column?
1163 ----------
1164  f
1165 (1 row)
1166
1167 SELECT numrange(8,null) <@ nummultirange(numrange(5,null));
1168  ?column?
1169 ----------
1170  t
1171 (1 row)
1172
1173 SELECT numrange(3,null) <@ nummultirange(numrange(5,null));
1174  ?column?
1175 ----------
1176  f
1177 (1 row)
1178
1179 SELECT numrange(8,9) <@ nummultirange(numrange(1,5));
1180  ?column?
1181 ----------
1182  f
1183 (1 row)
1184
1185 SELECT numrange(3,9) <@ nummultirange(numrange(1,5));
1186  ?column?
1187 ----------
1188  f
1189 (1 row)
1190
1191 SELECT numrange(1,4) <@ nummultirange(numrange(1,5));
1192  ?column?
1193 ----------
1194  t
1195 (1 row)
1196
1197 SELECT numrange(1,5) <@ nummultirange(numrange(1,5));
1198  ?column?
1199 ----------
1200  t
1201 (1 row)
1202
1203 SELECT numrange(1,5) <@ nummultirange(numrange(-4,-2), numrange(1,5));
1204  ?column?
1205 ----------
1206  t
1207 (1 row)
1208
1209 SELECT numrange(1,5) <@ nummultirange(numrange(1,5), numrange(8,9));
1210  ?column?
1211 ----------
1212  t
1213 (1 row)
1214
1215 SELECT numrange(6,7) <@ nummultirange(numrange(1,5), numrange(8,9));
1216  ?column?
1217 ----------
1218  f
1219 (1 row)
1220
1221 SELECT numrange(6,7) <@ nummultirange(numrange(1,5), numrange(6,9));
1222  ?column?
1223 ----------
1224  t
1225 (1 row)
1226
1227 SELECT '{[1,5)}' <@ '{[1,5)}'::nummultirange;
1228  ?column?
1229 ----------
1230  t
1231 (1 row)
1232
1233 SELECT '{[1,5)}' <@ '{[-4,-2), [1,5)}'::nummultirange;
1234  ?column?
1235 ----------
1236  t
1237 (1 row)
1238
1239 SELECT '{[1,5)}' <@ '{[1,5), [8,9)}'::nummultirange;
1240  ?column?
1241 ----------
1242  t
1243 (1 row)
1244
1245 SELECT '{[6,7)}' <@ '{[1,5), [8,9)}'::nummultirange;
1246  ?column?
1247 ----------
1248  f
1249 (1 row)
1250
1251 SELECT '{[6,7)}' <@ '{[1,5), [6,9)}'::nummultirange;
1252  ?column?
1253 ----------
1254  t
1255 (1 row)
1256
1257 SELECT nummultirange(numrange(1,2)) <@ numrange(null,null);
1258  ?column?
1259 ----------
1260  t
1261 (1 row)
1262
1263 SELECT nummultirange(numrange(null,2)) <@ numrange(null,null);
1264  ?column?
1265 ----------
1266  t
1267 (1 row)
1268
1269 SELECT nummultirange(numrange(2,null)) <@ numrange(null,null);
1270  ?column?
1271 ----------
1272  t
1273 (1 row)
1274
1275 SELECT nummultirange(numrange(null,3)) <@ numrange(null,5);
1276  ?column?
1277 ----------
1278  t
1279 (1 row)
1280
1281 SELECT nummultirange(numrange(null,8)) <@ numrange(null,5);
1282  ?column?
1283 ----------
1284  f
1285 (1 row)
1286
1287 SELECT nummultirange(numrange(8,null)) <@ numrange(5,null);
1288  ?column?
1289 ----------
1290  t
1291 (1 row)
1292
1293 SELECT nummultirange(numrange(3,null)) <@ numrange(5,null);
1294  ?column?
1295 ----------
1296  f
1297 (1 row)
1298
1299 SELECT nummultirange(numrange(8,9)) <@ numrange(1,5);
1300  ?column?
1301 ----------
1302  f
1303 (1 row)
1304
1305 SELECT nummultirange(numrange(3,9)) <@ numrange(1,5);
1306  ?column?
1307 ----------
1308  f
1309 (1 row)
1310
1311 SELECT nummultirange(numrange(1,4)) <@ numrange(1,5);
1312  ?column?
1313 ----------
1314  t
1315 (1 row)
1316
1317 SELECT nummultirange(numrange(1,5)) <@ numrange(1,5);
1318  ?column?
1319 ----------
1320  t
1321 (1 row)
1322
1323 SELECT nummultirange(numrange(-4,-2), numrange(1,5)) <@ numrange(1,9);
1324  ?column?
1325 ----------
1326  f
1327 (1 row)
1328
1329 SELECT nummultirange(numrange(1,5), numrange(8,9)) <@ numrange(1,9);
1330  ?column?
1331 ----------
1332  t
1333 (1 row)
1334
1335 SELECT nummultirange(numrange(1,5), numrange(6,9)) <@ numrange(1,9);
1336  ?column?
1337 ----------
1338  t
1339 (1 row)
1340
1341 SELECT nummultirange(numrange(1,5), numrange(6,10)) <@ numrange(1,9);
1342  ?column?
1343 ----------
1344  f
1345 (1 row)
1346
1347 SELECT '{[1,5)}'::nummultirange <@ '{[1,9)}';
1348  ?column?
1349 ----------
1350  t
1351 (1 row)
1352
1353 SELECT '{[-4,-2), [1,5)}'::nummultirange <@ '{[1,9)}';
1354  ?column?
1355 ----------
1356  f
1357 (1 row)
1358
1359 SELECT '{[1,5), [8,9)}'::nummultirange <@ '{[1,9)}';
1360  ?column?
1361 ----------
1362  t
1363 (1 row)
1364
1365 SELECT '{[1,5), [6,9)}'::nummultirange <@ '{[1,9)}';
1366  ?column?
1367 ----------
1368  t
1369 (1 row)
1370
1371 SELECT '{[1,5), [6,10)}'::nummultirange <@ '{[1,9)}';
1372  ?column?
1373 ----------
1374  f
1375 (1 row)
1376
1377 -- overleft
1378 SELECT 'empty'::numrange &< nummultirange();
1379  ?column?
1380 ----------
1381  f
1382 (1 row)
1383
1384 SELECT 'empty'::numrange &< nummultirange(numrange(1,2));
1385  ?column?
1386 ----------
1387  f
1388 (1 row)
1389
1390 SELECT nummultirange() &< 'empty'::numrange;
1391  ?column?
1392 ----------
1393  f
1394 (1 row)
1395
1396 SELECT nummultirange(numrange(1,2)) &< 'empty'::numrange;
1397  ?column?
1398 ----------
1399  f
1400 (1 row)
1401
1402 SELECT nummultirange() &< nummultirange();
1403  ?column?
1404 ----------
1405  f
1406 (1 row)
1407
1408 SELECT nummultirange(numrange(1,2)) &< nummultirange();
1409  ?column?
1410 ----------
1411  f
1412 (1 row)
1413
1414 SELECT nummultirange() &< nummultirange(numrange(1,2));
1415  ?column?
1416 ----------
1417  f
1418 (1 row)
1419
1420 SELECT numrange(6,7) &< nummultirange(numrange(3,4));
1421  ?column?
1422 ----------
1423  f
1424 (1 row)
1425
1426 SELECT numrange(1,2) &< nummultirange(numrange(3,4));
1427  ?column?
1428 ----------
1429  t
1430 (1 row)
1431
1432 SELECT numrange(1,4) &< nummultirange(numrange(3,4));
1433  ?column?
1434 ----------
1435  t
1436 (1 row)
1437
1438 SELECT numrange(1,6) &< nummultirange(numrange(3,4));
1439  ?column?
1440 ----------
1441  f
1442 (1 row)
1443
1444 SELECT numrange(3.5,6) &< nummultirange(numrange(3,4));
1445  ?column?
1446 ----------
1447  f
1448 (1 row)
1449
1450 SELECT nummultirange(numrange(6,7)) &< numrange(3,4);
1451  ?column?
1452 ----------
1453  f
1454 (1 row)
1455
1456 SELECT nummultirange(numrange(1,2)) &< numrange(3,4);
1457  ?column?
1458 ----------
1459  t
1460 (1 row)
1461
1462 SELECT nummultirange(numrange(1,4)) &< numrange(3,4);
1463  ?column?
1464 ----------
1465  t
1466 (1 row)
1467
1468 SELECT nummultirange(numrange(1,6)) &< numrange(3,4);
1469  ?column?
1470 ----------
1471  f
1472 (1 row)
1473
1474 SELECT nummultirange(numrange(3.5,6)) &< numrange(3,4);
1475  ?column?
1476 ----------
1477  f
1478 (1 row)
1479
1480 SELECT nummultirange(numrange(6,7)) &< nummultirange(numrange(3,4));
1481  ?column?
1482 ----------
1483  f
1484 (1 row)
1485
1486 SELECT nummultirange(numrange(1,2)) &< nummultirange(numrange(3,4));
1487  ?column?
1488 ----------
1489  t
1490 (1 row)
1491
1492 SELECT nummultirange(numrange(1,4)) &< nummultirange(numrange(3,4));
1493  ?column?
1494 ----------
1495  t
1496 (1 row)
1497
1498 SELECT nummultirange(numrange(1,6)) &< nummultirange(numrange(3,4));
1499  ?column?
1500 ----------
1501  f
1502 (1 row)
1503
1504 SELECT nummultirange(numrange(3.5,6)) &< nummultirange(numrange(3,4));
1505  ?column?
1506 ----------
1507  f
1508 (1 row)
1509
1510 -- overright
1511 SELECT nummultirange() &> 'empty'::numrange;
1512  ?column?
1513 ----------
1514  f
1515 (1 row)
1516
1517 SELECT nummultirange(numrange(1,2)) &> 'empty'::numrange;
1518  ?column?
1519 ----------
1520  f
1521 (1 row)
1522
1523 SELECT 'empty'::numrange &> nummultirange();
1524  ?column?
1525 ----------
1526  f
1527 (1 row)
1528
1529 SELECT 'empty'::numrange &> nummultirange(numrange(1,2));
1530  ?column?
1531 ----------
1532  f
1533 (1 row)
1534
1535 SELECT nummultirange() &> nummultirange();
1536  ?column?
1537 ----------
1538  f
1539 (1 row)
1540
1541 SELECT nummultirange() &> nummultirange(numrange(1,2));
1542  ?column?
1543 ----------
1544  f
1545 (1 row)
1546
1547 SELECT nummultirange(numrange(1,2)) &> nummultirange();
1548  ?column?
1549 ----------
1550  f
1551 (1 row)
1552
1553 SELECT nummultirange(numrange(3,4)) &> numrange(6,7);
1554  ?column?
1555 ----------
1556  f
1557 (1 row)
1558
1559 SELECT nummultirange(numrange(3,4)) &> numrange(1,2);
1560  ?column?
1561 ----------
1562  t
1563 (1 row)
1564
1565 SELECT nummultirange(numrange(3,4)) &> numrange(1,4);
1566  ?column?
1567 ----------
1568  t
1569 (1 row)
1570
1571 SELECT nummultirange(numrange(3,4)) &> numrange(1,6);
1572  ?column?
1573 ----------
1574  t
1575 (1 row)
1576
1577 SELECT nummultirange(numrange(3,4)) &> numrange(3.5,6);
1578  ?column?
1579 ----------
1580  f
1581 (1 row)
1582
1583 SELECT numrange(3,4) &> nummultirange(numrange(6,7));
1584  ?column?
1585 ----------
1586  f
1587 (1 row)
1588
1589 SELECT numrange(3,4) &> nummultirange(numrange(1,2));
1590  ?column?
1591 ----------
1592  t
1593 (1 row)
1594
1595 SELECT numrange(3,4) &> nummultirange(numrange(1,4));
1596  ?column?
1597 ----------
1598  t
1599 (1 row)
1600
1601 SELECT numrange(3,4) &> nummultirange(numrange(1,6));
1602  ?column?
1603 ----------
1604  t
1605 (1 row)
1606
1607 SELECT numrange(3,4) &> nummultirange(numrange(3.5,6));
1608  ?column?
1609 ----------
1610  f
1611 (1 row)
1612
1613 SELECT nummultirange(numrange(3,4)) &> nummultirange(numrange(6,7));
1614  ?column?
1615 ----------
1616  f
1617 (1 row)
1618
1619 SELECT nummultirange(numrange(3,4)) &> nummultirange(numrange(1,2));
1620  ?column?
1621 ----------
1622  t
1623 (1 row)
1624
1625 SELECT nummultirange(numrange(3,4)) &> nummultirange(numrange(1,4));
1626  ?column?
1627 ----------
1628  t
1629 (1 row)
1630
1631 SELECT nummultirange(numrange(3,4)) &> nummultirange(numrange(1,6));
1632  ?column?
1633 ----------
1634  t
1635 (1 row)
1636
1637 SELECT nummultirange(numrange(3,4)) &> nummultirange(numrange(3.5,6));
1638  ?column?
1639 ----------
1640  f
1641 (1 row)
1642
1643 -- meets
1644 SELECT 'empty'::numrange -|- nummultirange();
1645  ?column?
1646 ----------
1647  f
1648 (1 row)
1649
1650 SELECT 'empty'::numrange -|- nummultirange(numrange(1,2));
1651  ?column?
1652 ----------
1653  f
1654 (1 row)
1655
1656 SELECT nummultirange() -|- 'empty'::numrange;
1657  ?column?
1658 ----------
1659  f
1660 (1 row)
1661
1662 SELECT nummultirange(numrange(1,2)) -|- 'empty'::numrange;
1663  ?column?
1664 ----------
1665  f
1666 (1 row)
1667
1668 SELECT nummultirange() -|- nummultirange();
1669  ?column?
1670 ----------
1671  f
1672 (1 row)
1673
1674 SELECT nummultirange(numrange(1,2)) -|- nummultirange();
1675  ?column?
1676 ----------
1677  f
1678 (1 row)
1679
1680 SELECT nummultirange() -|- nummultirange(numrange(1,2));
1681  ?column?
1682 ----------
1683  f
1684 (1 row)
1685
1686 SELECT numrange(1,2) -|- nummultirange(numrange(2,4));
1687  ?column?
1688 ----------
1689  t
1690 (1 row)
1691
1692 SELECT numrange(1,2) -|- nummultirange(numrange(3,4));
1693  ?column?
1694 ----------
1695  f
1696 (1 row)
1697
1698 SELECT nummultirange(numrange(1,2)) -|- numrange(2,4);
1699  ?column?
1700 ----------
1701  t
1702 (1 row)
1703
1704 SELECT nummultirange(numrange(1,2)) -|- numrange(3,4);
1705  ?column?
1706 ----------
1707  f
1708 (1 row)
1709
1710 SELECT nummultirange(numrange(1,2)) -|- nummultirange(numrange(2,4));
1711  ?column?
1712 ----------
1713  t
1714 (1 row)
1715
1716 SELECT nummultirange(numrange(1,2)) -|- nummultirange(numrange(3,4));
1717  ?column?
1718 ----------
1719  f
1720 (1 row)
1721
1722 SELECT nummultirange(numrange(1,2), numrange(5,6)) -|- nummultirange(numrange(3,4));
1723  ?column?
1724 ----------
1725  f
1726 (1 row)
1727
1728 SELECT nummultirange(numrange(1,2), numrange(5,6)) -|- nummultirange(numrange(6,7));
1729  ?column?
1730 ----------
1731  t
1732 (1 row)
1733
1734 SELECT nummultirange(numrange(1,2), numrange(5,6)) -|- nummultirange(numrange(8,9));
1735  ?column?
1736 ----------
1737  f
1738 (1 row)
1739
1740 SELECT nummultirange(numrange(1,2)) -|- nummultirange(numrange(2,4), numrange(6,7));
1741  ?column?
1742 ----------
1743  t
1744 (1 row)
1745
1746 -- strictly left
1747 select 'empty'::numrange << nummultirange();
1748  ?column?
1749 ----------
1750  f
1751 (1 row)
1752
1753 select numrange(1,2) << nummultirange();
1754  ?column?
1755 ----------
1756  f
1757 (1 row)
1758
1759 select numrange(1,2) << nummultirange(numrange(3,4));
1760  ?column?
1761 ----------
1762  t
1763 (1 row)
1764
1765 select numrange(1,2) << nummultirange(numrange(0,4));
1766  ?column?
1767 ----------
1768  f
1769 (1 row)
1770
1771 select numrange(1,2) << nummultirange(numrange(0,4), numrange(7,8));
1772  ?column?
1773 ----------
1774  f
1775 (1 row)
1776
1777 select nummultirange() << 'empty'::numrange;
1778  ?column?
1779 ----------
1780  f
1781 (1 row)
1782
1783 select nummultirange() << numrange(1,2);
1784  ?column?
1785 ----------
1786  f
1787 (1 row)
1788
1789 select nummultirange(numrange(3,4)) << numrange(3,6);
1790  ?column?
1791 ----------
1792  f
1793 (1 row)
1794
1795 select nummultirange(numrange(0,2)) << numrange(3,6);
1796  ?column?
1797 ----------
1798  t
1799 (1 row)
1800
1801 select nummultirange(numrange(0,2), numrange(7,8)) << numrange(3,6);
1802  ?column?
1803 ----------
1804  f
1805 (1 row)
1806
1807 select nummultirange(numrange(-4,-2), numrange(0,2)) << numrange(3,6);
1808  ?column?
1809 ----------
1810  t
1811 (1 row)
1812
1813 select nummultirange() << nummultirange();
1814  ?column?
1815 ----------
1816  f
1817 (1 row)
1818
1819 select nummultirange() << nummultirange(numrange(1,2));
1820  ?column?
1821 ----------
1822  f
1823 (1 row)
1824
1825 select nummultirange(numrange(1,2)) << nummultirange();
1826  ?column?
1827 ----------
1828  f
1829 (1 row)
1830
1831 select nummultirange(numrange(1,2)) << nummultirange(numrange(1,2));
1832  ?column?
1833 ----------
1834  f
1835 (1 row)
1836
1837 select nummultirange(numrange(1,2)) << nummultirange(numrange(3,4));
1838  ?column?
1839 ----------
1840  t
1841 (1 row)
1842
1843 select nummultirange(numrange(1,2)) << nummultirange(numrange(3,4), numrange(7,8));
1844  ?column?
1845 ----------
1846  t
1847 (1 row)
1848
1849 select nummultirange(numrange(1,2), numrange(4,5)) << nummultirange(numrange(3,4), numrange(7,8));
1850  ?column?
1851 ----------
1852  f
1853 (1 row)
1854
1855 -- strictly right
1856 select nummultirange() >> 'empty'::numrange;
1857  ?column?
1858 ----------
1859  f
1860 (1 row)
1861
1862 select nummultirange() >> numrange(1,2);
1863  ?column?
1864 ----------
1865  f
1866 (1 row)
1867
1868 select nummultirange(numrange(3,4)) >> numrange(1,2);
1869  ?column?
1870 ----------
1871  t
1872 (1 row)
1873
1874 select nummultirange(numrange(0,4)) >> numrange(1,2);
1875  ?column?
1876 ----------
1877  f
1878 (1 row)
1879
1880 select nummultirange(numrange(0,4), numrange(7,8)) >> numrange(1,2);
1881  ?column?
1882 ----------
1883  f
1884 (1 row)
1885
1886 select 'empty'::numrange >> nummultirange();
1887  ?column?
1888 ----------
1889  f
1890 (1 row)
1891
1892 select numrange(1,2) >> nummultirange();
1893  ?column?
1894 ----------
1895  f
1896 (1 row)
1897
1898 select numrange(3,6) >> nummultirange(numrange(3,4));
1899  ?column?
1900 ----------
1901  f
1902 (1 row)
1903
1904 select numrange(3,6) >> nummultirange(numrange(0,2));
1905  ?column?
1906 ----------
1907  t
1908 (1 row)
1909
1910 select numrange(3,6) >> nummultirange(numrange(0,2), numrange(7,8));
1911  ?column?
1912 ----------
1913  f
1914 (1 row)
1915
1916 select numrange(3,6) >> nummultirange(numrange(-4,-2), numrange(0,2));
1917  ?column?
1918 ----------
1919  t
1920 (1 row)
1921
1922 select nummultirange() >> nummultirange();
1923  ?column?
1924 ----------
1925  f
1926 (1 row)
1927
1928 select nummultirange(numrange(1,2)) >> nummultirange();
1929  ?column?
1930 ----------
1931  f
1932 (1 row)
1933
1934 select nummultirange() >> nummultirange(numrange(1,2));
1935  ?column?
1936 ----------
1937  f
1938 (1 row)
1939
1940 select nummultirange(numrange(1,2)) >> nummultirange(numrange(1,2));
1941  ?column?
1942 ----------
1943  f
1944 (1 row)
1945
1946 select nummultirange(numrange(3,4)) >> nummultirange(numrange(1,2));
1947  ?column?
1948 ----------
1949  t
1950 (1 row)
1951
1952 select nummultirange(numrange(3,4), numrange(7,8)) >> nummultirange(numrange(1,2));
1953  ?column?
1954 ----------
1955  t
1956 (1 row)
1957
1958 select nummultirange(numrange(3,4), numrange(7,8)) >> nummultirange(numrange(1,2), numrange(4,5));
1959  ?column?
1960 ----------
1961  f
1962 (1 row)
1963
1964 -- union
1965 SELECT nummultirange() + nummultirange();
1966  ?column?
1967 ----------
1968  {}
1969 (1 row)
1970
1971 SELECT nummultirange() + nummultirange(numrange(1,2));
1972  ?column?
1973 ----------
1974  {[1,2)}
1975 (1 row)
1976
1977 SELECT nummultirange(numrange(1,2)) + nummultirange();
1978  ?column?
1979 ----------
1980  {[1,2)}
1981 (1 row)
1982
1983 SELECT nummultirange(numrange(1,2)) + nummultirange(numrange(1,2));
1984  ?column?
1985 ----------
1986  {[1,2)}
1987 (1 row)
1988
1989 SELECT nummultirange(numrange(1,2)) + nummultirange(numrange(2,4));
1990  ?column?
1991 ----------
1992  {[1,4)}
1993 (1 row)
1994
1995 SELECT nummultirange(numrange(1,2)) + nummultirange(numrange(3,4));
1996    ?column?
1997 ---------------
1998  {[1,2),[3,4)}
1999 (1 row)
2000
2001 SELECT nummultirange(numrange(1,2), numrange(4,5)) + nummultirange(numrange(2,4));
2002  ?column?
2003 ----------
2004  {[1,5)}
2005 (1 row)
2006
2007 SELECT nummultirange(numrange(1,2), numrange(4,5)) + nummultirange(numrange(3,4));
2008    ?column?
2009 ---------------
2010  {[1,2),[3,5)}
2011 (1 row)
2012
2013 SELECT nummultirange(numrange(1,2), numrange(4,5)) + nummultirange(numrange(0,9));
2014  ?column?
2015 ----------
2016  {[0,9)}
2017 (1 row)
2018
2019 -- merge
2020 SELECT range_merge(nummultirange());
2021  range_merge
2022 -------------
2023  empty
2024 (1 row)
2025
2026 SELECT range_merge(nummultirange(numrange(1,2)));
2027  range_merge
2028 -------------
2029  [1,2)
2030 (1 row)
2031
2032 SELECT range_merge(nummultirange(numrange(1,2), numrange(7,8)));
2033  range_merge
2034 -------------
2035  [1,8)
2036 (1 row)
2037
2038 -- minus
2039 SELECT nummultirange() - nummultirange();
2040  ?column?
2041 ----------
2042  {}
2043 (1 row)
2044
2045 SELECT nummultirange() - nummultirange(numrange(1,2));
2046  ?column?
2047 ----------
2048  {}
2049 (1 row)
2050
2051 SELECT nummultirange(numrange(1,2)) - nummultirange();
2052  ?column?
2053 ----------
2054  {[1,2)}
2055 (1 row)
2056
2057 SELECT nummultirange(numrange(1,2), numrange(3,4)) - nummultirange();
2058    ?column?
2059 ---------------
2060  {[1,2),[3,4)}
2061 (1 row)
2062
2063 SELECT nummultirange(numrange(1,2)) - nummultirange(numrange(1,2));
2064  ?column?
2065 ----------
2066  {}
2067 (1 row)
2068
2069 SELECT nummultirange(numrange(1,2)) - nummultirange(numrange(2,4));
2070  ?column?
2071 ----------
2072  {[1,2)}
2073 (1 row)
2074
2075 SELECT nummultirange(numrange(1,2)) - nummultirange(numrange(3,4));
2076  ?column?
2077 ----------
2078  {[1,2)}
2079 (1 row)
2080
2081 SELECT nummultirange(numrange(1,4)) - nummultirange(numrange(1,2));
2082  ?column?
2083 ----------
2084  {[2,4)}
2085 (1 row)
2086
2087 SELECT nummultirange(numrange(1,4)) - nummultirange(numrange(2,3));
2088    ?column?
2089 ---------------
2090  {[1,2),[3,4)}
2091 (1 row)
2092
2093 SELECT nummultirange(numrange(1,4)) - nummultirange(numrange(0,8));
2094  ?column?
2095 ----------
2096  {}
2097 (1 row)
2098
2099 SELECT nummultirange(numrange(1,4)) - nummultirange(numrange(0,2));
2100  ?column?
2101 ----------
2102  {[2,4)}
2103 (1 row)
2104
2105 SELECT nummultirange(numrange(1,8)) - nummultirange(numrange(0,2), numrange(3,4));
2106    ?column?
2107 ---------------
2108  {[2,3),[4,8)}
2109 (1 row)
2110
2111 SELECT nummultirange(numrange(1,8)) - nummultirange(numrange(2,3), numrange(5,null));
2112    ?column?
2113 ---------------
2114  {[1,2),[3,5)}
2115 (1 row)
2116
2117 SELECT nummultirange(numrange(1,2), numrange(4,5)) - nummultirange(numrange(-2,0));
2118    ?column?
2119 ---------------
2120  {[1,2),[4,5)}
2121 (1 row)
2122
2123 SELECT nummultirange(numrange(1,2), numrange(4,5)) - nummultirange(numrange(2,4));
2124    ?column?
2125 ---------------
2126  {[1,2),[4,5)}
2127 (1 row)
2128
2129 SELECT nummultirange(numrange(1,2), numrange(4,5)) - nummultirange(numrange(3,5));
2130  ?column?
2131 ----------
2132  {[1,2)}
2133 (1 row)
2134
2135 SELECT nummultirange(numrange(1,2), numrange(4,5)) - nummultirange(numrange(0,9));
2136  ?column?
2137 ----------
2138  {}
2139 (1 row)
2140
2141 SELECT nummultirange(numrange(1,3), numrange(4,5)) - nummultirange(numrange(2,9));
2142  ?column?
2143 ----------
2144  {[1,2)}
2145 (1 row)
2146
2147 SELECT nummultirange(numrange(1,2), numrange(4,5)) - nummultirange(numrange(8,9));
2148    ?column?
2149 ---------------
2150  {[1,2),[4,5)}
2151 (1 row)
2152
2153 SELECT nummultirange(numrange(1,2), numrange(4,5)) - nummultirange(numrange(-2,0), numrange(8,9));
2154    ?column?
2155 ---------------
2156  {[1,2),[4,5)}
2157 (1 row)
2158
2159 -- intersection
2160 SELECT nummultirange() * nummultirange();
2161  ?column?
2162 ----------
2163  {}
2164 (1 row)
2165
2166 SELECT nummultirange() * nummultirange(numrange(1,2));
2167  ?column?
2168 ----------
2169  {}
2170 (1 row)
2171
2172 SELECT nummultirange(numrange(1,2)) * nummultirange();
2173  ?column?
2174 ----------
2175  {}
2176 (1 row)
2177
2178 SELECT '{[1,3)}'::nummultirange * '{[1,5)}'::nummultirange;
2179  ?column?
2180 ----------
2181  {[1,3)}
2182 (1 row)
2183
2184 SELECT '{[1,3)}'::nummultirange * '{[0,5)}'::nummultirange;
2185  ?column?
2186 ----------
2187  {[1,3)}
2188 (1 row)
2189
2190 SELECT '{[1,3)}'::nummultirange * '{[0,2)}'::nummultirange;
2191  ?column?
2192 ----------
2193  {[1,2)}
2194 (1 row)
2195
2196 SELECT '{[1,3)}'::nummultirange * '{[2,5)}'::nummultirange;
2197  ?column?
2198 ----------
2199  {[2,3)}
2200 (1 row)
2201
2202 SELECT '{[1,4)}'::nummultirange * '{[2,3)}'::nummultirange;
2203  ?column?
2204 ----------
2205  {[2,3)}
2206 (1 row)
2207
2208 SELECT '{[1,4)}'::nummultirange * '{[0,2), [3,5)}'::nummultirange;
2209    ?column?
2210 ---------------
2211  {[1,2),[3,4)}
2212 (1 row)
2213
2214 SELECT '{[1,4), [7,10)}'::nummultirange * '{[0,8), [9,12)}'::nummultirange;
2215        ?column?
2216 ----------------------
2217  {[1,4),[7,8),[9,10)}
2218 (1 row)
2219
2220 SELECT '{[1,4), [7,10)}'::nummultirange * '{[9,12)}'::nummultirange;
2221  ?column?
2222 ----------
2223  {[9,10)}
2224 (1 row)
2225
2226 SELECT '{[1,4), [7,10)}'::nummultirange * '{[-5,-4), [5,6), [9,12)}'::nummultirange;
2227  ?column?
2228 ----------
2229  {[9,10)}
2230 (1 row)
2231
2232 SELECT '{[1,4), [7,10)}'::nummultirange * '{[0,2), [3,8), [9,12)}'::nummultirange;
2233           ?column?
2234 ----------------------------
2235  {[1,2),[3,4),[7,8),[9,10)}
2236 (1 row)
2237
2238 SELECT '{[1,4), [7,10)}'::nummultirange * '{[0,2), [3,8), [9,12)}'::nummultirange;
2239           ?column?
2240 ----------------------------
2241  {[1,2),[3,4),[7,8),[9,10)}
2242 (1 row)
2243
2244 -- test GiST index
2245 create table test_multirange_gist(mr int4multirange);
2246 insert into test_multirange_gist select int4multirange(int4range(g, g+10),int4range(g+20, g+30),int4range(g+40, g+50)) from generate_series(1,2000) g;
2247 insert into test_multirange_gist select '{}'::int4multirange from generate_series(1,500) g;
2248 insert into test_multirange_gist select int4multirange(int4range(g, g+10000)) from generate_series(1,1000) g;
2249 insert into test_multirange_gist select int4multirange(int4range(NULL, g*10, '(]'), int4range(g*10, g*20, '(]')) from generate_series(1,100) g;
2250 insert into test_multirange_gist select int4multirange(int4range(g*10, g*20, '(]'), int4range(g*20, NULL, '(]')) from generate_series(1,100) g;
2251 create index test_mulrirange_gist_idx on test_multirange_gist using gist (mr);
2252 -- test statistics and selectivity estimation as well
2253 --
2254 -- We don't check the accuracy of selectivity estimation, but at least check
2255 -- it doesn't fall.
2256 analyze test_multirange_gist;
2257 -- first, verify non-indexed results
2258 SET enable_seqscan    = t;
2259 SET enable_indexscan  = f;
2260 SET enable_bitmapscan = f;
2261 select count(*) from test_multirange_gist where mr = '{}'::int4multirange;
2262  count
2263 -------
2264    500
2265 (1 row)
2266
2267 select count(*) from test_multirange_gist where mr @> 'empty'::int4range;
2268  count
2269 -------
2270   3700
2271 (1 row)
2272
2273 select count(*) from test_multirange_gist where mr && 'empty'::int4range;
2274  count
2275 -------
2276      0
2277 (1 row)
2278
2279 select count(*) from test_multirange_gist where mr <@ 'empty'::int4range;
2280  count
2281 -------
2282    500
2283 (1 row)
2284
2285 select count(*) from test_multirange_gist where mr << 'empty'::int4range;
2286  count
2287 -------
2288      0
2289 (1 row)
2290
2291 select count(*) from test_multirange_gist where mr >> 'empty'::int4range;
2292  count
2293 -------
2294      0
2295 (1 row)
2296
2297 select count(*) from test_multirange_gist where mr &< 'empty'::int4range;
2298  count
2299 -------
2300      0
2301 (1 row)
2302
2303 select count(*) from test_multirange_gist where mr &> 'empty'::int4range;
2304  count
2305 -------
2306      0
2307 (1 row)
2308
2309 select count(*) from test_multirange_gist where mr -|- 'empty'::int4range;
2310  count
2311 -------
2312      0
2313 (1 row)
2314
2315 select count(*) from test_multirange_gist where mr @> '{}'::int4multirange;
2316  count
2317 -------
2318   3700
2319 (1 row)
2320
2321 select count(*) from test_multirange_gist where mr @> '{}'::int4multirange;
2322  count
2323 -------
2324   3700
2325 (1 row)
2326
2327 select count(*) from test_multirange_gist where mr && '{}'::int4multirange;
2328  count
2329 -------
2330      0
2331 (1 row)
2332
2333 select count(*) from test_multirange_gist where mr <@ '{}'::int4multirange;
2334  count
2335 -------
2336    500
2337 (1 row)
2338
2339 select count(*) from test_multirange_gist where mr << '{}'::int4multirange;
2340  count
2341 -------
2342      0
2343 (1 row)
2344
2345 select count(*) from test_multirange_gist where mr >> '{}'::int4multirange;
2346  count
2347 -------
2348      0
2349 (1 row)
2350
2351 select count(*) from test_multirange_gist where mr &< '{}'::int4multirange;
2352  count
2353 -------
2354      0
2355 (1 row)
2356
2357 select count(*) from test_multirange_gist where mr &> '{}'::int4multirange;
2358  count
2359 -------
2360      0
2361 (1 row)
2362
2363 select count(*) from test_multirange_gist where mr -|- '{}'::int4multirange;
2364  count
2365 -------
2366      0
2367 (1 row)
2368
2369 select count(*) from test_multirange_gist where mr = int4multirange(int4range(10,20), int4range(30,40), int4range(50,60));
2370  count
2371 -------
2372      1
2373 (1 row)
2374
2375 select count(*) from test_multirange_gist where mr @> 10;
2376  count
2377 -------
2378    120
2379 (1 row)
2380
2381 select count(*) from test_multirange_gist where mr @> int4range(10,20);
2382  count
2383 -------
2384    111
2385 (1 row)
2386
2387 select count(*) from test_multirange_gist where mr && int4range(10,20);
2388  count
2389 -------
2390    139
2391 (1 row)
2392
2393 select count(*) from test_multirange_gist where mr <@ int4range(10,50);
2394  count
2395 -------
2396    500
2397 (1 row)
2398
2399 select count(*) from test_multirange_gist where mr << int4range(100,500);
2400  count
2401 -------
2402     54
2403 (1 row)
2404
2405 select count(*) from test_multirange_gist where mr >> int4range(100,500);
2406  count
2407 -------
2408   2053
2409 (1 row)
2410
2411 select count(*) from test_multirange_gist where mr &< int4range(100,500);
2412  count
2413 -------
2414    474
2415 (1 row)
2416
2417 select count(*) from test_multirange_gist where mr &> int4range(100,500);
2418  count
2419 -------
2420   2893
2421 (1 row)
2422
2423 select count(*) from test_multirange_gist where mr -|- int4range(100,500);
2424  count
2425 -------
2426      3
2427 (1 row)
2428
2429 select count(*) from test_multirange_gist where mr @> '{}'::int4multirange;
2430  count
2431 -------
2432   3700
2433 (1 row)
2434
2435 select count(*) from test_multirange_gist where mr @> int4multirange(int4range(10,20), int4range(30,40));
2436  count
2437 -------
2438    110
2439 (1 row)
2440
2441 select count(*) from test_multirange_gist where mr && '{(10,20),(30,40),(50,60)}'::int4multirange;
2442  count
2443 -------
2444    218
2445 (1 row)
2446
2447 select count(*) from test_multirange_gist where mr <@ '{(10,30),(40,60),(70,90)}'::int4multirange;
2448  count
2449 -------
2450    500
2451 (1 row)
2452
2453 select count(*) from test_multirange_gist where mr << int4multirange(int4range(100,200), int4range(400,500));
2454  count
2455 -------
2456     54
2457 (1 row)
2458
2459 select count(*) from test_multirange_gist where mr >> int4multirange(int4range(100,200), int4range(400,500));
2460  count
2461 -------
2462   2053
2463 (1 row)
2464
2465 select count(*) from test_multirange_gist where mr &< int4multirange(int4range(100,200), int4range(400,500));
2466  count
2467 -------
2468    474
2469 (1 row)
2470
2471 select count(*) from test_multirange_gist where mr &> int4multirange(int4range(100,200), int4range(400,500));
2472  count
2473 -------
2474   2893
2475 (1 row)
2476
2477 select count(*) from test_multirange_gist where mr -|- int4multirange(int4range(100,200), int4range(400,500));
2478  count
2479 -------
2480      3
2481 (1 row)
2482
2483 -- now check same queries using index
2484 SET enable_seqscan    = f;
2485 SET enable_indexscan  = t;
2486 SET enable_bitmapscan = f;
2487 select count(*) from test_multirange_gist where mr = '{}'::int4multirange;
2488  count
2489 -------
2490    500
2491 (1 row)
2492
2493 select count(*) from test_multirange_gist where mr @> 'empty'::int4range;
2494  count
2495 -------
2496   3700
2497 (1 row)
2498
2499 select count(*) from test_multirange_gist where mr && 'empty'::int4range;
2500  count
2501 -------
2502      0
2503 (1 row)
2504
2505 select count(*) from test_multirange_gist where mr <@ 'empty'::int4range;
2506  count
2507 -------
2508    500
2509 (1 row)
2510
2511 select count(*) from test_multirange_gist where mr << 'empty'::int4range;
2512  count
2513 -------
2514      0
2515 (1 row)
2516
2517 select count(*) from test_multirange_gist where mr >> 'empty'::int4range;
2518  count
2519 -------
2520      0
2521 (1 row)
2522
2523 select count(*) from test_multirange_gist where mr &< 'empty'::int4range;
2524  count
2525 -------
2526      0
2527 (1 row)
2528
2529 select count(*) from test_multirange_gist where mr &> 'empty'::int4range;
2530  count
2531 -------
2532      0
2533 (1 row)
2534
2535 select count(*) from test_multirange_gist where mr -|- 'empty'::int4range;
2536  count
2537 -------
2538      0
2539 (1 row)
2540
2541 select count(*) from test_multirange_gist where mr @> '{}'::int4multirange;
2542  count
2543 -------
2544   3700
2545 (1 row)
2546
2547 select count(*) from test_multirange_gist where mr @> '{}'::int4multirange;
2548  count
2549 -------
2550   3700
2551 (1 row)
2552
2553 select count(*) from test_multirange_gist where mr && '{}'::int4multirange;
2554  count
2555 -------
2556      0
2557 (1 row)
2558
2559 select count(*) from test_multirange_gist where mr <@ '{}'::int4multirange;
2560  count
2561 -------
2562    500
2563 (1 row)
2564
2565 select count(*) from test_multirange_gist where mr << '{}'::int4multirange;
2566  count
2567 -------
2568      0
2569 (1 row)
2570
2571 select count(*) from test_multirange_gist where mr >> '{}'::int4multirange;
2572  count
2573 -------
2574      0
2575 (1 row)
2576
2577 select count(*) from test_multirange_gist where mr &< '{}'::int4multirange;
2578  count
2579 -------
2580      0
2581 (1 row)
2582
2583 select count(*) from test_multirange_gist where mr &> '{}'::int4multirange;
2584  count
2585 -------
2586      0
2587 (1 row)
2588
2589 select count(*) from test_multirange_gist where mr -|- '{}'::int4multirange;
2590  count
2591 -------
2592      0
2593 (1 row)
2594
2595 select count(*) from test_multirange_gist where mr @> 'empty'::int4range;
2596  count
2597 -------
2598   3700
2599 (1 row)
2600
2601 select count(*) from test_multirange_gist where mr = int4multirange(int4range(10,20), int4range(30,40), int4range(50,60));
2602  count
2603 -------
2604      1
2605 (1 row)
2606
2607 select count(*) from test_multirange_gist where mr @> 10;
2608  count
2609 -------
2610    120
2611 (1 row)
2612
2613 select count(*) from test_multirange_gist where mr @> int4range(10,20);
2614  count
2615 -------
2616    111
2617 (1 row)
2618
2619 select count(*) from test_multirange_gist where mr && int4range(10,20);
2620  count
2621 -------
2622    139
2623 (1 row)
2624
2625 select count(*) from test_multirange_gist where mr <@ int4range(10,50);
2626  count
2627 -------
2628    500
2629 (1 row)
2630
2631 select count(*) from test_multirange_gist where mr << int4range(100,500);
2632  count
2633 -------
2634     54
2635 (1 row)
2636
2637 select count(*) from test_multirange_gist where mr >> int4range(100,500);
2638  count
2639 -------
2640   2053
2641 (1 row)
2642
2643 select count(*) from test_multirange_gist where mr &< int4range(100,500);
2644  count
2645 -------
2646    474
2647 (1 row)
2648
2649 select count(*) from test_multirange_gist where mr &> int4range(100,500);
2650  count
2651 -------
2652   2893
2653 (1 row)
2654
2655 select count(*) from test_multirange_gist where mr -|- int4range(100,500);
2656  count
2657 -------
2658      3
2659 (1 row)
2660
2661 select count(*) from test_multirange_gist where mr @> '{}'::int4multirange;
2662  count
2663 -------
2664   3700
2665 (1 row)
2666
2667 select count(*) from test_multirange_gist where mr @> int4multirange(int4range(10,20), int4range(30,40));
2668  count
2669 -------
2670    110
2671 (1 row)
2672
2673 select count(*) from test_multirange_gist where mr && '{(10,20),(30,40),(50,60)}'::int4multirange;
2674  count
2675 -------
2676    218
2677 (1 row)
2678
2679 select count(*) from test_multirange_gist where mr <@ '{(10,30),(40,60),(70,90)}'::int4multirange;
2680  count
2681 -------
2682    500
2683 (1 row)
2684
2685 select count(*) from test_multirange_gist where mr << int4multirange(int4range(100,200), int4range(400,500));
2686  count
2687 -------
2688     54
2689 (1 row)
2690
2691 select count(*) from test_multirange_gist where mr >> int4multirange(int4range(100,200), int4range(400,500));
2692  count
2693 -------
2694   2053
2695 (1 row)
2696
2697 select count(*) from test_multirange_gist where mr &< int4multirange(int4range(100,200), int4range(400,500));
2698  count
2699 -------
2700    474
2701 (1 row)
2702
2703 select count(*) from test_multirange_gist where mr &> int4multirange(int4range(100,200), int4range(400,500));
2704  count
2705 -------
2706   2893
2707 (1 row)
2708
2709 select count(*) from test_multirange_gist where mr -|- int4multirange(int4range(100,200), int4range(400,500));
2710  count
2711 -------
2712      3
2713 (1 row)
2714
2715 drop table test_multirange_gist;
2716 --
2717 -- range_agg function
2718 --
2719 create table reservations ( room_id integer not null, booked_during daterange );
2720 insert into reservations values
2721 -- 1: has a meets and a gap
2722 (1, daterange('2018-07-01', '2018-07-07')),
2723 (1, daterange('2018-07-07', '2018-07-14')),
2724 (1, daterange('2018-07-20', '2018-07-22')),
2725 -- 2: just a single row
2726 (2, daterange('2018-07-01', '2018-07-03')),
2727 -- 3: one null range
2728 (3, NULL),
2729 -- 4: two null ranges
2730 (4, NULL),
2731 (4, NULL),
2732 -- 5: a null range and a non-null range
2733 (5, NULL),
2734 (5, daterange('2018-07-01', '2018-07-03')),
2735 -- 6: has overlap
2736 (6, daterange('2018-07-01', '2018-07-07')),
2737 (6, daterange('2018-07-05', '2018-07-10')),
2738 -- 7: two ranges that meet: no gap or overlap
2739 (7, daterange('2018-07-01', '2018-07-07')),
2740 (7, daterange('2018-07-07', '2018-07-14')),
2741 -- 8: an empty range
2742 (8, 'empty'::daterange)
2743 ;
2744 SELECT   room_id, range_agg(booked_during)
2745 FROM     reservations
2746 GROUP BY room_id
2747 ORDER BY room_id;
2748  room_id |                     range_agg
2749 ---------+---------------------------------------------------
2750        1 | {[07-01-2018,07-14-2018),[07-20-2018,07-22-2018)}
2751        2 | {[07-01-2018,07-03-2018)}
2752        3 |
2753        4 |
2754        5 | {[07-01-2018,07-03-2018)}
2755        6 | {[07-01-2018,07-10-2018)}
2756        7 | {[07-01-2018,07-14-2018)}
2757        8 | {}
2758 (8 rows)
2759
2760 -- range_agg on a custom range type too
2761 SELECT  range_agg(r)
2762 FROM    (VALUES
2763           ('[a,c]'::textrange),
2764           ('[b,b]'::textrange),
2765           ('[c,f]'::textrange),
2766           ('[g,h)'::textrange),
2767           ('[h,j)'::textrange)
2768         ) t(r);
2769    range_agg
2770 ---------------
2771  {[a,f],[g,j)}
2772 (1 row)
2773
2774 select range_intersect_agg(nmr) from nummultirange_test;
2775  range_intersect_agg
2776 ---------------------
2777  {}
2778 (1 row)
2779
2780 select range_intersect_agg(nmr) from nummultirange_test where false;
2781  range_intersect_agg
2782 ---------------------
2783
2784 (1 row)
2785
2786 -- test with just one input:
2787 select range_intersect_agg(nmr) from (values ('{[1,2]}'::nummultirange)) t(nmr);
2788  range_intersect_agg
2789 ---------------------
2790  {[1,2]}
2791 (1 row)
2792
2793 select range_intersect_agg(nmr) from nummultirange_test where nmr @> 4.0;
2794  range_intersect_agg
2795 ---------------------
2796  {[3,5)}
2797 (1 row)
2798
2799 create table nummultirange_test2(nmr nummultirange);
2800 create index nummultirange_test2_hash_idx on nummultirange_test2 using hash (nmr);
2801 INSERT INTO nummultirange_test2 VALUES('{[, 5)}');
2802 INSERT INTO nummultirange_test2 VALUES(nummultirange(numrange(1.1, 2.2)));
2803 INSERT INTO nummultirange_test2 VALUES(nummultirange(numrange(1.1, 2.2)));
2804 INSERT INTO nummultirange_test2 VALUES(nummultirange(numrange(1.1, 2.2,'()')));
2805 INSERT INTO nummultirange_test2 VALUES('{}');
2806 select * from nummultirange_test2 where nmr = '{}';
2807  nmr
2808 -----
2809  {}
2810 (1 row)
2811
2812 select * from nummultirange_test2 where nmr = nummultirange(numrange(1.1, 2.2));
2813      nmr
2814 -------------
2815  {[1.1,2.2)}
2816  {[1.1,2.2)}
2817 (2 rows)
2818
2819 select * from nummultirange_test2 where nmr = nummultirange(numrange(1.1, 2.3));
2820  nmr
2821 -----
2822 (0 rows)
2823
2824 set enable_nestloop=t;
2825 set enable_hashjoin=f;
2826 set enable_mergejoin=f;
2827 select * from nummultirange_test natural join nummultirange_test2 order by nmr;
2828      nmr
2829 -------------
2830  {}
2831  {}
2832  {}
2833  {}
2834  {(,5)}
2835  {[1.1,2.2)}
2836  {[1.1,2.2)}
2837 (7 rows)
2838
2839 set enable_nestloop=f;
2840 set enable_hashjoin=t;
2841 set enable_mergejoin=f;
2842 select * from nummultirange_test natural join nummultirange_test2 order by nmr;
2843      nmr
2844 -------------
2845  {}
2846  {}
2847  {}
2848  {}
2849  {(,5)}
2850  {[1.1,2.2)}
2851  {[1.1,2.2)}
2852 (7 rows)
2853
2854 set enable_nestloop=f;
2855 set enable_hashjoin=f;
2856 set enable_mergejoin=t;
2857 select * from nummultirange_test natural join nummultirange_test2 order by nmr;
2858      nmr
2859 -------------
2860  {}
2861  {}
2862  {}
2863  {}
2864  {(,5)}
2865  {[1.1,2.2)}
2866  {[1.1,2.2)}
2867 (7 rows)
2868
2869 set enable_nestloop to default;
2870 set enable_hashjoin to default;
2871 set enable_mergejoin to default;
2872 DROP TABLE nummultirange_test2;
2873 --
2874 -- Test user-defined multirange of floats
2875 --
2876 select '{[123.001, 5.e9)}'::float8multirange @> 888.882::float8;
2877  ?column?
2878 ----------
2879  t
2880 (1 row)
2881
2882 create table float8multirange_test(f8mr float8multirange, i int);
2883 insert into float8multirange_test values(float8multirange(float8range(-100.00007, '1.111113e9')), 42);
2884 select * from float8multirange_test;
2885            f8mr            | i
2886 ---------------------------+----
2887  {[-100.00007,1111113000)} | 42
2888 (1 row)
2889
2890 drop table float8multirange_test;
2891 --
2892 -- Test multirange types over domains
2893 --
2894 create domain mydomain as int4;
2895 create type mydomainrange as range(subtype=mydomain);
2896 select '{[4,50)}'::mydomainmultirange @> 7::mydomain;
2897  ?column?
2898 ----------
2899  t
2900 (1 row)
2901
2902 drop domain mydomain cascade;
2903 NOTICE:  drop cascades to type mydomainrange
2904 --
2905 -- Test domains over multirange types
2906 --
2907 create domain restrictedmultirange as int4multirange check (upper(value) < 10);
2908 select '{[4,5)}'::restrictedmultirange @> 7;
2909  ?column?
2910 ----------
2911  f
2912 (1 row)
2913
2914 select '{[4,50)}'::restrictedmultirange @> 7; -- should fail
2915 ERROR:  value for domain restrictedmultirange violates check constraint "restrictedmultirange_check"
2916 drop domain restrictedmultirange;
2917 ---
2918 -- Check automatic naming of multiranges
2919 ---
2920 create type intr as range(subtype=int);
2921 select intr_multirange(intr(1,10));
2922  intr_multirange
2923 -----------------
2924  {[1,10)}
2925 (1 row)
2926
2927 drop type intr;
2928 create type intmultirange as (x int, y int);
2929 create type intrange as range(subtype=int); -- should fail
2930 ERROR:  type "intmultirange" already exists
2931 DETAIL:  Failed while creating a multirange type for type "intrange".
2932 HINT:  You can manually specify a multirange type name using the "multirange_type_name" attribute.
2933 drop type intmultirange;
2934 create type intr_multirange as (x int, y int);
2935 create type intr as range(subtype=int); -- should fail
2936 ERROR:  type "intr_multirange" already exists
2937 DETAIL:  Failed while creating a multirange type for type "intr".
2938 HINT:  You can manually specify a multirange type name using the "multirange_type_name" attribute.
2939 drop type intr_multirange;
2940 --
2941 -- Test multiple multirange types over the same subtype and manual naming of
2942 -- the multirange type.
2943 --
2944 -- should fail
2945 create type textrange1 as range(subtype=text, multirange_type_name=int, collation="C");
2946 ERROR:  type "int4" already exists
2947 -- should pass
2948 create type textrange1 as range(subtype=text, multirange_type_name=multirange_of_text, collation="C");
2949 -- should pass, because existing _textrange1 is automatically renamed
2950 create type textrange2 as range(subtype=text, multirange_type_name=_textrange1, collation="C");
2951 select multirange_of_text(textrange2('a','Z'));  -- should fail
2952 ERROR:  function multirange_of_text(textrange2) does not exist
2953 LINE 1: select multirange_of_text(textrange2('a','Z'));
2954                ^
2955 HINT:  No function matches the given name and argument types. You might need to add explicit type casts.
2956 select multirange_of_text(textrange1('a','Z')) @> 'b'::text;
2957 ERROR:  range lower bound must be less than or equal to range upper bound
2958 select unnest(multirange_of_text(textrange1('a','b'), textrange1('d','e')));
2959  unnest
2960 --------
2961  [a,b)
2962  [d,e)
2963 (2 rows)
2964
2965 select _textrange1(textrange2('a','z')) @> 'b'::text;
2966  ?column?
2967 ----------
2968  t
2969 (1 row)
2970
2971 drop type textrange1;
2972 drop type textrange2;
2973 --
2974 -- Test polymorphic type system
2975 --
2976 create function anyarray_anymultirange_func(a anyarray, r anymultirange)
2977   returns anyelement as 'select $1[1] + lower($2);' language sql;
2978 select anyarray_anymultirange_func(ARRAY[1,2], int4multirange(int4range(10,20)));
2979  anyarray_anymultirange_func
2980 -----------------------------
2981                           11
2982 (1 row)
2983
2984 -- should fail
2985 select anyarray_anymultirange_func(ARRAY[1,2], nummultirange(numrange(10,20)));
2986 ERROR:  function anyarray_anymultirange_func(integer[], nummultirange) does not exist
2987 LINE 1: select anyarray_anymultirange_func(ARRAY[1,2], nummultirange...
2988                ^
2989 HINT:  No function matches the given name and argument types. You might need to add explicit type casts.
2990 drop function anyarray_anymultirange_func(anyarray, anymultirange);
2991 -- should fail
2992 create function bogus_func(anyelement)
2993   returns anymultirange as 'select int4multirange(int4range(1,10))' language sql;
2994 ERROR:  cannot determine result data type
2995 DETAIL:  A result of type anymultirange requires at least one input of type anyrange or anymultirange.
2996 -- should fail
2997 create function bogus_func(int)
2998   returns anymultirange as 'select int4multirange(int4range(1,10))' language sql;
2999 ERROR:  cannot determine result data type
3000 DETAIL:  A result of type anymultirange requires at least one input of type anyrange or anymultirange.
3001 create function range_add_bounds(anymultirange)
3002   returns anyelement as 'select lower($1) + upper($1)' language sql;
3003 select range_add_bounds(int4multirange(int4range(1, 17)));
3004  range_add_bounds
3005 ------------------
3006                18
3007 (1 row)
3008
3009 select range_add_bounds(nummultirange(numrange(1.0001, 123.123)));
3010  range_add_bounds
3011 ------------------
3012          124.1231
3013 (1 row)
3014
3015 create function multirangetypes_sql(q anymultirange, b anyarray, out c anyelement)
3016   as $$ select upper($1) + $2[1] $$
3017   language sql;
3018 select multirangetypes_sql(int4multirange(int4range(1,10)), ARRAY[2,20]);
3019  multirangetypes_sql
3020 ---------------------
3021                   12
3022 (1 row)
3023
3024 select multirangetypes_sql(nummultirange(numrange(1,10)), ARRAY[2,20]);  -- match failure
3025 ERROR:  function multirangetypes_sql(nummultirange, integer[]) does not exist
3026 LINE 1: select multirangetypes_sql(nummultirange(numrange(1,10)), AR...
3027                ^
3028 HINT:  No function matches the given name and argument types. You might need to add explicit type casts.
3029 create function anycompatiblearray_anycompatiblemultirange_func(a anycompatiblearray, mr anycompatiblemultirange)
3030   returns anycompatible as 'select $1[1] + lower($2);' language sql;
3031 select anycompatiblearray_anycompatiblemultirange_func(ARRAY[1,2], multirange(int4range(10,20)));
3032  anycompatiblearray_anycompatiblemultirange_func
3033 -------------------------------------------------
3034                                               11
3035 (1 row)
3036
3037 select anycompatiblearray_anycompatiblemultirange_func(ARRAY[1,2], multirange(numrange(10,20)));
3038  anycompatiblearray_anycompatiblemultirange_func
3039 -------------------------------------------------
3040                                               11
3041 (1 row)
3042
3043 -- should fail
3044 select anycompatiblearray_anycompatiblemultirange_func(ARRAY[1.1,2], multirange(int4range(10,20)));
3045 ERROR:  function anycompatiblearray_anycompatiblemultirange_func(numeric[], int4multirange) does not exist
3046 LINE 1: select anycompatiblearray_anycompatiblemultirange_func(ARRAY...
3047                ^
3048 HINT:  No function matches the given name and argument types. You might need to add explicit type casts.
3049 drop function anycompatiblearray_anycompatiblemultirange_func(anycompatiblearray, anycompatiblemultirange);
3050 create function anycompatiblerange_anycompatiblemultirange_func(r anycompatiblerange, mr anycompatiblemultirange)
3051   returns anycompatible as 'select lower($1) + lower($2);' language sql;
3052 select anycompatiblerange_anycompatiblemultirange_func(int4range(1,2), multirange(int4range(10,20)));
3053  anycompatiblerange_anycompatiblemultirange_func
3054 -------------------------------------------------
3055                                               11
3056 (1 row)
3057
3058 -- should fail
3059 select anycompatiblerange_anycompatiblemultirange_func(numrange(1,2), multirange(int4range(10,20)));
3060 ERROR:  function anycompatiblerange_anycompatiblemultirange_func(numrange, int4multirange) does not exist
3061 LINE 1: select anycompatiblerange_anycompatiblemultirange_func(numra...
3062                ^
3063 HINT:  No function matches the given name and argument types. You might need to add explicit type casts.
3064 drop function anycompatiblerange_anycompatiblemultirange_func(anycompatiblerange, anycompatiblemultirange);
3065 -- should fail
3066 create function bogus_func(anycompatible)
3067   returns anycompatiblerange as 'select int4range(1,10)' language sql;
3068 ERROR:  cannot determine result data type
3069 DETAIL:  A result of type anycompatiblerange requires at least one input of type anycompatiblerange or anycompatiblemultirange.
3070 --
3071 -- Arrays of multiranges
3072 --
3073 select ARRAY[nummultirange(numrange(1.1, 1.2)), nummultirange(numrange(12.3, 155.5))];
3074               array
3075 ----------------------------------
3076  {"{[1.1,1.2)}","{[12.3,155.5)}"}
3077 (1 row)
3078
3079 create table i8mr_array (f1 int, f2 int8multirange[]);
3080 insert into i8mr_array values (42, array[int8multirange(int8range(1,10)), int8multirange(int8range(2,20))]);
3081 select * from i8mr_array;
3082  f1 |           f2
3083 ----+-------------------------
3084  42 | {"{[1,10)}","{[2,20)}"}
3085 (1 row)
3086
3087 drop table i8mr_array;
3088 --
3089 -- Multiranges of arrays
3090 --
3091 select arraymultirange(arrayrange(ARRAY[1,2], ARRAY[2,1]));
3092    arraymultirange
3093 ---------------------
3094  {["{1,2}","{2,1}")}
3095 (1 row)
3096
3097 select arraymultirange(arrayrange(ARRAY[2,1], ARRAY[1,2]));  -- fail
3098 ERROR:  range lower bound must be less than or equal to range upper bound
3099 select array[1,1] <@ arraymultirange(arrayrange(array[1,2], array[2,1]));
3100  ?column?
3101 ----------
3102  f
3103 (1 row)
3104
3105 select array[1,3] <@ arraymultirange(arrayrange(array[1,2], array[2,1]));
3106  ?column?
3107 ----------
3108  t
3109 (1 row)
3110
3111 --
3112 -- Ranges of composites
3113 --
3114 create type two_ints as (a int, b int);
3115 create type two_ints_range as range (subtype = two_ints);
3116 -- with force_parallel_mode on, this exercises tqueue.c's range remapping
3117 select *, row_to_json(upper(t)) as u from
3118   (values (two_ints_multirange(two_ints_range(row(1,2), row(3,4)))),
3119           (two_ints_multirange(two_ints_range(row(5,6), row(7,8))))) v(t);
3120           t          |       u
3121 ---------------------+---------------
3122  {["(1,2)","(3,4)")} | {"a":3,"b":4}
3123  {["(5,6)","(7,8)")} | {"a":7,"b":8}
3124 (2 rows)
3125
3126 drop type two_ints cascade;
3127 NOTICE:  drop cascades to type two_ints_range
3128 --
3129 -- Check behavior when subtype lacks a hash function
3130 --
3131 set enable_sort = off;  -- try to make it pick a hash setop implementation
3132 select '{(2,5)}'::cashmultirange except select '{(5,6)}'::cashmultirange;
3133  cashmultirange
3134 -----------------
3135  {($2.00,$5.00)}
3136 (1 row)
3137
3138 reset enable_sort;
3139 --
3140 -- OUT/INOUT/TABLE functions
3141 --
3142 -- infer anymultirange from anymultirange
3143 create function mr_outparam_succeed(i anymultirange, out r anymultirange, out t text)
3144   as $$ select $1, 'foo'::text $$ language sql;
3145 select * from mr_outparam_succeed(int4multirange(int4range(1,2)));
3146     r    |  t
3147 ---------+-----
3148  {[1,2)} | foo
3149 (1 row)
3150
3151 -- infer anyarray from anymultirange
3152 create function mr_outparam_succeed2(i anymultirange, out r anyarray, out t text)
3153   as $$ select ARRAY[upper($1)], 'foo'::text $$ language sql;
3154 select * from mr_outparam_succeed2(int4multirange(int4range(1,2)));
3155   r  |  t
3156 -----+-----
3157  {2} | foo
3158 (1 row)
3159
3160 -- infer anyrange from anymultirange
3161 create function mr_outparam_succeed3(i anymultirange, out r anyrange, out t text)
3162   as $$ select range_merge($1), 'foo'::text $$ language sql;
3163 select * from mr_outparam_succeed3(int4multirange(int4range(1,2)));
3164    r   |  t
3165 -------+-----
3166  [1,2) | foo
3167 (1 row)
3168
3169 -- infer anymultirange from anyrange
3170 create function mr_outparam_succeed4(i anyrange, out r anymultirange, out t text)
3171   as $$ select multirange($1), 'foo'::text $$ language sql;
3172 select * from mr_outparam_succeed4(int4range(1,2));
3173     r    |  t
3174 ---------+-----
3175  {[1,2)} | foo
3176 (1 row)
3177
3178 -- infer anyelement from anymultirange
3179 create function mr_inoutparam_succeed(out i anyelement, inout r anymultirange)
3180   as $$ select upper($1), $1 $$ language sql;
3181 select * from mr_inoutparam_succeed(int4multirange(int4range(1,2)));
3182  i |    r
3183 ---+---------
3184  2 | {[1,2)}
3185 (1 row)
3186
3187 -- infer anyelement+anymultirange from anyelement+anymultirange
3188 create function mr_table_succeed(i anyelement, r anymultirange) returns table(i anyelement, r anymultirange)
3189   as $$ select $1, $2 $$ language sql;
3190 select * from mr_table_succeed(123, int4multirange(int4range(1,11)));
3191   i  |    r
3192 -----+----------
3193  123 | {[1,11)}
3194 (1 row)
3195
3196 -- use anymultirange in plpgsql
3197 create function mr_polymorphic(i anyrange) returns anymultirange
3198   as $$ begin return multirange($1); end; $$ language plpgsql;
3199 select mr_polymorphic(int4range(1, 4));
3200  mr_polymorphic
3201 ----------------
3202  {[1,4)}
3203 (1 row)
3204
3205 -- should fail
3206 create function mr_outparam_fail(i anyelement, out r anymultirange, out t text)
3207   as $$ select '[1,10]', 'foo' $$ language sql;
3208 ERROR:  cannot determine result data type
3209 DETAIL:  A result of type anymultirange requires at least one input of type anyrange or anymultirange.
3210 --should fail
3211 create function mr_inoutparam_fail(inout i anyelement, out r anymultirange)
3212   as $$ select $1, '[1,10]' $$ language sql;
3213 ERROR:  cannot determine result data type
3214 DETAIL:  A result of type anymultirange requires at least one input of type anyrange or anymultirange.
3215 --should fail
3216 create function mr_table_fail(i anyelement) returns table(i anyelement, r anymultirange)
3217   as $$ select $1, '[1,10]' $$ language sql;
3218 ERROR:  cannot determine result data type
3219 DETAIL:  A result of type anymultirange requires at least one input of type anyrange or anymultirange.