Concrete PhysicalOptimizer implementation using a concrete statically-typed. More...

#include <PhysicalOptimizer.hpp>

Inheritance diagram for m::PhysicalOptimizerImpl< PhysicalPlanTable >:

Collaboration diagram for m::PhysicalOptimizerImpl< PhysicalPlanTable >:

Public Types
using	entry_type = PhysicalPlanTable::condition2entry_map_type::entry_type

using	cost_type = PhysicalPlanTable::condition2entry_map_type::entry_type::cost_type

using	children_type = std::vector< typename PhysicalPlanTable::condition2entry_map_type::const_iterator >

Public Member Functions
PhysicalPlanTable &	table ()

const PhysicalPlanTable &	table () const

void	cover (const Operator &plan) override
	Finds an optimal physical operator covering for the logical plan rooted in `plan`.

bool	has_plan () const override
	Returns true iff a physical operator covering is found.

std::unique_ptr< MatchBase >	extract_plan () override
	Extracts the found physical operator covering by moving it out of the underlying physical plan table.

	M_OPERATOR_LIST (DECLARE) void accept(PhysOptVisitor &v) override

void	accept (ConstPhysOptVisitor &v) const override

template<typename PhysOp >
void	register_operator ()
	Registers a new physical operator which then may be used to find a covering.

virtual void	accept (PhysOptVisitor &v)=0

Protected Attributes
std::vector< std::unique_ptr< const pattern_matcher_base > >	pattern_matchers_
	‍all pattern matchers for all registered physical operators

Private Member Functions
entry_type &	get_plan_entry ()
	Returns the entry for the found physical operator covering.

const entry_type &	get_plan_entry () const

template<typename PhysOp >
void	handle_match (const Operator &op, std::unique_ptr< Match< PhysOp > > &&match, const children_type &children)
	Handles the found match `match` with children entries `children` for the logical plan rooted in `op`.

Private Attributes
PhysicalPlanTable	table_
	‍dynamic programming table, stores the best covering for each logical operator per unique post-condition

Friends
template<typename , std::size_t , typename... >
struct	pattern_matcher_recursive

Detailed Description

template<typename PhysicalPlanTable>
struct m::PhysicalOptimizerImpl< PhysicalPlanTable >

Concrete PhysicalOptimizer implementation using a concrete statically-typed.

Template Parameters

PhysicalPlanTable implementing the PhysicalPlanTable interface.

Definition at line 286 of file PhysicalOptimizer.hpp.

Member Typedef Documentation

◆ children_type

template<typename PhysicalPlanTable >

using m::PhysicalOptimizerImpl< PhysicalPlanTable >::children_type = std::vector<typename PhysicalPlanTable::condition2entry_map_type::const_iterator>

Definition at line 292 of file PhysicalOptimizer.hpp.

◆ cost_type

template<typename PhysicalPlanTable >

using m::PhysicalOptimizerImpl< PhysicalPlanTable >::cost_type = PhysicalPlanTable::condition2entry_map_type::entry_type::cost_type

Definition at line 291 of file PhysicalOptimizer.hpp.

◆ entry_type

template<typename PhysicalPlanTable >

using m::PhysicalOptimizerImpl< PhysicalPlanTable >::entry_type = PhysicalPlanTable::condition2entry_map_type::entry_type

Definition at line 290 of file PhysicalOptimizer.hpp.

Member Function Documentation

◆ accept() [1/2]

template<typename PhysicalPlanTable >

void PhysicalOptimizerImpl::accept ( ConstPhysOptVisitor & v ) const

overridevirtual

Implements m::PhysicalOptimizer.

Definition at line 22 of file PhysicalOptimizer.cpp.

◆ accept() [2/2]

virtual void m::PhysicalOptimizer::accept ( PhysOptVisitor & v )

pure virtualinherited

◆ cover()

template<typename PhysicalPlanTable >

void m::PhysicalOptimizerImpl< PhysicalPlanTable >::cover ( const Operator & plan )

inlineoverridevirtual

Finds an optimal physical operator covering for the logical plan rooted in plan.

Implements m::PhysicalOptimizer.

Definition at line 302 of file PhysicalOptimizer.hpp.

References m::Operator::assign_post_order_ids(), m::PhysicalPlanTable< Actual, Condition2EntryMap >::clear(), m::Operator::id(), m::PhysicalPlanTable< Actual, Condition2EntryMap >::resize(), and m::PhysicalOptimizerImpl< PhysicalPlanTable >::table().

Referenced by m::QueryDatabase::execute(), m::execute_statement(), and m::physical_plan_from_logical_plan().

◆ extract_plan()

template<typename PhysicalPlanTable >

std::unique_ptr< MatchBase > m::PhysicalOptimizerImpl< PhysicalPlanTable >::extract_plan ( )

inlineoverridevirtual

Extracts the found physical operator covering by moving it out of the underlying physical plan table.

Implements m::PhysicalOptimizer.

Definition at line 326 of file PhysicalOptimizer.hpp.

References m::PhysicalOptimizerImpl< PhysicalPlanTable >::get_plan_entry(), and M_nothrow.

Referenced by m::QueryDatabase::execute(), m::execute_statement(), and m::physical_plan_from_logical_plan().

◆ get_plan_entry() [1/2]

template<typename PhysicalPlanTable >

entry_type & m::PhysicalOptimizerImpl< PhysicalPlanTable >::get_plan_entry ( )

inlineprivate

Returns the entry for the found physical operator covering.

Definition at line 312 of file PhysicalOptimizer.hpp.

References m::PhysicalPlanTable< Actual, Condition2EntryMap >::back(), m::PhysicalOptimizerImpl< PhysicalPlanTable >::has_plan(), M_insist, and m::PhysicalOptimizerImpl< PhysicalPlanTable >::table().

Referenced by m::PhysicalOptimizerImpl< PhysicalPlanTable >::extract_plan().

◆ get_plan_entry() [2/2]

template<typename PhysicalPlanTable >

const entry_type & m::PhysicalOptimizerImpl< PhysicalPlanTable >::get_plan_entry ( ) const

inlineprivate

Definition at line 324 of file PhysicalOptimizer.hpp.

References m::PhysicalOptimizerImpl< PhysicalPlanTable >::get_plan_entry().

Referenced by m::PhysicalOptimizerImpl< PhysicalPlanTable >::get_plan_entry().

◆ handle_match()

template<typename PhysicalPlanTable >

template<typename PhysOp >

void m::PhysicalOptimizerImpl< PhysicalPlanTable >::handle_match	(	const Operator &	op,
		std::unique_ptr< Match< PhysOp > > &&	match,
		const children_type &	children
	)