#include <parse_tree_nodes.h>

Inheritance diagram for PT_query_expression_body:

Public Types
enum	Setop_type { NONE , UNION , INTERSECT , EXCEPT }

Public Types inherited from Parse_tree_node_tmpl< Context >
typedef Context	context_t

Public Member Functions
virtual Setop_type	type () const

virtual bool	is_set_operation () const =0

virtual bool	can_absorb_order_and_limit (bool order, bool limit) const =0
	True if this query expression can absorb an extraneous order by/limit clause. More...

virtual bool	has_into_clause () const =0

virtual bool	has_trailing_into_clause () const =0

virtual bool	is_table_value_constructor () const =0

virtual PT_insert_values_list *	get_row_value_list () const =0

Public Member Functions inherited from Parse_tree_node_tmpl< Context >
virtual	~Parse_tree_node_tmpl ()=default

bool	is_contextualized () const

virtual bool	contextualize (Context *pc)
	Do all context-sensitive things and mark the node as contextualized. More...

void	error (Context *pc, const POS &pos) const
	syntax_error() function replacement for deferred reporting of syntax errors More...

void	error (Context pc, const POS &pos, const char msg) const
	syntax_error() function replacement for deferred reporting of syntax errors More...

void	errorf (Context pc, const POS &pos, const char format,...) const
	syntax_error() function replacement for deferred reporting of syntax errors More...

Additional Inherited Members
Static Public Member Functions inherited from Parse_tree_node_tmpl< Context >
static void *	operator new (size_t size, MEM_ROOT *mem_root, const std::nothrow_t &arg=std::nothrow) noexcept

static void	operator delete (void *ptr, size_t size)

static void	operator delete (void , MEM_ROOT , const std::nothrow_t &) noexcept

Protected Member Functions inherited from Parse_tree_node_tmpl< Context >
	Parse_tree_node_tmpl ()

Member Enumeration Documentation

◆ Setop_type

enum PT_query_expression_body::Setop_type

Enumerator
NONE
UNION
INTERSECT
EXCEPT

Member Function Documentation

◆ can_absorb_order_and_limit()

virtual bool PT_query_expression_body::can_absorb_order_and_limit	(	bool	order,
		bool	limit
	)		const

pure virtual

True if this query expression can absorb an extraneous order by/limit clause.

The ORDER BY/LIMIT syntax is mostly consistestent, i.e. a trailing clause may not refer to the tables in the <query primary>, with one glaring exception:

(...( SELECT ... )...) ORDER BY ...

If the nested query expression doesn't contain ORDER BY, the statement is interpreted as if the ORDER BY was absorbed by the innermost query expression, i.e.:

(...( SELECT ... ORDER BY ... )...)

There is no rewriting of the parse tree nor AST happening here, the transformation is done by the contextualizer (see PT_query_expression::contextualize_order_and_limit), which interprets the parse tree, and builds the AST according to this interpretation. This interpretation is governed by the following rule: An ORDER BY can be absorbed if none the nested query expressions contains an ORDER BY or LIMIT. The rule is complex, so here are some examples for illustration:

In these cases the ORDER BY is absorbed:

( SELECT * FROM t1 ) ORDER BY t1.a;
(( SELECT * FROM t1 )) ORDER BY t1.a;

In these cases the ORDER BY is not absorbed:

( SELECT * FROM t1 ORDER BY 1 ) ORDER BY t1.a;
(( SELECT * FROM t1 ) ORDER BY 1 ) ORDER BY t1.a;
( SELECT * FROM t1 LIMIT 1 ) ORDER BY t1.a;
(( SELECT * FROM t1 ) LIMIT 1 ) ORDER BY t1.a;

The same happens with LIMIT, obviously, but the optimizer is freeer to choose when to apply the limit, and there are name no resolution issues involved.

Parameters