node.h 39 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040
  1. #pragma once
  2. #include <array>
  3. #include <google/protobuf/message.h>
  4. #include <yql/essentials/parser/proto_ast/common.h>
  5. #include <yql/essentials/ast/yql_ast.h>
  6. #include <yql/essentials/ast/yql_expr.h>
  7. #include <util/generic/vector.h>
  8. #include <util/generic/set.h>
  9. #include <util/generic/map.h>
  10. #include <util/generic/hash.h>
  11. #include <util/generic/hash_set.h>
  12. #include <util/generic/maybe.h>
  13. #include <util/string/builder.h>
  14. #include <library/cpp/enumbitset/enumbitset.h>
  15. namespace NSQLTranslationV0 {
  16. constexpr const size_t SQL_MAX_INLINE_SCRIPT_LEN = 24;
  17. using NYql::TPosition;
  18. using NYql::TAstNode;
  19. enum class ENodeState {
  20. Begin,
  21. Precached = Begin,
  22. Initialized,
  23. CountHint,
  24. Const,
  25. Aggregated,
  26. AggregationKey,
  27. OverWindow,
  28. Failed,
  29. End,
  30. };
  31. typedef TEnumBitSet<ENodeState, static_cast<int>(ENodeState::Begin), static_cast<int>(ENodeState::End)> TNodeState;
  32. enum class ESQLWriteColumnMode {
  33. InsertInto,
  34. InsertOrAbortInto,
  35. InsertOrIgnoreInto,
  36. InsertOrRevertInto,
  37. UpsertInto,
  38. ReplaceInto,
  39. InsertIntoWithTruncate,
  40. Update,
  41. Delete,
  42. };
  43. enum class EWriteColumnMode {
  44. Default,
  45. Insert,
  46. InsertOrAbort,
  47. InsertOrIgnore,
  48. InsertOrRevert,
  49. Upsert,
  50. Replace,
  51. Renew,
  52. Update,
  53. UpdateOn,
  54. Delete,
  55. DeleteOn,
  56. };
  57. enum class EAlterTableIntentnt {
  58. AddColumn,
  59. DropColumn
  60. };
  61. class TContext;
  62. class ITableKeys;
  63. class ISource;
  64. class IAggregation;
  65. typedef TIntrusivePtr<IAggregation> TAggregationPtr;
  66. inline TString DotJoin(const TString& lhs, const TString& rhs) {
  67. TStringBuilder sb;
  68. sb << lhs << "." << rhs;
  69. return sb;
  70. }
  71. TString ErrorDistinctByGroupKey(const TString& column);
  72. TString ErrorDistinctWithoutCorrelation(const TString& column);
  73. class INode: public TSimpleRefCount<INode> {
  74. public:
  75. typedef TIntrusivePtr<INode> TPtr;
  76. struct TIdPart {
  77. TString Name;
  78. TPtr Expr;
  79. i32 Pos = -1;
  80. TIdPart(const TString& name)
  81. : Name(name)
  82. {
  83. }
  84. TIdPart(TPtr expr)
  85. : Expr(expr)
  86. {
  87. }
  88. TIdPart(i32 pos)
  89. : Pos(pos)
  90. {
  91. }
  92. TIdPart Clone() const {
  93. TIdPart res(Name);
  94. res.Pos = Pos;
  95. res.Expr = Expr ? Expr->Clone() : nullptr;
  96. return res;
  97. }
  98. };
  99. public:
  100. INode(TPosition pos);
  101. virtual ~INode();
  102. TPosition GetPos() const;
  103. const TString& GetLabel() const;
  104. void SetLabel(const TString& label);
  105. void SetCountHint(bool isCount);
  106. bool GetCountHint() const;
  107. bool Init(TContext& ctx, ISource* src);
  108. bool IsConstant() const;
  109. bool IsAggregated() const;
  110. bool IsAggregationKey() const;
  111. bool IsOverWindow() const;
  112. bool HasState(ENodeState state) const {
  113. PrecacheState();
  114. return State.Test(state);
  115. }
  116. virtual bool IsNull() const;
  117. virtual bool IsIntegerLiteral() const;
  118. virtual bool IsAsterisk() const;
  119. virtual const TString* SubqueryAlias() const;
  120. virtual TString GetOpName() const;
  121. virtual const TString* GetLiteral(const TString& type) const;
  122. virtual const TString* GetColumnName() const;
  123. virtual void AssumeColumn();
  124. virtual const TString* GetSourceName() const;
  125. virtual const TString* GetAtomContent() const;
  126. virtual size_t GetTupleSize() const;
  127. virtual TPtr GetTupleElement(size_t index) const;
  128. virtual ITableKeys* GetTableKeys();
  129. virtual ISource* GetSource();
  130. virtual TVector<INode::TPtr>* ContentListPtr();
  131. virtual TAstNode* Translate(TContext& ctx) const = 0;
  132. virtual TAggregationPtr GetAggregation() const;
  133. virtual TPtr WindowSpecFunc(const TPtr& type) const;
  134. void UseAsInner();
  135. virtual bool UsedSubquery() const;
  136. virtual bool IsSelect() const;
  137. TPtr AstNode() const;
  138. TPtr AstNode(TAstNode* node) const;
  139. TPtr AstNode(TPtr node) const;
  140. TPtr AstNode(const TString& str) const;
  141. template <typename TVal, typename... TVals>
  142. void Add(TVal val, TVals... vals) {
  143. DoAdd(AstNode(val));
  144. Add(vals...);
  145. }
  146. void Add() {}
  147. // Y() Q() L()
  148. TPtr Y() const {
  149. return AstNode();
  150. }
  151. template <typename... TVals>
  152. TPtr Y(TVals... vals) const {
  153. TPtr node(AstNode());
  154. node->Add(vals...);
  155. return node;
  156. }
  157. template <typename T>
  158. TPtr Q(T a) const {
  159. return Y("quote", a);
  160. }
  161. template <typename... TVals>
  162. TPtr L(TPtr list, TVals... vals) const {
  163. Y_DEBUG_ABORT_UNLESS(list);
  164. auto copy = list->ShallowCopy();
  165. copy->Add(vals...);
  166. return copy;
  167. }
  168. TPtr Clone() const;
  169. protected:
  170. virtual TPtr ShallowCopy() const;
  171. virtual void DoUpdateState() const;
  172. virtual TPtr DoClone() const = 0;
  173. void PrecacheState() const;
  174. private:
  175. virtual bool DoInit(TContext& ctx, ISource* src);
  176. virtual void DoAdd(TPtr node);
  177. protected:
  178. TPosition Pos;
  179. TString Label;
  180. mutable TNodeState State;
  181. bool AsInner = false;
  182. };
  183. typedef INode::TPtr TNodePtr;
  184. template<class T>
  185. inline T SafeClone(const T& node) {
  186. return node ? node->Clone() : nullptr;
  187. }
  188. template<class T>
  189. inline TVector<T> CloneContainer(const TVector<T>& args) {
  190. TVector<T> cloneArgs;
  191. cloneArgs.reserve(args.size());
  192. for (const auto& arg: args) {
  193. cloneArgs.emplace_back(SafeClone(arg));
  194. }
  195. return cloneArgs;
  196. }
  197. class TAstAtomNode: public INode {
  198. public:
  199. TAstAtomNode(TPosition pos, const TString& content, ui32 flags);
  200. ~TAstAtomNode() override;
  201. TAstNode* Translate(TContext& ctx) const override;
  202. const TString& GetContent() const {
  203. return Content;
  204. }
  205. const TString* GetAtomContent() const override;
  206. protected:
  207. TString Content;
  208. ui32 Flags;
  209. void DoUpdateState() const override;
  210. };
  211. class TAstAtomNodeImpl final: public TAstAtomNode {
  212. public:
  213. TAstAtomNodeImpl(TPosition pos, const TString& content, ui32 flags)
  214. : TAstAtomNode(pos, content, flags)
  215. {}
  216. TNodePtr DoClone() const final {
  217. return new TAstAtomNodeImpl(Pos, Content, Flags);
  218. }
  219. };
  220. class TAstDirectNode final: public INode {
  221. public:
  222. TAstDirectNode(TAstNode* node);
  223. TAstNode* Translate(TContext& ctx) const override;
  224. TPtr DoClone() const final {
  225. return new TAstDirectNode(Node);
  226. }
  227. protected:
  228. TAstNode* Node;
  229. };
  230. class TAstListNode: public INode {
  231. public:
  232. TAstListNode(TPosition pos);
  233. virtual ~TAstListNode();
  234. TAstNode* Translate(TContext& ctx) const override;
  235. protected:
  236. explicit TAstListNode(const TAstListNode& node);
  237. explicit TAstListNode(TPosition pos, TVector<TNodePtr>&& nodes);
  238. TPtr ShallowCopy() const override;
  239. bool DoInit(TContext& ctx, ISource* src) override;
  240. void DoAdd(TNodePtr node) override;
  241. void DoUpdateState() const override;
  242. void UpdateStateByListNodes(const TVector<TNodePtr>& Nodes) const;
  243. protected:
  244. TVector<TNodePtr> Nodes;
  245. mutable TMaybe<bool> CacheGroupKey;
  246. };
  247. class TAstListNodeImpl final: public TAstListNode {
  248. public:
  249. TAstListNodeImpl(TPosition pos);
  250. TAstListNodeImpl(TPosition pos, TVector<TNodePtr> nodes);
  251. protected:
  252. TNodePtr DoClone() const final;
  253. };
  254. class TCallNode: public TAstListNode {
  255. public:
  256. TCallNode(TPosition pos, const TString& opName, i32 minArgs, i32 maxArgs, const TVector<TNodePtr>& args);
  257. TCallNode(TPosition pos, const TString& opName, const TVector<TNodePtr>& args)
  258. : TCallNode(pos, opName, args.size(), args.size(), args)
  259. {}
  260. TString GetOpName() const override;
  261. const TString* GetSourceName() const override;
  262. const TVector<TNodePtr>& GetArgs() const;
  263. protected:
  264. bool DoInit(TContext& ctx, ISource* src) override;
  265. bool ValidateArguments(TContext& ctx) const;
  266. TString GetCallExplain() const;
  267. protected:
  268. TString OpName;
  269. i32 MinArgs;
  270. i32 MaxArgs;
  271. TVector<TNodePtr> Args;
  272. mutable TMaybe<bool> CacheGroupKey;
  273. void DoUpdateState() const override;
  274. };
  275. class TCallNodeImpl final: public TCallNode {
  276. TPtr DoClone() const final;
  277. public:
  278. TCallNodeImpl(TPosition pos, const TString& opName, i32 minArgs, i32 maxArgs, const TVector<TNodePtr>& args);
  279. TCallNodeImpl(TPosition pos, const TString& opName, const TVector<TNodePtr>& args);
  280. };
  281. class TCallNodeDepArgs final : public TCallNode {
  282. TPtr DoClone() const final;
  283. public:
  284. TCallNodeDepArgs(ui32 reqArgsCount, TPosition pos, const TString& opName, i32 minArgs, i32 maxArgs, const TVector<TNodePtr>& args);
  285. TCallNodeDepArgs(ui32 reqArgsCount, TPosition pos, const TString& opName, const TVector<TNodePtr>& args);
  286. protected:
  287. bool DoInit(TContext& ctx, ISource* src) override;
  288. private:
  289. const ui32 ReqArgsCount;
  290. };
  291. class TCallDirectRow final : public TCallNode {
  292. TPtr DoClone() const final;
  293. public:
  294. TCallDirectRow(TPosition pos, const TString& opName, const TVector<TNodePtr>& args);
  295. protected:
  296. bool DoInit(TContext& ctx, ISource* src) override;
  297. void DoUpdateState() const override;
  298. };
  299. class TWinAggrEmulation: public TCallNode {
  300. protected:
  301. void DoUpdateState() const override;
  302. bool DoInit(TContext& ctx, ISource* src) override;
  303. TPtr WindowSpecFunc(const TNodePtr& type) const override;
  304. public:
  305. TWinAggrEmulation(TPosition pos, const TString& opName, i32 minArgs, i32 maxArgs, const TVector<TNodePtr>& args);
  306. protected:
  307. template<class TNodeType>
  308. TPtr CallNodeClone() const {
  309. return new TNodeType(GetPos(), OpName, MinArgs, MaxArgs, CloneContainer(Args));
  310. }
  311. TString FuncAlias;
  312. TNodePtr WinAggrGround;
  313. };
  314. class TWinRowNumber final: public TWinAggrEmulation {
  315. TPtr DoClone() const final {
  316. return CallNodeClone<TWinRowNumber>();
  317. }
  318. public:
  319. TWinRowNumber(TPosition pos, const TString& opName, i32 minArgs, i32 maxArgs, const TVector<TNodePtr>& args);
  320. };
  321. class TWinLeadLag final: public TWinAggrEmulation {
  322. TPtr DoClone() const final {
  323. return CallNodeClone<TWinLeadLag>();
  324. }
  325. bool DoInit(TContext& ctx, ISource* src) override;
  326. public:
  327. TWinLeadLag(TPosition pos, const TString& opName, i32 minArgs, i32 maxArgs, const TVector<TNodePtr>& args);
  328. };
  329. class ITableKeys: public INode {
  330. public:
  331. enum class EBuildKeysMode {
  332. CREATE,
  333. DROP,
  334. INPUT,
  335. WRITE
  336. };
  337. ITableKeys(TPosition pos);
  338. virtual const TString* GetTableName() const;
  339. virtual TNodePtr BuildKeys(TContext& ctx, EBuildKeysMode mode) = 0;
  340. private:
  341. /// all TableKeys no clonnable
  342. TPtr DoClone() const final {
  343. return {};
  344. }
  345. ITableKeys* GetTableKeys() override;
  346. TAstNode* Translate(TContext& ctx) const override;
  347. };
  348. enum class ESampleMode {
  349. Auto,
  350. Bernoulli,
  351. System
  352. };
  353. struct TTableRef {
  354. const TString RefName;
  355. const TString Cluster;
  356. TNodePtr Keys;
  357. TNodePtr Options;
  358. TTableRef(const TString& refName, const TString& cluster, TNodePtr keys);
  359. TTableRef(const TTableRef& tr);
  360. TString ShortName() const;
  361. TString ServiceName(const TContext& ctx) const;
  362. bool Check(TContext& ctx) const;
  363. };
  364. struct TIdentifier
  365. {
  366. TPosition Pos;
  367. TString Name;
  368. TIdentifier(TPosition pos, const TString& name)
  369. : Pos(pos)
  370. , Name(name) {}
  371. };
  372. struct TColumnSchema {
  373. TPosition Pos;
  374. TString Name;
  375. TString Type;
  376. bool Nullable;
  377. bool IsTypeString;
  378. TColumnSchema(TPosition pos, const TString& name, const TString& type, bool nullable, bool isTypeString);
  379. };
  380. struct TColumns: public TSimpleRefCount<TColumns> {
  381. TSet<TString> Real;
  382. TSet<TString> Artificial;
  383. TVector<TString> List;
  384. TVector<bool> NamedColumns;
  385. bool All = false;
  386. bool QualifiedAll = false;
  387. bool HasUnreliable = false;
  388. bool Add(const TString* column, bool countHint, bool isArtificial = false, bool isReliable = true, bool hasName = true);
  389. void Merge(const TColumns& columns);
  390. void SetPrefix(const TString& prefix);
  391. void SetAll();
  392. bool IsColumnPossible(TContext& ctx, const TString& column);
  393. };
  394. struct TSortSpecification: public TSimpleRefCount<TSortSpecification> {
  395. TNodePtr OrderExpr;
  396. bool Ascending;
  397. TIntrusivePtr<TSortSpecification> Clone() const;
  398. ~TSortSpecification() {}
  399. };
  400. typedef TIntrusivePtr<TSortSpecification> TSortSpecificationPtr;
  401. enum EFrameType {
  402. FrameByRows,
  403. FrameByRange,
  404. };
  405. enum EFrameExclusions {
  406. FrameExclNone,
  407. FrameExclCurRow,
  408. FrameExclGroup,
  409. FrameExclTies,
  410. FrameExclNoOthers,
  411. };
  412. struct TFrameSpecification {
  413. EFrameType FrameType;
  414. TNodePtr FrameBegin;
  415. TNodePtr FrameEnd;
  416. EFrameExclusions FrameExclusion = FrameExclNone;
  417. };
  418. struct TWindowSpecification: public TSimpleRefCount<TWindowSpecification> {
  419. TMaybe<TString> ExistingWindowName;
  420. TVector<TNodePtr> Partitions;
  421. TVector<TSortSpecificationPtr> OrderBy;
  422. TMaybe<TFrameSpecification> Frame;
  423. TIntrusivePtr<TWindowSpecification> Clone() const;
  424. ~TWindowSpecification() {}
  425. };
  426. struct THoppingWindowSpec: public TSimpleRefCount<THoppingWindowSpec> {
  427. TNodePtr TimeExtractor;
  428. TNodePtr Hop;
  429. TNodePtr Interval;
  430. TNodePtr Delay;
  431. TIntrusivePtr<THoppingWindowSpec> Clone() const;
  432. ~THoppingWindowSpec() {}
  433. };
  434. typedef TIntrusivePtr<TWindowSpecification> TWindowSpecificationPtr;
  435. typedef TMap<TString, TWindowSpecificationPtr> TWinSpecs;
  436. typedef TVector<TTableRef> TTableList;
  437. typedef TIntrusivePtr<THoppingWindowSpec> THoppingWindowSpecPtr;
  438. bool ValidateAllNodesForAggregation(TContext& ctx, const TVector<TNodePtr>& nodes);
  439. class TDeferredAtom {
  440. public:
  441. TDeferredAtom();
  442. TDeferredAtom(TPosition pos, const TString& str);
  443. TDeferredAtom(TNodePtr node, TContext& ctx);
  444. const TString* GetLiteral() const;
  445. TNodePtr Build() const;
  446. TString GetRepr() const;
  447. bool Empty() const;
  448. private:
  449. TMaybe<TString> Explicit;
  450. TNodePtr Node; // atom or evaluation node
  451. TString Repr;
  452. };
  453. struct TWriteSettings {
  454. bool Discard;
  455. TDeferredAtom Label;
  456. };
  457. class TColumnNode final: public INode {
  458. public:
  459. TColumnNode(TPosition pos, const TString& column, const TString& source);
  460. TColumnNode(TPosition pos, const TNodePtr& column, const TString& source);
  461. virtual ~TColumnNode();
  462. bool IsAsterisk() const override;
  463. virtual bool IsArtificial() const;
  464. const TString* GetColumnName() const override;
  465. const TString* GetSourceName() const override;
  466. TAstNode* Translate(TContext& ctx) const override;
  467. void ResetColumn(const TString& column, const TString& source);
  468. void ResetColumn(const TNodePtr& column, const TString& source);
  469. void SetUseSourceAsColumn();
  470. void SetUseSource();
  471. void ResetAsReliable();
  472. void SetAsNotReliable();
  473. bool IsReliable() const;
  474. bool IsUseSourceAsColumn() const;
  475. private:
  476. bool DoInit(TContext& ctx, ISource* src) override;
  477. TPtr DoClone() const final;
  478. void DoUpdateState() const override;
  479. private:
  480. static const TString Empty;
  481. TNodePtr Node;
  482. TString ColumnName;
  483. TNodePtr ColumnExpr;
  484. TString Source;
  485. bool GroupKey = false;
  486. bool Artificial = false;
  487. bool Reliable = true;
  488. bool UseSource = false;
  489. bool UseSourceAsColumn = false;
  490. };
  491. class TArgPlaceholderNode final: public INode
  492. {
  493. public:
  494. static const char* const ProcessRows;
  495. static const char* const ProcessRow;
  496. public:
  497. TArgPlaceholderNode(TPosition pos, const TString &name);
  498. TAstNode* Translate(TContext& ctx) const override;
  499. TString GetName() const;
  500. TNodePtr DoClone() const final;
  501. protected:
  502. bool DoInit(TContext& ctx, ISource* src) override;
  503. private:
  504. TString Name;
  505. };
  506. enum class EAggregateMode {
  507. Normal,
  508. Distinct,
  509. OverWindow,
  510. };
  511. class TTupleNode: public TAstListNode {
  512. public:
  513. TTupleNode(TPosition pos, const TVector<TNodePtr>& exprs);
  514. bool IsEmpty() const;
  515. const TVector<TNodePtr>& Elements() const;
  516. bool DoInit(TContext& ctx, ISource* src) override;
  517. size_t GetTupleSize() const override;
  518. TPtr GetTupleElement(size_t index) const override;
  519. TNodePtr DoClone() const final;
  520. private:
  521. const TVector<TNodePtr> Exprs;
  522. };
  523. class TStructNode: public TAstListNode {
  524. public:
  525. TStructNode(TPosition pos, const TVector<TNodePtr>& exprs);
  526. bool DoInit(TContext& ctx, ISource* src) override;
  527. TNodePtr DoClone() const final;
  528. const TVector<TNodePtr>& GetExprs() {
  529. return Exprs;
  530. }
  531. private:
  532. const TVector<TNodePtr> Exprs;
  533. };
  534. class IAggregation: public INode {
  535. public:
  536. bool IsDistinct() const;
  537. void DoUpdateState() const override;
  538. virtual const TString* GetGenericKey() const;
  539. virtual bool InitAggr(TContext& ctx, bool isFactory, ISource* src, TAstListNode& node, const TVector<TNodePtr>& exprs) = 0;
  540. virtual TNodePtr AggregationTraits(const TNodePtr& type) const;
  541. virtual TNodePtr AggregationTraitsFactory() const = 0;
  542. virtual std::vector<ui32> GetFactoryColumnIndices() const;
  543. virtual void AddFactoryArguments(TNodePtr& apply) const;
  544. virtual TNodePtr WindowTraits(const TNodePtr& type) const;
  545. const TString& GetName() const;
  546. virtual void Join(IAggregation* aggr);
  547. private:
  548. virtual TNodePtr GetApply(const TNodePtr& type) const = 0;
  549. protected:
  550. IAggregation(TPosition pos, const TString& name, const TString& func, EAggregateMode mode);
  551. TAstNode* Translate(TContext& ctx) const override;
  552. TString Name;
  553. const TString Func;
  554. const EAggregateMode AggMode;
  555. TString DistinctKey;
  556. };
  557. enum class EExprSeat: int {
  558. Open = 0,
  559. FlattenBy,
  560. GroupBy,
  561. Projection,
  562. WindowPartitionBy,
  563. Max
  564. };
  565. enum class EExprType: int {
  566. WithExpression,
  567. ColumnOnly,
  568. };
  569. class IJoin;
  570. class ISource: public INode {
  571. public:
  572. virtual ~ISource();
  573. virtual bool IsFake() const;
  574. virtual void AllColumns();
  575. virtual const TColumns* GetColumns() const;
  576. virtual void GetInputTables(TTableList& tableList) const;
  577. /// in case of error unfilled, flag show if ensure column name
  578. virtual TMaybe<bool> AddColumn(TContext& ctx, TColumnNode& column);
  579. virtual void FinishColumns();
  580. virtual bool AddExpressions(TContext& ctx, const TVector<TNodePtr>& columns, EExprSeat exprSeat);
  581. virtual void SetFlattenByMode(const TString& mode);
  582. virtual void MarkFlattenColumns();
  583. virtual bool IsFlattenColumns() const;
  584. virtual bool AddFilter(TContext& ctx, TNodePtr filter);
  585. virtual bool AddGroupKey(TContext& ctx, const TString& column);
  586. virtual TString MakeLocalName(const TString& name);
  587. virtual bool AddAggregation(TContext& ctx, TAggregationPtr aggr);
  588. virtual bool AddFuncOverWindow(TContext& ctx, TNodePtr expr);
  589. virtual void AddTmpWindowColumn(const TString& column);
  590. virtual const TVector<TString>& GetTmpWindowColumns() const;
  591. virtual bool HasAggregations() const;
  592. virtual void AddWindowSpecs(TWinSpecs winSpecs);
  593. virtual bool AddAggregationOverWindow(TContext& ctx, const TString& windowName, TAggregationPtr func);
  594. virtual bool AddFuncOverWindow(TContext& ctx, const TString& windowName, TNodePtr func);
  595. virtual void SetHoppingWindowSpec(THoppingWindowSpecPtr spec);
  596. virtual THoppingWindowSpecPtr GetHoppingWindowSpec() const;
  597. virtual bool IsCompositeSource() const;
  598. virtual bool IsGroupByColumn(const TString& column) const;
  599. virtual bool IsFlattenByColumns() const;
  600. virtual bool IsCalcOverWindow() const;
  601. virtual bool IsOverWindowSource() const;
  602. virtual bool IsStream() const;
  603. virtual bool IsOrdered() const;
  604. virtual TWriteSettings GetWriteSettings() const;
  605. virtual bool SetSamplingOptions(TContext& ctx, TPosition pos, ESampleMode mode, TNodePtr samplingRate, TNodePtr samplingSeed);
  606. virtual bool CalculateGroupingHint(TContext& ctx, const TVector<TString>& columns, ui64& hint) const;
  607. virtual TNodePtr BuildFilter(TContext& ctx, const TString& label, const TNodePtr& groundNode);
  608. virtual TNodePtr BuildFilterLambda(const TNodePtr& groundNode);
  609. virtual TNodePtr BuildFlattenByColumns(const TString& label);
  610. virtual TNodePtr BuildFlattenColumns(const TString& label);
  611. virtual TNodePtr BuildPreaggregatedMap(TContext& ctx);
  612. virtual TNodePtr BuildPrewindowMap(TContext& ctx, const TNodePtr& groundNode);
  613. virtual TNodePtr BuildAggregation(const TString& label);
  614. virtual TNodePtr BuildCalcOverWindow(TContext& ctx, const TString& label, const TNodePtr& ground);
  615. virtual TNodePtr BuildSort(TContext& ctx, const TString& label);
  616. virtual IJoin* GetJoin();
  617. virtual ISource* GetCompositeSource();
  618. virtual bool IsSelect() const;
  619. virtual bool IsTableSource() const;
  620. virtual bool ShouldUseSourceAsColumn(const TString& source);
  621. virtual bool IsJoinKeysInitializing() const;
  622. virtual const TString* GetWindowName() const;
  623. virtual bool DoInit(TContext& ctx, ISource* src);
  624. virtual TNodePtr Build(TContext& ctx) = 0;
  625. virtual TMaybe<TString> FindColumnMistype(const TString& name) const;
  626. virtual bool InitFilters(TContext& ctx);
  627. void AddDependentSource(ISource* usedSource);
  628. bool IsAlias(EExprSeat exprSeat, const TString& label) const;
  629. bool IsExprAlias(const TString& label) const;
  630. bool IsExprSeat(EExprSeat exprSeat, EExprType type = EExprType::WithExpression) const;
  631. TString GetGroupByColumnAlias(const TString& column) const;
  632. virtual TWindowSpecificationPtr FindWindowSpecification(TContext& ctx, const TString& windowName) const;
  633. TIntrusivePtr<ISource> CloneSource() const;
  634. protected:
  635. ISource(TPosition pos);
  636. virtual TAstNode* Translate(TContext& ctx) const;
  637. void FillSortParts(const TVector<TSortSpecificationPtr>& orderBy, TNodePtr& sortKeySelector, TNodePtr& sortDirection);
  638. TNodePtr BuildSortSpec(const TVector<TSortSpecificationPtr>& orderBy, const TString& label, const TNodePtr& ground, bool traits = false);
  639. TVector<TNodePtr>& Expressions(EExprSeat exprSeat);
  640. const TVector<TNodePtr>& Expressions(EExprSeat exprSeat) const;
  641. TNodePtr AliasOrColumn(const TNodePtr& node, bool withSource);
  642. THashSet<TString> ExprAliases;
  643. THashMap<TString, TString> GroupByColumnAliases;
  644. TVector<TNodePtr> Filters;
  645. TSet<TString> GroupKeys;
  646. TVector<TString> OrderedGroupKeys;
  647. std::array<TVector<TNodePtr>, static_cast<unsigned>(EExprSeat::Max)> NamedExprs;
  648. TVector<TAggregationPtr> Aggregations;
  649. TMultiMap<TString, TAggregationPtr> AggregationOverWindow;
  650. TMultiMap<TString, TNodePtr> FuncOverWindow;
  651. TWinSpecs WinSpecs;
  652. THoppingWindowSpecPtr HoppingWindowSpec;
  653. TVector<ISource*> UsedSources;
  654. TString FlattenMode;
  655. bool FlattenColumns = false;
  656. THashMap<TString, ui32> GenIndexes;
  657. TVector<TString> TmpWindowColumns;
  658. };
  659. typedef TIntrusivePtr<ISource> TSourcePtr;
  660. template<>
  661. inline TVector<TSourcePtr> CloneContainer<TSourcePtr>(const TVector<TSourcePtr>& args) {
  662. TVector<TSourcePtr> cloneArgs;
  663. cloneArgs.reserve(args.size());
  664. for (const auto& arg: args) {
  665. cloneArgs.emplace_back(arg ? arg->CloneSource() : nullptr);
  666. }
  667. return cloneArgs;
  668. }
  669. class IJoin: public ISource {
  670. public:
  671. virtual ~IJoin();
  672. virtual IJoin* GetJoin();
  673. virtual TNodePtr BuildJoinKeys(TContext& ctx, const TVector<TDeferredAtom>& names) = 0;
  674. virtual void SetupJoin(const TString& joinOp, TNodePtr joinExpr) = 0;
  675. virtual const THashMap<TString, THashSet<TString>>& GetSameKeysMap() const = 0;
  676. virtual const TSet<TString> GetJoinLabels() const = 0;
  677. protected:
  678. IJoin(TPosition pos);
  679. };
  680. class TListOfNamedNodes final: public INode {
  681. public:
  682. TListOfNamedNodes(TPosition pos, TVector<TNodePtr>&& exprs);
  683. TVector<TNodePtr>* ContentListPtr() override;
  684. TAstNode* Translate(TContext& ctx) const override;
  685. TPtr DoClone() const final;
  686. private:
  687. TVector<TNodePtr> Exprs;
  688. TString Meaning;
  689. };
  690. class TLiteralNode: public TAstListNode {
  691. public:
  692. TLiteralNode(TPosition pos, bool isNull);
  693. TLiteralNode(TPosition pos, const TString& type, const TString& value);
  694. TLiteralNode(TPosition pos, const TString& value, ui32 nodeFlags);
  695. bool IsNull() const override;
  696. const TString* GetLiteral(const TString& type) const override;
  697. void DoUpdateState() const override;
  698. TPtr DoClone() const override;
  699. protected:
  700. bool Null;
  701. bool Void;
  702. TString Type;
  703. TString Value;
  704. };
  705. template<typename T>
  706. class TLiteralNumberNode: public TLiteralNode {
  707. public:
  708. TLiteralNumberNode(TPosition pos, const TString& type, const TString& value);
  709. TPtr DoClone() const override final;
  710. bool DoInit(TContext& ctx, ISource* src) override;
  711. bool IsIntegerLiteral() const override;
  712. };
  713. struct TTableArg {
  714. bool HasAt = false;
  715. TNodePtr Expr;
  716. TDeferredAtom Id;
  717. TString View;
  718. };
  719. TString StringContent(TContext& ctx, const TString& str);
  720. bool TryStringContent(const TString& input, TString& result, ui32& flags, TString& error, TPosition& pos);
  721. TString IdContent(TContext& ctx, const TString& str);
  722. TVector<TString> GetContextHints(TContext& ctx);
  723. TString TypeByAlias(const TString& alias, bool normalize = true);
  724. TNodePtr BuildAtom(TPosition pos, const TString& content, ui32 flags = NYql::TNodeFlags::ArbitraryContent);
  725. TNodePtr BuildQuotedAtom(TPosition pos, const TString& content, ui32 flags = NYql::TNodeFlags::ArbitraryContent);
  726. TNodePtr BuildLiteralNull(TPosition pos);
  727. TNodePtr BuildLiteralVoid(TPosition pos);
  728. /// String is checked as quotable, support escaping and multiline
  729. TNodePtr BuildLiteralSmartString(TContext& ctx, const TString& value);
  730. TNodePtr BuildLiteralRawString(TPosition pos, const TString& value);
  731. TNodePtr BuildLiteralBool(TPosition pos, const TString& value);
  732. TNodePtr BuildEmptyAction(TPosition pos);
  733. TNodePtr BuildTuple(TPosition pos, const TVector<TNodePtr>& exprs);
  734. TNodePtr BuildStructure(TPosition pos, const TVector<TNodePtr>& exprs);
  735. TNodePtr BuildListOfNamedNodes(TPosition pos, TVector<TNodePtr>&& exprs);
  736. TNodePtr BuildArgPlaceholder(TPosition pos, const TString& name);
  737. TNodePtr BuildColumn(TPosition pos, const TString& column = TString(), const TString& source = TString());
  738. TNodePtr BuildColumn(TPosition pos, const TNodePtr& column, const TString& source = TString());
  739. TNodePtr BuildColumn(TPosition pos, const TDeferredAtom& column, const TString& source = TString());
  740. TNodePtr BuildAccess(TPosition pos, const TVector<INode::TIdPart>& ids, bool isLookup);
  741. TNodePtr BuildBind(TPosition pos, const TString& module, const TString& alias);
  742. TNodePtr BuildLambda(TPosition pos, TNodePtr params, TNodePtr body, const TString& resName = TString());
  743. TNodePtr BuildCast(TContext& ctx, TPosition pos, TNodePtr expr, const TString& typeName, const TString& paramOne = TString(), const TString& paramTwo = TString());
  744. TNodePtr BuildBitCast(TContext& ctx, TPosition pos, TNodePtr expr, const TString& typeName, const TString& paramOne = TString(), const TString& paramTwo = TString());
  745. TNodePtr BuildIsNullOp(TPosition pos, TNodePtr a);
  746. TNodePtr BuildUnaryOp(TPosition pos, const TString& opName, TNodePtr a);
  747. TNodePtr BuildBinaryOp(TPosition pos, const TString& opName, TNodePtr a, TNodePtr b);
  748. TNodePtr BuildCalcOverWindow(TPosition pos, const TString& windowName, TNodePtr call);
  749. TNodePtr BuildYsonOptionsNode(TPosition pos, bool autoConvert, bool strict);
  750. TNodePtr BuildShortcutNode(const TNodePtr& node, const TString& baseName);
  751. TNodePtr BuildDoCall(TPosition pos, const TNodePtr& node);
  752. TNodePtr BuildTupleResult(TNodePtr tuple, int ensureTupleSize);
  753. // Implemented in aggregation.cpp
  754. TAggregationPtr BuildFactoryAggregation(TPosition pos, const TString& name, const TString& func, EAggregateMode aggMode, bool multi = false);
  755. TAggregationPtr BuildFactoryAggregationWinAutoarg(TPosition pos, const TString& name, const TString& func, EAggregateMode aggMode);
  756. TAggregationPtr BuildKeyPayloadFactoryAggregation(TPosition pos, const TString& name, const TString& factory, EAggregateMode aggMode);
  757. TAggregationPtr BuildPayloadPredicateFactoryAggregation(TPosition pos, const TString& name, const TString& factory, EAggregateMode aggMode);
  758. TAggregationPtr BuildTwoArgsFactoryAggregation(TPosition pos, const TString& name, const TString& factory, EAggregateMode aggMode);
  759. TAggregationPtr BuildHistogramFactoryAggregation(TPosition pos, const TString& name, const TString& factory, EAggregateMode aggMode);
  760. TAggregationPtr BuildLinearHistogramFactoryAggregation(TPosition pos, const TString& name, const TString& factory, EAggregateMode aggMode);
  761. template <bool HasKey>
  762. TAggregationPtr BuildTopFactoryAggregation(TPosition pos, const TString& name, const TString& factory, EAggregateMode aggMode);
  763. TAggregationPtr BuildTopFreqFactoryAggregation(TPosition pos, const TString& name, const TString& factory, EAggregateMode aggMode);
  764. TAggregationPtr BuildCountDistinctEstimateFactoryAggregation(TPosition pos, const TString& name, const TString& factory, EAggregateMode aggMode);
  765. TAggregationPtr BuildListFactoryAggregation(TPosition pos, const TString& name, const TString& factory, EAggregateMode aggMode);
  766. TAggregationPtr BuildPercentileFactoryAggregation(TPosition pos, const TString& name, const TString& factory, EAggregateMode aggMode);
  767. TAggregationPtr BuildCountAggregation(TPosition pos, const TString& name, const TString& func, EAggregateMode aggMode);
  768. TAggregationPtr BuildUserDefinedFactoryAggregation(TPosition pos, const TString& name, const TString& factory, EAggregateMode aggMode);
  769. typedef std::function<TNodePtr (const TString& baseName, const TNodePtr& node)> TFuncPrepareNameNode;
  770. // Implemented in builtin.cpp
  771. TNodePtr BuildCallable(TPosition pos, const TString& module, const TString& name, const TVector<TNodePtr>& args);
  772. TNodePtr BuildUdf(TContext& ctx, TPosition pos, const TString& module, const TString& name, const TVector<TNodePtr>& args);
  773. TNodePtr BuildBuiltinFunc(
  774. TContext& ctx,
  775. TPosition pos,
  776. TString name,
  777. const TVector<TNodePtr>& args,
  778. const TString& nameSpace = TString(),
  779. EAggregateMode aggMode = EAggregateMode::Normal,
  780. bool* mustUseNamed = nullptr,
  781. TFuncPrepareNameNode funcPrepareNameNode = {}
  782. );
  783. TNodePtr TryBuildDataType(TPosition pos, const TString& stringType);
  784. // Implemented in join.cpp
  785. TString NormalizeJoinOp(const TString& joinOp);
  786. TSourcePtr BuildEquiJoin(TPosition pos, TVector<TSourcePtr>&& sources);
  787. // Implemented in select.cpp
  788. TNodePtr BuildSubquery(TSourcePtr source, const TString& alias, bool inSubquery, int ensureTupleSize = -1);
  789. TNodePtr BuildSubqueryRef(TNodePtr subquery, const TString& alias, int tupleIndex = -1);
  790. TNodePtr BuildSourceNode(TPosition pos, TSourcePtr source, bool checkExist = false);
  791. TSourcePtr BuildMuxSource(TPosition pos, TVector<TSourcePtr>&& sources);
  792. TSourcePtr BuildFakeSource(TPosition pos);
  793. TSourcePtr BuildNodeSource(TPosition pos, const TNodePtr& node);
  794. TSourcePtr BuildTableSource(TPosition pos, const TTableRef& table, bool stream, const TString& label = TString());
  795. TSourcePtr BuildInnerSource(TPosition pos, TNodePtr node, const TString& label = TString());
  796. TSourcePtr BuildRefColumnSource(TPosition pos, const TString& partExpression);
  797. TSourcePtr BuildUnionAll(TPosition pos, TVector<TSourcePtr>&& sources);
  798. TSourcePtr BuildOverWindowSource(TPosition pos, const TString& windowName, ISource* origSource);
  799. TNodePtr BuildOrderBy(TPosition pos, const TVector<TNodePtr>& keys, const TVector<bool>& order);
  800. TNodePtr BuildSkipTake(TPosition pos, const TNodePtr& skip, const TNodePtr& take);
  801. TSourcePtr BuildSelectCore(
  802. TContext& ctx,
  803. TPosition pos,
  804. TSourcePtr source,
  805. const TVector<TNodePtr>& groupByExpr,
  806. const TVector<TNodePtr>& groupBy,
  807. const TVector<TSortSpecificationPtr>& orderBy,
  808. TNodePtr having,
  809. TWinSpecs&& windowSpec,
  810. THoppingWindowSpecPtr hoppingWindowSpec,
  811. TVector<TNodePtr>&& terms,
  812. bool distinct,
  813. TVector<TNodePtr>&& without,
  814. bool stream,
  815. const TWriteSettings& settings
  816. );
  817. TSourcePtr BuildSelect(TPosition pos, TSourcePtr source, TNodePtr skipTake);
  818. enum class ReduceMode {
  819. ByPartition,
  820. ByAll,
  821. };
  822. TSourcePtr BuildReduce(TPosition pos, ReduceMode mode, TSourcePtr source, TVector<TSortSpecificationPtr>&& orderBy,
  823. TVector<TNodePtr>&& keys, TVector<TNodePtr>&& args, TNodePtr udf, TNodePtr having, const TWriteSettings& settings);
  824. TSourcePtr BuildProcess(TPosition pos, TSourcePtr source, TNodePtr with, TVector<TNodePtr>&& terms, bool listCall, bool stream, const TWriteSettings& settings);
  825. TNodePtr BuildSelectResult(TPosition pos, TSourcePtr source, bool writeResult, bool inSubquery);
  826. // Implemented in insert.cpp
  827. TSourcePtr BuildWriteValues(TPosition pos, const TString& opertationHumanName, const TVector<TString>& columnsHint, const TVector<TVector<TNodePtr>>& values);
  828. TSourcePtr BuildWriteValues(TPosition pos, const TString& opertationHumanName, const TVector<TString>& columnsHint, const TVector<TNodePtr>& values);
  829. TSourcePtr BuildWriteValues(TPosition pos, const TString& opertationHumanName, const TVector<TString>& columnsHint, TSourcePtr source);
  830. TSourcePtr BuildUpdateValues(TPosition pos, const TVector<TString>& columnsHint, const TVector<TNodePtr>& values);
  831. EWriteColumnMode ToWriteColumnsMode(ESQLWriteColumnMode sqlWriteColumnMode);
  832. TNodePtr BuildEraseColumns(TPosition pos, const TVector<TString>& columns);
  833. TNodePtr BuildWriteColumns(TPosition pos, const TTableRef& table, EWriteColumnMode mode, TSourcePtr values, TNodePtr options = nullptr);
  834. TNodePtr BuildUpdateColumns(TPosition pos, const TTableRef& table, TSourcePtr values, TSourcePtr source);
  835. TNodePtr BuildDelete(TPosition pos, const TTableRef& table, TSourcePtr source);
  836. // Implemented in query.cpp
  837. TNodePtr BuildTableKey(TPosition pos, const TString& cluster, const TDeferredAtom& name, const TString& view);
  838. TNodePtr BuildTableKeys(TPosition pos, const TString& cluster, const TString& func, const TVector<TTableArg>& args);
  839. TNodePtr BuildInputOptions(TPosition pos, const TVector<TString>& hints);
  840. TNodePtr BuildInputTables(TPosition pos, const TTableList& tables, bool inSubquery);
  841. TNodePtr BuildCreateTable(TPosition pos, const TTableRef& table, const TVector<TColumnSchema>& columns,
  842. const TVector<TIdentifier>& pkColumns, const TVector<TIdentifier>& partitionByColumns,
  843. const TVector<std::pair<TIdentifier, bool>>& orderByColumns);
  844. TNodePtr BuildAlterTable(TPosition pos, const TTableRef& tr, const TVector<TColumnSchema>& columns, EAlterTableIntentnt mode);
  845. TNodePtr BuildDropTable(TPosition pos, const TTableRef& table);
  846. TNodePtr BuildWriteTable(TPosition pos, const TString& label, const TTableRef& table, EWriteColumnMode mode, TNodePtr options = nullptr);
  847. TNodePtr BuildWriteResult(TPosition pos, const TString& label, TNodePtr settings, const TSet<TString>& clusters);
  848. TNodePtr BuildCommitClusters(TPosition pos, const TSet<TString>& clusters = TSet<TString>());
  849. TNodePtr BuildRollbackClusters(TPosition pos, const TSet<TString>& clusters = TSet<TString>());
  850. TNodePtr BuildQuery(TPosition pos, const TVector<TNodePtr>& blocks, bool topLevel);
  851. TNodePtr BuildPragma(TPosition pos, const TString& prefix, const TString& name, const TVector<TDeferredAtom>& values, bool valueDefault);
  852. TNodePtr BuildSqlLambda(TPosition pos, TVector<TString>&& args, TVector<TNodePtr>&& exprSeq);
  853. TNodePtr BuildEvaluateIfNode(TPosition pos, TNodePtr predicate, TNodePtr thenNode, TNodePtr elseNode);
  854. TNodePtr BuildEvaluateForNode(TPosition pos, TNodePtr list, TNodePtr bodyNode, TNodePtr elseNode);
  855. template<class TContainer>
  856. TMaybe<TString> FindMistypeIn(const TContainer& container, const TString& name) {
  857. for (auto& item: container) {
  858. if (NLevenshtein::Distance(name, item) < NYql::DefaultMistypeDistance) {
  859. return item;
  860. }
  861. }
  862. return {};
  863. }
  864. bool Parseui32(TNodePtr from, ui32& to);
  865. TNodePtr GroundWithExpr(const TNodePtr& ground, const TNodePtr& expr);
  866. TSourcePtr TryMakeSourceFromExpression(TContext& ctx, TNodePtr node, const TString& view = {});
  867. void MakeTableFromExpression(TContext& ctx, TNodePtr node, TDeferredAtom& table);
  868. TDeferredAtom MakeAtomFromExpression(TContext& ctx, TNodePtr node);
  869. bool TryMakeClusterAndTableFromExpression(TNodePtr node, TString& cluster, TDeferredAtom& table, TContext& ctx);
  870. TString NormalizeTypeString(const TString& str);
  871. } // namespace NSQLTranslationV0