Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Grouping and aggregation #1135

Merged
merged 54 commits into from
Oct 6, 2023
Merged

Grouping and aggregation #1135

merged 54 commits into from
Oct 6, 2023

Commits on Apr 22, 2022

  1. Adding grouping constructs and rewriting normalization of comprehensi… 

    …ons.

Does not compile yet.
    @wricciot
    wricciot committed Apr 22, 2022
    Configuration menu
    Copy the full SHA
    097f3f8 View commit details
    Browse the repository at this point in the history

  2. The code now compiles, but is still untested.

    @wricciot
    wricciot committed Apr 22, 2022
    Configuration menu
    Copy the full SHA
    b95f470 View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2022

  1. Remove traiing whitespace.

    @wricciot
    wricciot committed Apr 25, 2022
    Configuration menu
    Copy the full SHA
    99b5592 View commit details
    Browse the repository at this point in the history

  2. Fixes trivial bug that was mixing up condition and continuation in th… 

    …e new normalization of comprehensions.
    @wricciot
    wricciot committed Apr 25, 2022
    Configuration menu
    Copy the full SHA
    de8430d View commit details
    Browse the repository at this point in the history

Commits on May 3, 2022

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

    This is used in map collections, employed by grouping.

The change propagates to parts of the code that deal with serialization and potentially with lenses.
I changed those parts of the code in the way that appeared most natural, but everything is, of course, experimental.
    @wricciot
    wricciot committed May 3, 2022
    Configuration menu
    Copy the full SHA
    c199356 View commit details
    Browse the repository at this point in the history

  2. Removes trailing whitespace.

    @wricciot
    wricciot committed May 3, 2022
    Configuration menu
    Copy the full SHA
    6112d12 View commit details
    Browse the repository at this point in the history

  3. Adds interpretation of grouping functions into DB queries. 

    Fixes normalization within MapEntry elements.
    @wricciot
    wricciot committed May 3, 2022
    Configuration menu
    Copy the full SHA
    4f949da View commit details
    Browse the repository at this point in the history

Commits on May 9, 2022

  1. Adds query grouping to the prelude. 

    Adds pseudo-typing of grouping queries.
Implements some related FIXMEs and TODOs.
    @wricciot
    wricciot committed May 9, 2022
    1 Configuration menu
    Copy the full SHA
    4b9d9aa View commit details
    Browse the repository at this point in the history

Commits on May 11, 2022

  1. Adds key comprehension to DB queries (supported by a prelude function… 

    … "concatMapKey").

Adds "groupByMap" to the prelude (to allow nested grouping).
    @wricciot
    wricciot committed May 11, 2022
    Configuration menu
    Copy the full SHA
    e5be209 View commit details
    Browse the repository at this point in the history

Commits on May 23, 2022

  1. Flattening-unflattening of records (only for first-order collections/… 

    …maps).
    @wricciot
    wricciot committed May 23, 2022
    Configuration menu
    Copy the full SHA
    5054e30 View commit details
    Browse the repository at this point in the history

Commits on May 30, 2022

  1. Adds record flattening/unflattening to mixing queries.

    @wricciot
    wricciot committed May 30, 2022
    Configuration menu
    Copy the full SHA
    bb78f23 View commit details
    Browse the repository at this point in the history

  2. Can't use empty attribute names in SQL queries, so fix record flatten… 

    …ing accordingly.
    @wricciot
    wricciot committed May 30, 2022
    Configuration menu
    Copy the full SHA
    078e79c View commit details
    Browse the repository at this point in the history

Commits on May 31, 2022

  1. Adds SQL generation for grouping queries. 

    Fixes a bug with bound variable freshening in comprehensions.
    @wricciot
    wricciot committed May 31, 2022
    Configuration menu
    Copy the full SHA
    d2e4f54 View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2022

  1. Fixes normalization of key comprehension and various bugs in record f… 

    …lattening.
    @wricciot
    wricciot committed Jun 4, 2022
    Configuration menu
    Copy the full SHA
    42ba930 View commit details
    Browse the repository at this point in the history

  2. Adds (experimental) support for aggregation.

    @wricciot
    wricciot committed Jun 4, 2022
    Configuration menu
    Copy the full SHA
    e68b3b0 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2023

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

    @wricciot
    wricciot committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    c9d6600 View commit details
    Browse the repository at this point in the history

Commits on Apr 21, 2023

  1. This revision finally compiles queries with group by/aggregation (onl… 

    …y sum over integers is available, temporarily).
    @wricciot
    wricciot committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    758670b View commit details
    Browse the repository at this point in the history

  2. Changed reference to string type used as a "dummy" type to the new ab… 

    …stract Types.wrong_type.
    @wricciot
    wricciot committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    aadfb6d View commit details
    Browse the repository at this point in the history

Commits on May 2, 2023

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

    @wricciot
    wricciot committed May 2, 2023
    Configuration menu
    Copy the full SHA
    5568bc5 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2023

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

    @wricciot
    wricciot committed May 3, 2023
    Configuration menu
    Copy the full SHA
    cfdab50 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2023

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

    @wricciot
    wricciot committed May 10, 2023
    Configuration menu
    Copy the full SHA
    770f1e4 View commit details
    Browse the repository at this point in the history

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

    @wricciot
    wricciot committed May 10, 2023
    Configuration menu
    Copy the full SHA
    6b31075 View commit details
    Browse the repository at this point in the history

  3. Remove trailing whitespace.x

    @wricciot
    wricciot committed May 10, 2023
    Configuration menu
    Copy the full SHA
    31aa6e4 View commit details
    Browse the repository at this point in the history

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

    @wricciot
    wricciot committed May 10, 2023
    Configuration menu
    Copy the full SHA
    d3bf933 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2023

  1. Removed alarming, but (apparently) wrong comment signaling a possible… 

    … bug.
    @wricciot
    wricciot committed May 11, 2023
    Configuration menu
    Copy the full SHA
    a1562f7 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2023

  1. Adds primitive max_int, min_int, infinity, neg_infinity.

    @wricciot
    wricciot committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    c5d6a3f View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2023

  1. SQL/aggBy query generation bug fix.

    @wricciot
    wricciot committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    ef679bb View commit details
    Browse the repository at this point in the history

  2. Adds code to handle more aggregation primitives. 

    Fixes a bug in SQL generation in which the operands of an infix operator were not correctly parenthesised.
    @wricciot
    wricciot committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    bcf7d39 View commit details
    Browse the repository at this point in the history

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

    @wricciot
    wricciot committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    9ef9aca View commit details
    Browse the repository at this point in the history

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

    @wricciot
    wricciot committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    2b82f24 View commit details
    Browse the repository at this point in the history

  5. Adds grouping/aggregation tests.

    @wricciot
    wricciot committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    acd789d View commit details
    Browse the repository at this point in the history

  6. Apply suggestions from code review 

    Prefix unused variables with underscore to stop CI complaining
    @jamescheney
    jamescheney authored Jun 26, 2023
    Configuration menu
    Copy the full SHA
    5213e0c View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2023

  1. Corrects reference to prelude functions.

    @wricciot
    wricciot committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    468683d View commit details
    Browse the repository at this point in the history

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

    @wricciot
    wricciot committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    19f45e1 View commit details
    Browse the repository at this point in the history

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

    @wricciot
    wricciot committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    d1fd6d6 View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2023

  1. Removed out-of-date comment.

    @wricciot
    wricciot committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    f47bc6e View commit details
    Browse the repository at this point in the history

  2. Commented out some debug prints.

    @wricciot
    wricciot committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    f02f371 View commit details
    Browse the repository at this point in the history

  3. Fixes bug in contains_free.

    @wricciot
    wricciot committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    3ccb4e0 View commit details
    Browse the repository at this point in the history

  4. Added/Fixed aggregate functions in type_of_expression.

    @wricciot
    wricciot committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    b6b1ea6 View commit details
    Browse the repository at this point in the history

  5. Remove/fix comments.

    @wricciot
    wricciot committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    4d2cb14 View commit details
    Browse the repository at this point in the history

  6. Commented out debug prints.

    @wricciot
    wricciot committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    6f38582 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2023

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

    @wricciot
    wricciot committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    5b0076d View commit details
    Browse the repository at this point in the history

  2. Fixes silly bug translating all aggregates to SQL sum.

    @wricciot
    wricciot committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    59609ee View commit details
    Browse the repository at this point in the history

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

    @wricciot
    wricciot committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    97583ed View commit details
    Browse the repository at this point in the history

  4. Removes trailing whitespace.

    @wricciot
    wricciot committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    9446356 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2023

  1. Fixes a bug in delateralize, which wasn't considering key comprehensi… 

    …on correctly.

Improves comments/deletes obsolete ones.
    @wricciot
    wricciot committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    2dcf67d View commit details
    Browse the repository at this point in the history

  2. Fixes a latent bug in QueryLang.subst introduced with finite map supp… 

    …ort.

Improves comments. Fixes a syntax error in the grouping query tests.
    @wricciot
    wricciot committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    565e91b View commit details
    Browse the repository at this point in the history

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

    @wricciot
    wricciot committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    2f6374b View commit details
    Browse the repository at this point in the history

  4. Fixes a bug which caused temporal queries to fail when using the mixi… 

    …ng normaliser.

The code to handle temporal tables used in the standard normaliser has been ported to mixing.
Additionally, redundant eta expansion code in MixingQuery.xlate which was creating trouble
with the new temporal query code has been removed.
    @wricciot
    wricciot committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    5381286 View commit details
    Browse the repository at this point in the history

  5. Update CHANGES.md

    @wricciot
    wricciot authored Oct 2, 2023
    Configuration menu
    Copy the full SHA
    8b2a2f0 View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2023

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

    @wricciot
    wricciot committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    7d1a21f View commit details
    Browse the repository at this point in the history

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

    @wricciot
    wricciot committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    e761fdf View commit details
    Browse the repository at this point in the history

  3. Fixes merge in CHANGES.md.

    @wricciot
    wricciot committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    0ff9670 View commit details
    Browse the repository at this point in the history

  4. Update CHANGES.md

    @wricciot
    wricciot authored Oct 6, 2023
    Configuration menu
    Copy the full SHA
    617632a View commit details
    Browse the repository at this point in the history