Optimize btree key generation

XMLWordPrintableJSON

    • Fully Compatible
    • Quint 3.1.0, Quint Iteration 3.1.1
    • None
    • 3
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      IndexSpec::getKeys() finds the set of index keys for a given document and index key spec. It's used when inserting / updating / deleting a document to update the index entries, and also for performing in memory sorts, deduping $or clauses and for other purposes.

      Right now extracting 10k elements from a nested object field within an array takes on the order of seconds on a decently fast machine. We could see how much we can optimize the implementation.

              Assignee:
              David Storch
              Reporter:
              Aaron Staple (Inactive)
              Votes:
              32 Vote for this issue
              Watchers:
              45 Start watching this issue

                Created:
                Updated:
                Resolved: