OmniSciDB  a987f07e93
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
RelLogicalUnion Class Reference

#include <RelAlgDag.h>

+ Inheritance diagram for RelLogicalUnion:
+ Collaboration diagram for RelLogicalUnion:

Public Member Functions

 RelLogicalUnion ()
 
 RelLogicalUnion (RelAlgInputs, bool is_all)
 
std::shared_ptr< RelAlgNodedeepCopy () const override
 
size_t size () const override
 
std::string toString (RelRexToStringConfig config=RelRexToStringConfig::defaults()) const override
 
size_t toHash () const override
 
std::string getFieldName (const size_t i) const
 
bool isAll () const
 
std::vector< TargetMetaInfogetCompatibleMetainfoTypes () const
 
RexScalar const * copyAndRedirectSource (RexScalar const *, size_t input_idx) const
 
- Public Member Functions inherited from RelAlgNode
 RelAlgNode (RelAlgInputs inputs={})
 
virtual ~RelAlgNode ()
 
void resetQueryExecutionState ()
 
void setContextData (const RaExecutionDesc *context_data) const
 
void setOutputMetainfo (std::vector< TargetMetaInfo > targets_metainfo) const
 
void setQueryPlanDag (const std::string &extracted_query_plan_dag) const
 
std::string getQueryPlanDag () const
 
size_t getQueryPlanDagHash () const
 
const std::vector
< TargetMetaInfo > & 
getOutputMetainfo () const
 
unsigned getId () const
 
void setIdInPlanTree (size_t id) const
 
std::optional< size_t > getIdInPlanTree () const
 
bool hasContextData () const
 
const RaExecutionDescgetContextData () const
 
const size_t inputCount () const
 
const RelAlgNodegetInput (const size_t idx) const
 
std::shared_ptr< const RelAlgNodegetAndOwnInput (const size_t idx) const
 
void addManagedInput (std::shared_ptr< const RelAlgNode > input)
 
bool hasInput (const RelAlgNode *needle) const
 
virtual void replaceInput (std::shared_ptr< const RelAlgNode > old_input, std::shared_ptr< const RelAlgNode > input)
 
void setRelNodeDagId (const size_t id) const
 
size_t getRelNodeDagId () const
 
bool isNop () const
 
void markAsNop ()
 
void clearContextData () const
 

Public Attributes

std::vector< std::shared_ptr
< const RexScalar > > 
scalar_exprs_
 

Private Attributes

bool is_all_
 

Friends

struct RelAlgDagSerializer
 

Additional Inherited Members

- Static Public Member Functions inherited from RelAlgNode
static void resetRelAlgFirstId () noexcept
 
- Protected Attributes inherited from RelAlgNode
RelAlgInputs inputs_
 
unsigned id_
 
std::optional< size_t > id_in_plan_tree_
 
std::optional< size_t > hash_
 

Detailed Description

Definition at line 2436 of file RelAlgDag.h.

Constructor & Destructor Documentation

RelLogicalUnion::RelLogicalUnion ( )
inline

Definition at line 2439 of file RelAlgDag.h.

Referenced by toHash().

2439 : is_all_{false} {}

+ Here is the caller graph for this function:

RelLogicalUnion::RelLogicalUnion ( RelAlgInputs  inputs,
bool  is_all 
)

Definition at line 833 of file RelAlgDag.cpp.

References CHECK_LE, g_enable_union, RelAlgNode::inputs_, and is_all_.

834  : RelAlgNode(std::move(inputs)), is_all_(is_all) {
835  if (!g_enable_union) {
836  throw QueryNotSupported(
837  "The DEPRECATED enable-union option is set to off. Please remove this option as "
838  "it may be disabled in the future.");
839  }
840  CHECK_LE(2u, inputs_.size());
841  if (!is_all_) {
842  throw QueryNotSupported("UNION without ALL is not supported yet.");
843  }
844 }
RelAlgNode(RelAlgInputs inputs={})
Definition: RelAlgDag.h:840
#define CHECK_LE(x, y)
Definition: Logger.h:300
bool g_enable_union
RelAlgInputs inputs_
Definition: RelAlgDag.h:952

Member Function Documentation

RexScalar const * RelLogicalUnion::copyAndRedirectSource ( RexScalar const *  rex_scalar,
size_t  input_idx 
) const

Definition at line 944 of file RelAlgDag.cpp.

References RelAlgNode::getInput(), scalar_exprs_, and RexInput::setSourceNode().

945  {
946  if (auto const* rex_input_ptr = dynamic_cast<RexInput const*>(rex_scalar)) {
947  RexInput rex_input(*rex_input_ptr);
948  rex_input.setSourceNode(getInput(input_idx));
949  scalar_exprs_.emplace_back(std::make_shared<RexInput const>(std::move(rex_input)));
950  return scalar_exprs_.back().get();
951  }
952  return rex_scalar;
953 }
std::vector< std::shared_ptr< const RexScalar > > scalar_exprs_
Definition: RelAlgDag.h:2458
const RelAlgNode * getInput(const size_t idx) const
Definition: RelAlgDag.h:892

+ Here is the call graph for this function:

std::shared_ptr<RelAlgNode> RelLogicalUnion::deepCopy ( ) const
inlineoverridevirtual

Implements RelAlgNode.

Definition at line 2442 of file RelAlgDag.h.

2442  {
2443  return std::make_shared<RelLogicalUnion>(*this);
2444  }
std::vector< TargetMetaInfo > RelLogicalUnion::getCompatibleMetainfoTypes ( ) const

Definition at line 911 of file RelAlgDag.cpp.

References SQLTypeInfo::get_notnull(), anonymous_namespace{RelAlgDag.cpp}::get_notnulls(), logger::INFO, RelAlgNode::inputs_, SQLTypeInfo::is_dict_encoded_string(), LOG, anonymous_namespace{RelAlgDag.cpp}::same_ignoring_notnull(), anonymous_namespace{RelAlgDag.cpp}::set_notnulls(), and SQLTypeInfo::to_string().

Referenced by RelAlgExecutor::executeUnion().

911  {
912  std::vector<TargetMetaInfo> tmis0 = inputs_[0]->getOutputMetainfo();
913  std::vector<bool> notnulls = get_notnulls(tmis0);
914  for (size_t i = 1; i < inputs_.size(); ++i) {
915  std::vector<TargetMetaInfo> const& tmisi = inputs_[i]->getOutputMetainfo();
916  if (tmis0.size() != tmisi.size()) {
917  LOG(INFO) << "tmis0.size()=" << tmis0.size() << " != " << tmisi.size()
918  << "=tmisi.size() for i=" << i;
919  throw std::runtime_error("Subqueries of a UNION must have matching data types.");
920  }
921  for (size_t j = 0; j < tmis0.size(); ++j) {
922  SQLTypeInfo const& ti0 = tmis0[j].get_type_info();
923  SQLTypeInfo const& ti1 = tmisi[j].get_type_info();
924  // Allow types of different nullability to be UNIONed.
925  if (!same_ignoring_notnull(ti0, ti1)) {
926  LOG(INFO) << "Types do not match for UNION:\n tmis0[" << j
927  << "].get_type_info().to_string() = " << ti0.to_string() << "\n tmis"
928  << i << '[' << j
929  << "].get_type_info().to_string() = " << ti1.to_string();
930  // The only permitted difference is when both columns are dictionary-encoded.
931  if (!(ti0.is_dict_encoded_string() && ti1.is_dict_encoded_string())) {
932  throw std::runtime_error(
933  "Subqueries of a UNION must have the exact same data types.");
934  }
935  }
936  notnulls[j] = notnulls[j] && ti1.get_notnull();
937  }
938  }
939  set_notnulls(&tmis0, notnulls); // Set each SQLTypeInfo::notnull to compatible values.
940  return tmis0;
941 }
void set_notnulls(std::vector< TargetMetaInfo > *tmis0, std::vector< bool > const &notnulls)
Definition: RelAlgDag.cpp:896
std::vector< bool > get_notnulls(std::vector< TargetMetaInfo > const &tmis0)
Definition: RelAlgDag.cpp:882
#define LOG(tag)
Definition: Logger.h:283
std::string to_string() const
Definition: sqltypes.h:544
bool is_dict_encoded_string() const
Definition: sqltypes.h:628
HOST DEVICE bool get_notnull() const
Definition: sqltypes.h:387
RelAlgInputs inputs_
Definition: RelAlgDag.h:952
bool same_ignoring_notnull(SQLTypeInfo ti0, SQLTypeInfo ti1)
Definition: RelAlgDag.cpp:890

+ Here is the call graph for this function:

+ Here is the caller graph for this function:

std::string RelLogicalUnion::getFieldName ( const size_t  i) const

Definition at line 862 of file RelAlgDag.cpp.

References RelAlgNode::inputs_, toString(), and UNREACHABLE.

862  {
863  if (auto const* input = dynamic_cast<RelCompound const*>(inputs_[0].get())) {
864  return input->getFieldName(i);
865  } else if (auto const* input = dynamic_cast<RelProject const*>(inputs_[0].get())) {
866  return input->getFieldName(i);
867  } else if (auto const* input = dynamic_cast<RelLogicalUnion const*>(inputs_[0].get())) {
868  return input->getFieldName(i);
869  } else if (auto const* input = dynamic_cast<RelAggregate const*>(inputs_[0].get())) {
870  return input->getFieldName(i);
871  } else if (auto const* input = dynamic_cast<RelScan const*>(inputs_[0].get())) {
872  return input->getFieldName(i);
873  } else if (auto const* input =
874  dynamic_cast<RelTableFunction const*>(inputs_[0].get())) {
875  return input->getFieldName(i);
876  }
877  UNREACHABLE() << "Unhandled input type: " << ::toString(inputs_.front());
878  return {};
879 }
#define UNREACHABLE()
Definition: Logger.h:333
std::string toString(RelRexToStringConfig config=RelRexToStringConfig::defaults()) const override
Definition: RelAlgDag.cpp:850
RelAlgInputs inputs_
Definition: RelAlgDag.h:952

+ Here is the call graph for this function:

bool RelLogicalUnion::isAll ( ) const
inline

Definition at line 2452 of file RelAlgDag.h.

References is_all_.

Referenced by RelAlgExecutor::createUnionWorkUnit(), and RelAlgExecutor::executeUnion().

2452 { return is_all_; }

+ Here is the caller graph for this function:

size_t RelLogicalUnion::size ( ) const
overridevirtual

Implements RelAlgNode.

Definition at line 846 of file RelAlgDag.cpp.

References RelAlgNode::inputs_.

846  {
847  return inputs_.front()->size();
848 }
RelAlgInputs inputs_
Definition: RelAlgDag.h:952
size_t RelLogicalUnion::toHash ( ) const
overridevirtual

Implements RelAlgNode.

Definition at line 854 of file RelAlgDag.cpp.

References RelAlgNode::hash_, is_all_, and RelLogicalUnion().

854  {
855  if (!hash_) {
856  hash_ = typeid(RelLogicalUnion).hash_code();
857  boost::hash_combine(*hash_, is_all_);
858  }
859  return *hash_;
860 }
std::optional< size_t > hash_
Definition: RelAlgDag.h:955

+ Here is the call graph for this function:

std::string RelLogicalUnion::toString ( RelRexToStringConfig  config = RelRexToStringConfig::defaults()) const
overridevirtual

Implements RelAlgNode.

Definition at line 850 of file RelAlgDag.cpp.

References cat(), is_all_, and typeName().

Referenced by getFieldName().

850  {
851  return cat(::typeName(this), "(is_all(", is_all_, "))");
852 }
std::string cat(Ts &&...args)
std::string typeName(const T *v)
Definition: toString.h:103

+ Here is the call graph for this function:

+ Here is the caller graph for this function:

Friends And Related Function Documentation

friend struct RelAlgDagSerializer
friend

Definition at line 2463 of file RelAlgDag.h.

Member Data Documentation

bool RelLogicalUnion::is_all_
private

Definition at line 2461 of file RelAlgDag.h.

Referenced by isAll(), RelLogicalUnion(), toHash(), and toString().

std::vector<std::shared_ptr<const RexScalar> > RelLogicalUnion::scalar_exprs_
mutable

Definition at line 2458 of file RelAlgDag.h.

Referenced by copyAndRedirectSource().


The documentation for this class was generated from the following files: