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.

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

Change layout of index references #103

Merged
merged 2 commits into from May 18, 2023
Merged

Change layout of index references #103

merged 2 commits into from May 18, 2023

Conversation

muglug
Copy link
Collaborator

@muglug muglug commented May 18, 2023

This makes it easier for the tool to handle indexes that span multiple columns, so that we can trivially re-use columns a, b of an index spanning a, b, c.

We previously used a hard-coded || delimiter for string keys. This is being replaced with nested dicts. It's harder to reason about from a type perspective, but this option takes up 10% less memory for those tables.

This PR also adds better index retrieval for OR queries — we identify queries applicable to each branch and merge results as necessary.

@muglug muglug merged commit 6b6fd88 into main May 18, 2023
3 checks passed
@muglug muglug deleted the mdob-foo branch May 18, 2023 19:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant