Example: ORDER BY pushdown v5

-- load extension first time after install
CREATE EXTENSION mongo_fdw;

-- create server object
CREATE SERVER mongo_server FOREIGN DATA WRAPPER mongo_fdw OPTIONS (address 'localhost', port '27017');

-- create user mapping
CREATE USER MAPPING FOR public SERVER mongo_server OPTIONS (username 'edb', password 'edb');

-- create foreign table
CREATE FOREIGN TABLE emp (_id NAME, eid INTEGER, ename TEXT, deptid INTEGER) SERVER mongo_server OPTIONS (database 'edb', collection 'emp');

-- insert into table
INSERT INTO emp VALUES (0, 100, 'John', 10);
INSERT INTO emp VALUES (0, 110, 'Mark', 10);
INSERT INTO emp VALUES (0, 120, 'Smith', 20);
INSERT INTO emp VALUES (0, 130, 'Ed', 30);

edb=# SELECT eid, sum(eid), count(*) FROM emp GROUP BY eid HAVING min(eid) > 100 ORDER
edb-# BY eid ASC NULLS FIRST;
 eid | sum | count 
-----+-----+-------
 110 | 110 |     1
 120 | 120 |     1
 130 | 130 |     1
 140 | 140 |     1
(4 rows)

edb=# 
edb=# EXPLAIN (VERBOSE, COSTS FALSE)
edb-# SELECT eid, sum(eid), count(*) FROM emp GROUP BY eid HAVING min(eid) > 100 ORDER
edb-# BY eid ASC NULLS FIRST;
                    QUERY PLAN                     
---------------------------------------------------
 Foreign Scan
   Output: eid, (sum(eid)), (count(*))
   Foreign Namespace: Aggregate on ("FDW_134".emp)
(3 rows)

edb=# 
edb=# SELECT deptid, min(eid) FROM emp WHERE deptid > 20 GROUP BY deptid HAVING min(deptid) = 
edb-# 30 ORDER BY deptid ASC NULLS FIRST;
 deptid | min 
--------+-----
     30 | 120
(1 row)

edb=# 
edb=# EXPLAIN (VERBOSE, COSTS FALSE)
edb-# SELECT deptid, min(eid) FROM emp WHERE deptid > 20 GROUP BY deptid HAVING min(deptid) = 
edb-# 30 ORDER BY deptid ASC NULLS FIRST;
                    QUERY PLAN                     
---------------------------------------------------
 Foreign Scan
   Output: deptid, (min(eid))
   Foreign Namespace: Aggregate on ("FDW_134".emp)
(3 rows)