PostgreSQL Source Code  git master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros
_int_selfuncs.c File Reference
#include "postgres.h"
#include "_int.h"
#include "access/htup_details.h"
#include "catalog/pg_operator.h"
#include "catalog/pg_statistic.h"
#include "catalog/pg_type.h"
#include "utils/builtins.h"
#include "utils/selfuncs.h"
#include "utils/syscache.h"
#include "utils/lsyscache.h"
#include "miscadmin.h"
Include dependency graph for _int_selfuncs.c:

Go to the source code of this file.

Functions

 PG_FUNCTION_INFO_V1 (_int_overlap_sel)
 
 PG_FUNCTION_INFO_V1 (_int_contains_sel)
 
 PG_FUNCTION_INFO_V1 (_int_contained_sel)
 
 PG_FUNCTION_INFO_V1 (_int_overlap_joinsel)
 
 PG_FUNCTION_INFO_V1 (_int_contains_joinsel)
 
 PG_FUNCTION_INFO_V1 (_int_contained_joinsel)
 
 PG_FUNCTION_INFO_V1 (_int_matchsel)
 
static Selectivity int_query_opr_selec (ITEM *item, Datum *values, float4 *freqs, int nmncelems, float4 minfreq)
 
static int compare_val_int4 (const void *a, const void *b)
 
Datum _int_overlap_sel (PG_FUNCTION_ARGS)
 
Datum _int_contains_sel (PG_FUNCTION_ARGS)
 
Datum _int_contained_sel (PG_FUNCTION_ARGS)
 
Datum _int_overlap_joinsel (PG_FUNCTION_ARGS)
 
Datum _int_contains_joinsel (PG_FUNCTION_ARGS)
 
Datum _int_contained_joinsel (PG_FUNCTION_ARGS)
 
Datum _int_matchsel (PG_FUNCTION_ARGS)
 

Function Documentation

Datum _int_contained_joinsel ( PG_FUNCTION_ARGS  )

Definition at line 108 of file _int_selfuncs.c.

References arraycontjoinsel(), DirectFunctionCall5, ObjectIdGetDatum, OID_ARRAY_CONTAINED_OP, PG_GETARG_DATUM, and PG_RETURN_DATUM.

109 {
111  PG_GETARG_DATUM(0),
113  PG_GETARG_DATUM(2),
114  PG_GETARG_DATUM(3),
115  PG_GETARG_DATUM(4)));
116 }
#define PG_GETARG_DATUM(n)
Definition: fmgr.h:233
#define ObjectIdGetDatum(X)
Definition: postgres.h:513
#define DirectFunctionCall5(func, arg1, arg2, arg3, arg4, arg5)
Definition: fmgr.h:592
#define OID_ARRAY_CONTAINED_OP
Definition: pg_operator.h:1572
#define PG_RETURN_DATUM(x)
Definition: fmgr.h:313
Datum arraycontjoinsel(PG_FUNCTION_ARGS)
Datum _int_contained_sel ( PG_FUNCTION_ARGS  )

Definition at line 76 of file _int_selfuncs.c.

References arraycontsel(), DirectFunctionCall4, ObjectIdGetDatum, OID_ARRAY_CONTAINED_OP, PG_GETARG_DATUM, and PG_RETURN_DATUM.

77 {
79  PG_GETARG_DATUM(0),
81  PG_GETARG_DATUM(2),
82  PG_GETARG_DATUM(3)));
83 }
#define PG_GETARG_DATUM(n)
Definition: fmgr.h:233
Datum arraycontsel(PG_FUNCTION_ARGS)
#define ObjectIdGetDatum(X)
Definition: postgres.h:513
#define DirectFunctionCall4(func, arg1, arg2, arg3, arg4)
Definition: fmgr.h:590
#define OID_ARRAY_CONTAINED_OP
Definition: pg_operator.h:1572
#define PG_RETURN_DATUM(x)
Definition: fmgr.h:313
Datum _int_contains_joinsel ( PG_FUNCTION_ARGS  )

Definition at line 97 of file _int_selfuncs.c.

References arraycontjoinsel(), DirectFunctionCall5, ObjectIdGetDatum, OID_ARRAY_CONTAINS_OP, PG_GETARG_DATUM, and PG_RETURN_DATUM.

98 {
100  PG_GETARG_DATUM(0),
102  PG_GETARG_DATUM(2),
103  PG_GETARG_DATUM(3),
104  PG_GETARG_DATUM(4)));
105 }
#define PG_GETARG_DATUM(n)
Definition: fmgr.h:233
#define OID_ARRAY_CONTAINS_OP
Definition: pg_operator.h:1569
#define ObjectIdGetDatum(X)
Definition: postgres.h:513
#define DirectFunctionCall5(func, arg1, arg2, arg3, arg4, arg5)
Definition: fmgr.h:592
#define PG_RETURN_DATUM(x)
Definition: fmgr.h:313
Datum arraycontjoinsel(PG_FUNCTION_ARGS)
Datum _int_contains_sel ( PG_FUNCTION_ARGS  )

Definition at line 66 of file _int_selfuncs.c.

References arraycontsel(), DirectFunctionCall4, ObjectIdGetDatum, OID_ARRAY_CONTAINS_OP, PG_GETARG_DATUM, and PG_RETURN_DATUM.

67 {
69  PG_GETARG_DATUM(0),
71  PG_GETARG_DATUM(2),
72  PG_GETARG_DATUM(3)));
73 }
#define PG_GETARG_DATUM(n)
Definition: fmgr.h:233
Datum arraycontsel(PG_FUNCTION_ARGS)
#define OID_ARRAY_CONTAINS_OP
Definition: pg_operator.h:1569
#define ObjectIdGetDatum(X)
Definition: postgres.h:513
#define DirectFunctionCall4(func, arg1, arg2, arg3, arg4)
Definition: fmgr.h:590
#define PG_RETURN_DATUM(x)
Definition: fmgr.h:313
Datum _int_matchsel ( PG_FUNCTION_ARGS  )

Definition at line 123 of file _int_selfuncs.c.

References generate_unaccent_rules::args, Assert, ATTSTATSSLOT_NUMBERS, ATTSTATSSLOT_VALUES, CLAMP_PROBABILITY, DatumGetQueryTypeP, DEFAULT_EQ_SEL, free_attstatsslot(), get_attstatsslot(), get_restriction_variable(), GETQUERY, GETSTRUCT, HeapTupleIsValid, INT4ARRAYOID, INT4OID, int_query_opr_selec(), InvalidOid, IsA, AttStatsSlot::nnumbers, NULL, AttStatsSlot::numbers, AttStatsSlot::nvalues, PG_GETARG_INT32, PG_GETARG_POINTER, PG_RETURN_FLOAT8, ReleaseVariableStats, QUERYTYPE::size, STATISTIC_KIND_MCELEM, VariableStatData::statsTuple, AttStatsSlot::values, AttStatsSlot::valuetype, and VariableStatData::vartype.

124 {
126 
127  List *args = (List *) PG_GETARG_POINTER(2);
128  int varRelid = PG_GETARG_INT32(3);
129  VariableStatData vardata;
130  Node *other;
131  bool varonleft;
132  Selectivity selec;
133  QUERYTYPE *query;
134  Datum *mcelems = NULL;
135  float4 *mcefreqs = NULL;
136  int nmcelems = 0;
137  float4 minfreq = 0.0;
138  float4 nullfrac = 0.0;
139  AttStatsSlot sslot;
140 
141  /*
142  * If expression is not "variable @@ something" or "something @@ variable"
143  * then punt and return a default estimate.
144  */
145  if (!get_restriction_variable(root, args, varRelid,
146  &vardata, &other, &varonleft))
148 
149  /*
150  * Variable should be int[]. We don't support cases where variable is
151  * query_int.
152  */
153  if (vardata.vartype != INT4ARRAYOID)
155 
156  /*
157  * Can't do anything useful if the something is not a constant, either.
158  */
159  if (!IsA(other, Const))
160  {
161  ReleaseVariableStats(vardata);
163  }
164 
165  /*
166  * The "@@" operator is strict, so we can cope with NULL right away.
167  */
168  if (((Const *) other)->constisnull)
169  {
170  ReleaseVariableStats(vardata);
171  PG_RETURN_FLOAT8(0.0);
172  }
173 
174  /* The caller made sure the const is a query, so get it now */
175  query = DatumGetQueryTypeP(((Const *) other)->constvalue);
176 
177  /* Empty query matches nothing */
178  if (query->size == 0)
179  {
180  ReleaseVariableStats(vardata);
181  return (Selectivity) 0.0;
182  }
183 
184  /*
185  * Get the statistics for the intarray column.
186  *
187  * We're interested in the Most-Common-Elements list, and the NULL
188  * fraction.
189  */
190  if (HeapTupleIsValid(vardata.statsTuple))
191  {
192  Form_pg_statistic stats;
193 
194  stats = (Form_pg_statistic) GETSTRUCT(vardata.statsTuple);
195  nullfrac = stats->stanullfrac;
196 
197  /*
198  * For an int4 array, the default array type analyze function will
199  * collect a Most Common Elements list, which is an array of int4s.
200  */
201  if (get_attstatsslot(&sslot, vardata.statsTuple,
204  {
205  Assert(sslot.valuetype == INT4OID);
206 
207  /*
208  * There should be three more Numbers than Values, because the
209  * last three (for intarray) cells are taken for minimal, maximal
210  * and nulls frequency. Punt if not.
211  */
212  if (sslot.nnumbers == sslot.nvalues + 3)
213  {
214  /* Grab the lowest frequency. */
215  minfreq = sslot.numbers[sslot.nnumbers - (sslot.nnumbers - sslot.nvalues)];
216 
217  mcelems = sslot.values;
218  mcefreqs = sslot.numbers;
219  nmcelems = sslot.nvalues;
220  }
221  }
222  }
223  else
224  memset(&sslot, 0, sizeof(sslot));
225 
226  /* Process the logical expression in the query, using the stats */
227  selec = int_query_opr_selec(GETQUERY(query) + query->size - 1,
228  mcelems, mcefreqs, nmcelems, minfreq);
229 
230  /* MCE stats count only non-null rows, so adjust for null rows. */
231  selec *= (1.0 - nullfrac);
232 
233  free_attstatsslot(&sslot);
234  ReleaseVariableStats(vardata);
235 
236  CLAMP_PROBABILITY(selec);
237 
238  PG_RETURN_FLOAT8((float8) selec);
239 }
#define PG_GETARG_INT32(n)
Definition: fmgr.h:234
#define IsA(nodeptr, _type_)
Definition: nodes.h:560
#define GETSTRUCT(TUP)
Definition: htup_details.h:656
#define ATTSTATSSLOT_VALUES
Definition: lsyscache.h:39
HeapTuple statsTuple
Definition: selfuncs.h:71
int nnumbers
Definition: lsyscache.h:53
bool get_restriction_variable(PlannerInfo *root, List *args, int varRelid, VariableStatData *vardata, Node **other, bool *varonleft)
Definition: selfuncs.c:4450
#define PG_RETURN_FLOAT8(x)
Definition: fmgr.h:326
static Selectivity int_query_opr_selec(ITEM *item, Datum *values, float4 *freqs, int nmncelems, float4 minfreq)
#define INT4OID
Definition: pg_type.h:316
Definition: nodes.h:509
#define PG_GETARG_POINTER(n)
Definition: fmgr.h:241
double Selectivity
Definition: nodes.h:639
FormData_pg_statistic * Form_pg_statistic
Definition: pg_statistic.h:129
#define GETQUERY(x)
Definition: _int.h:142
#define CLAMP_PROBABILITY(p)
Definition: selfuncs.h:57
#define ATTSTATSSLOT_NUMBERS
Definition: lsyscache.h:40
double float8
Definition: c.h:381
float4 * numbers
Definition: lsyscache.h:52
#define DEFAULT_EQ_SEL
Definition: selfuncs.h:34
float float4
Definition: c.h:380
uintptr_t Datum
Definition: postgres.h:372
#define InvalidOid
Definition: postgres_ext.h:36
#define HeapTupleIsValid(tuple)
Definition: htup.h:77
#define NULL
Definition: c.h:229
bool get_attstatsslot(AttStatsSlot *sslot, HeapTuple statstuple, int reqkind, Oid reqop, int flags)
Definition: lsyscache.c:2895
#define Assert(condition)
Definition: c.h:676
Datum * values
Definition: lsyscache.h:49
#define ReleaseVariableStats(vardata)
Definition: selfuncs.h:81
#define STATISTIC_KIND_MCELEM
Definition: pg_statistic.h:257
#define INT4ARRAYOID
Definition: pg_type.h:467
Oid valuetype
Definition: lsyscache.h:48
#define DatumGetQueryTypeP(X)
Definition: _int.h:153
int32 size
Definition: _int.h:135
Definition: pg_list.h:45
void free_attstatsslot(AttStatsSlot *sslot)
Definition: lsyscache.c:3011
Datum _int_overlap_joinsel ( PG_FUNCTION_ARGS  )

Definition at line 86 of file _int_selfuncs.c.

References arraycontjoinsel(), DirectFunctionCall5, ObjectIdGetDatum, OID_ARRAY_OVERLAP_OP, PG_GETARG_DATUM, and PG_RETURN_DATUM.

87 {
89  PG_GETARG_DATUM(0),
91  PG_GETARG_DATUM(2),
92  PG_GETARG_DATUM(3),
93  PG_GETARG_DATUM(4)));
94 }
#define PG_GETARG_DATUM(n)
Definition: fmgr.h:233
#define ObjectIdGetDatum(X)
Definition: postgres.h:513
#define OID_ARRAY_OVERLAP_OP
Definition: pg_operator.h:1566
#define DirectFunctionCall5(func, arg1, arg2, arg3, arg4, arg5)
Definition: fmgr.h:592
#define PG_RETURN_DATUM(x)
Definition: fmgr.h:313
Datum arraycontjoinsel(PG_FUNCTION_ARGS)
Datum _int_overlap_sel ( PG_FUNCTION_ARGS  )

Definition at line 56 of file _int_selfuncs.c.

References arraycontsel(), DirectFunctionCall4, ObjectIdGetDatum, OID_ARRAY_OVERLAP_OP, PG_GETARG_DATUM, and PG_RETURN_DATUM.

57 {
59  PG_GETARG_DATUM(0),
61  PG_GETARG_DATUM(2),
62  PG_GETARG_DATUM(3)));
63 }
#define PG_GETARG_DATUM(n)
Definition: fmgr.h:233
Datum arraycontsel(PG_FUNCTION_ARGS)
#define ObjectIdGetDatum(X)
Definition: postgres.h:513
#define OID_ARRAY_OVERLAP_OP
Definition: pg_operator.h:1566
#define DirectFunctionCall4(func, arg1, arg2, arg3, arg4)
Definition: fmgr.h:590
#define PG_RETURN_DATUM(x)
Definition: fmgr.h:313
static int compare_val_int4 ( const void *  a,
const void *  b 
)
static

Definition at line 327 of file _int_selfuncs.c.

References DatumGetInt32.

Referenced by int_query_opr_selec().

328 {
329  int32 key = *(int32 *) a;
330  const Datum *t = (const Datum *) b;
331 
332  return key - DatumGetInt32(*t);
333 }
#define DatumGetInt32(X)
Definition: postgres.h:478
signed int int32
Definition: c.h:256
uintptr_t Datum
Definition: postgres.h:372
static Selectivity int_query_opr_selec ( ITEM item,
Datum values,
float4 freqs,
int  nmncelems,
float4  minfreq 
)
static

Definition at line 245 of file _int_selfuncs.c.

References check_stack_depth(), CLAMP_PROBABILITY, compare_val_int4(), DEFAULT_EQ_SEL, elog, ERROR, ITEM::left, Min, NULL, OPR, s1, s2, ITEM::type, ITEM::val, and VAL.

Referenced by _int_matchsel().

247 {
248  Selectivity selec;
249 
250  /* since this function recurses, it could be driven to stack overflow */
252 
253  if (item->type == VAL)
254  {
255  Datum *searchres;
256 
257  if (mcelems == NULL)
258  return (Selectivity) DEFAULT_EQ_SEL;
259 
260  searchres = (Datum *) bsearch(&item->val, mcelems, nmcelems,
261  sizeof(Datum), compare_val_int4);
262  if (searchres)
263  {
264  /*
265  * The element is in MCELEM. Return precise selectivity (or at
266  * least as precise as ANALYZE could find out).
267  */
268  selec = mcefreqs[searchres - mcelems];
269  }
270  else
271  {
272  /*
273  * The element is not in MCELEM. Punt, but assume that the
274  * selectivity cannot be more than minfreq / 2.
275  */
276  selec = Min(DEFAULT_EQ_SEL, minfreq / 2);
277  }
278  }
279  else if (item->type == OPR)
280  {
281  /* Current query node is an operator */
282  Selectivity s1,
283  s2;
284 
285  s1 = int_query_opr_selec(item - 1, mcelems, mcefreqs, nmcelems,
286  minfreq);
287  switch (item->val)
288  {
289  case (int32) '!':
290  selec = 1.0 - s1;
291  break;
292 
293  case (int32) '&':
294  s2 = int_query_opr_selec(item + item->left, mcelems, mcefreqs,
295  nmcelems, minfreq);
296  selec = s1 * s2;
297  break;
298 
299  case (int32) '|':
300  s2 = int_query_opr_selec(item + item->left, mcelems, mcefreqs,
301  nmcelems, minfreq);
302  selec = s1 + s2 - s1 * s2;
303  break;
304 
305  default:
306  elog(ERROR, "unrecognized operator: %d", item->val);
307  selec = 0; /* keep compiler quiet */
308  break;
309  }
310  }
311  else
312  {
313  elog(ERROR, "unrecognized int query item type: %u", item->type);
314  selec = 0; /* keep compiler quiet */
315  }
316 
317  /* Clamp intermediate results to stay sane despite roundoff error */
318  CLAMP_PROBABILITY(selec);
319 
320  return selec;
321 }
#define Min(x, y)
Definition: c.h:807
static Selectivity int_query_opr_selec(ITEM *item, Datum *values, float4 *freqs, int nmncelems, float4 minfreq)
double Selectivity
Definition: nodes.h:639
signed int int32
Definition: c.h:256
int16 type
Definition: _int.h:127
#define CLAMP_PROBABILITY(p)
Definition: selfuncs.h:57
#define ERROR
Definition: elog.h:43
char * s1
void check_stack_depth(void)
Definition: postgres.c:3117
#define DEFAULT_EQ_SEL
Definition: selfuncs.h:34
int32 val
Definition: _int.h:129
static int compare_val_int4(const void *a, const void *b)
char * s2
uintptr_t Datum
Definition: postgres.h:372
int16 left
Definition: _int.h:128
#define VAL
Definition: _int.h:147
#define NULL
Definition: c.h:229
#define OPR
Definition: _int.h:148
#define elog
Definition: elog.h:219
PG_FUNCTION_INFO_V1 ( _int_overlap_sel  )
PG_FUNCTION_INFO_V1 ( _int_contains_sel  )
PG_FUNCTION_INFO_V1 ( _int_contained_sel  )
PG_FUNCTION_INFO_V1 ( _int_overlap_joinsel  )
PG_FUNCTION_INFO_V1 ( _int_contains_joinsel  )
PG_FUNCTION_INFO_V1 ( _int_contained_joinsel  )
PG_FUNCTION_INFO_V1 ( _int_matchsel  )