Worktable as Continuations

Not sure why I came again to this interesting paper One WITH RECURSIVE is Worth Many GOTOs. Daily work on Greenplum makes me think and inspires me to learn knowledge in different areas of computer science. This paper was accepted in the same SIGMOD as Greenplum’s HTAP paper and I have a vague impression of it. Recently three tasks in my work made me peruse the paper:

  1. Fix a customer JIRA on recursive CTE
  2. Answer questions from my colleague on the implementation of KNN in Greenplum (I advise using lateral join with some enhancement of Optimizer)
  3. My own spike on the labels as values skill in Greenplum(Postgres)’s expression valuation

This paper uses recursive CTE, Lateral Join and Union All with filters to implement control structure such as Loop, Condition in PLPGSQL. So now is a good time to start a new tour.

Continue reading

Notes of Programming Languages and Lambda Calculi

During the spring festival of 2021, most of my time is spent on the SIGMOD paper revision (good luck to me:), also at the same time, I spend some time reading the note:

Felleisen, Matthias, and Matthew Flatt. “Programming languages and lambda calculi.” https://users.cs.utah.edu/~mflatt/past-courses/cs7520/public_html/s06/notes.pdf

Continue reading