Oracle Spatial DISJOINT search/filtering

The Oracle Locator/Spatial SDO_RELATE search operator, and convenience operators, all provide for the ability to search for a positive occurrence of a topological relationship:

For example, here is the correct method of finding all points that fall inside a specific polygon (here Tasmania):

 select /*+ORDERED*/ count(*)
   from australian_states a,
        geodpoint2d g
 where a.admin_name = 'Tasmania'
   and sdo_inside(g.geom,a.geom) = 'TRUE';
 
 COUNT(*)
 --------
 2

But the Oracle operators do not provide the ability to search for geometries that have no relationship ie the DISJOINT case, or the inverse of the required relationship eg NOT SDO_INSIDE? Note that there is no SDO_DISJOINT convenience operator (or a DISJOINT mask for SDO_RELATE).

But what if I want to find all that that are not inside Tasmania?

Note that we cannot query using a ‘FALSE’ return code as follows:

 select /*+ORDERED*/ count(*)
   from australian_states a,
        geodpoint2d g
 where a.admin_name = 'Tasmania'
   and sdo_inside(g.geom,a.geom) = 'FALSE';
 
 Error starting at line 1 in command:
 select count(*)
   from australian_states a,
        geodpoint2d g
 where a.admin_name = 'Tasmania'
   and sdo_inside(g.geom,a.geom) = 'FALSE'
 Error report:
 SQL Error: ORA-29902: error in executing ODCIIndexStart() routine
 ORA-13207: incorrect use of the [SDO_INSIDE] operator
 ORA-06512: at "MDSYS.SDO_INDEX_METHOD_10I", line 416
 29902. 00000 -  "error in executing ODCIIndexStart() routine"
 *Cause:    The execution of ODCIIndexStart routine caused an error.
 *Action:   Examine the error messages produced by the indextype code and
            take appropriate action.

So how do we execute the reverse?

The Oracle Pro Spatial book says when discussing the SQL/MM relationships that:

ST_Disjoint [is the] Negation of ANYINTERACT (use MINUS to subtract ANYINTERACT results from entire set).

So, in our case what we have to do is create a SQL statement that represents the set of all features:

 -- The set of all points
 select g.rowid
   from geodpoint2d g;

And another that represents the positive case the set of all geometries inside our search feature:

 -- The set of all points inside Tasmania
 select /*+ORDERED*/ g.rowid
   from australian_states a,
        geodpoint2d g
 where a.admin_name = 'Tasmania'
   and sdo_inside(g.geom,a.geom) = 'TRUE';

When we have these two we can then apply the MINUS SQL set operator to subtract the two:

 select count(*)
   from ( select g.rowid
            from geodpoint2d g
          MINUS
          select /*+ORDERED*/ g.rowid
            from australian_states a,
                 geodpoint2d g
           where a.admin_name = 'Tasmania'
             and sdo_inside(g.geom,a.geom) = 'TRUE'
        );
  
 COUNT(*)
 --------
 498

I hope this is helpful to someone.