Code

Grouping and aggregation#1135

Code

Merged

wricciot merged 54 commits intolinks-lang:masterlinks-lang/links:masterfrom wricciot:groupingwricciot/links:groupingCopy head branch name to clipboardOct 6, 2023

+1,179-263

Commits

Commits on Apr 22, 2022

• Adding grouping constructs and rewriting normalization of comprehensions.

  Show description for 097f3f8
  wricciot

  committed
  097f3f8

• The code now compiles, but is still untested.

  wricciot

  committed
  b95f470

Commits on Apr 25, 2022

• Remove traiing whitespace.

  wricciot

  committed
  99b5592

• Fixes trivial bug that was mixing up condition and continuation in the new normalization of comprehensions.

  wricciot

  committed
  de8430d

Commits on May 3, 2022

• Adds a QueryLang.MapEntry constructor for key-value pairs.

  Show description for c199356
  wricciot

  committed
  c199356

• Removes trailing whitespace.

  wricciot

  committed
  6112d12

• Adds interpretation of grouping functions into DB queries.

  Show description for 4f949da
  wricciot

  committed
  4f949da

Commits on May 9, 2022

• Adds query grouping to the prelude.

  Show description for 4b9d9aa
  wricciot

  committed
  4b9d9aa

Commits on May 11, 2022

• Adds key comprehension to DB queries (supported by a prelude function "concatMapKey").

  Show description for e5be209
  wricciot

  committed
  e5be209

Commits on May 23, 2022

• Flattening-unflattening of records (only for first-order collections/maps).

  wricciot

  committed
  5054e30

Commits on May 30, 2022

• Adds record flattening/unflattening to mixing queries.

  wricciot

  committed
  bb78f23

• Can't use empty attribute names in SQL queries, so fix record flattening accordingly.

  wricciot

  committed
  078e79c

Commits on May 31, 2022

• Adds SQL generation for grouping queries.

  Show description for d2e4f54
  wricciot

  committed
  d2e4f54

Commits on Jun 4, 2022

• Fixes normalization of key comprehension and various bugs in record flattening.

  wricciot

  committed
  42ba930

• Adds (experimental) support for aggregation.

  wricciot

  committed
  e68b3b0

Commits on Mar 27, 2023

• Adding QueryLang.AggBy and corresponding SQL generation. Untested.

  wricciot

  committed
  c9d6600

Commits on Apr 21, 2023

• This revision finally compiles queries with group by/aggregation (only sum over integers is available, temporarily).

  wricciot

  committed
  758670b

• Changed reference to string type used as a "dummy" type to the new abstract Types.wrong_type.

  wricciot

  committed
  aadfb6d

Commits on May 2, 2023

• Allows generalized AggBy with different input/output attribute names.

  wricciot

  committed
  5568bc5

Commits on May 3, 2023

• More accurate sanity check on the syntax of aggBy queries + bugfix.

  wricciot

  committed
  cfdab50

Commits on May 10, 2023

• Implements additional aggregates (min and max still ongoing). Cleanup.

  wricciot

  committed
  770f1e4

• Substitutions, occurs_free, used_database extended to GroupBy/AggBy.

  wricciot

  committed
  6b31075

• Remove trailing whitespace.x

  wricciot

  committed
  31aa6e4

• Merge branch 'master' of github.com:links-lang/links into grouping

  wricciot

  committed
  d3bf933

Commits on May 11, 2023

• Removed alarming, but (apparently) wrong comment signaling a possible bug.

  wricciot

  committed
  a1562f7

Commits on Jun 16, 2023

• Adds primitive max_int, min_int, infinity, neg_infinity.

  wricciot

  committed
  c5d6a3f

Commits on Jun 26, 2023

• SQL/aggBy query generation bug fix.

  wricciot

  committed
  ef679bb

• Adds code to handle more aggregation primitives.

  Show description for bcf7d39
  wricciot

  committed
  bcf7d39

• Merge branch 'master' of github.com:links-lang/links into grouping

  wricciot

  committed
  9ef9aca

• Fixes bug in flattening, used by the grouping code.

  wricciot

  committed
  2b82f24

• Adds grouping/aggregation tests.

  wricciot

  committed
  acd789d

• Apply suggestions from code review

  Show description for 5213e0c
  jamescheney

  authored
  5213e0c

Commits on Jul 14, 2023

• Corrects reference to prelude functions.

  wricciot

  committed
  468683d

• Merge branch 'master' of github.com:links-lang/links into grouping

  wricciot

  committed
  19f45e1

• Merge branch 'grouping' of github.com:wricciot/links into grouping

  wricciot

  committed
  d1fd6d6

Commits on Aug 28, 2023

• Removed out-of-date comment.

  wricciot

  committed
  f47bc6e

• Commented out some debug prints.

  wricciot

  committed
  f02f371

• Fixes bug in contains_free.

  wricciot

  committed
  3ccb4e0

• Added/Fixed aggregate functions in type_of_expression.

  wricciot

  committed
  b6b1ea6

• Remove/fix comments.

  wricciot

  committed
  4d2cb14

• Commented out debug prints.

  wricciot

  committed
  6f38582

Commits on Aug 30, 2023

• Fixes prelude function "avg" to return a Float rather than an Int.

  wricciot

  committed
  5b0076d

• Fixes silly bug translating all aggregates to SQL sum.

  wricciot

  committed
  59609ee

• Enable slow but functional test links-lang#3 in grouping.links.

  wricciot

  committed
  97583ed

• Removes trailing whitespace.

  wricciot

  committed
  9446356

Commits on Oct 2, 2023

• Fixes a bug in delateralize, which wasn't considering key comprehension correctly.

  Show description for 2dcf67d
  wricciot

  committed
  2dcf67d

• Fixes a latent bug in QueryLang.subst introduced with finite map support.

  Show description for 565e91b
  wricciot

  committed
  565e91b

• Merge branch 'master' of github.com:links-lang/links into grouping

  wricciot

  committed
  2f6374b

• Fixes a bug which caused temporal queries to fail when using the mixing normaliser.

  Show description for 5381286
  wricciot

  committed
  5381286

• Update CHANGES.md

  wricciot

  authored
  8b2a2f0

Commits on Oct 6, 2023

• Merge branch 'master' of github.com:links-lang/links into grouping

  wricciot

  committed
  7d1a21f

• Merge branch 'grouping' of github.com:wricciot/links into grouping

  wricciot

  committed
  e761fdf

• Fixes merge in CHANGES.md.

  wricciot

  committed
  0ff9670

• Update CHANGES.md

  wricciot

  authored
  617632a