Skip to content

docs(concepts): memo groups, properties, requirements, per-stage interfaces and rules #1224

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

Open
zzylol wants to merge 44 commits into
base: main
Choose a base branch
from
+1,379 −0
Open

docs(concepts): memo groups, properties, requirements, per-stage interfaces and rules #1224

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
44 commits
Select commit Hold shift + click to select a range
991e67f
docs(concepts): memo groups, properties, requirements and the propert…
zzylol Nov 5, 2026
965a556
docs(concepts): memo group as expression, input requirements and cand…
zzylol Nov 5, 2026
a039b05
docs(concepts): align memo group, candidate, property and requirement…
zzylol Nov 5, 2026
a2e24d5
docs(concepts): data structures and interfaces per stage, from the #1…
zzylol Nov 5, 2026
cd81177
docs(concepts): keep the per-stage interfaces as section 3, drop the …
zzylol Nov 5, 2026
238e6bb
docs(concepts): sections 1-2 in the formulation's terms; section 4 ru…
zzylol Nov 5, 2026
35934a8
docs(concepts): error propagation function per consumer; validity and…
zzylol Nov 5, 2026
9c5fca3
docs(concepts): ErrorPropagation approved
zzylol Nov 5, 2026
e2235db
docs(concepts): λ is a propagation factor read from the query expression
zzylol Nov 5, 2026
21d44da
docs(concepts): keep the candidate's origin, listed as not in the for…
zzylol Nov 5, 2026
6f487bd
docs(concepts): consumer and query/context instead of reader; Physica…
zzylol Nov 5, 2026
47fea02
docs(concepts): section 5, printing every logical DAG a memo group re…
zzylol Nov 5, 2026
b890866
docs(concepts): section 5 size bound; reaches covers self-reads
zzylol Nov 5, 2026
21efef0
docs(concepts): logical properties and requirement mirror the physica…
zzylol Nov 5, 2026
2004cda
docs(concepts): drop fields other things fix; LogicalProperties {para…
zzylol Nov 5, 2026
17f34e3
docs(concepts): parameter_list approved
zzylol Nov 5, 2026
40c3e43
docs(concepts): context_times -> Context::evaluation_schedule
zzylol Nov 5, 2026
cb59c4a
docs(concepts): constraints, not rows (constraint (K), *_constraints …
zzylol Nov 6, 2026
cbc2654
Update memo-groups-properties-requirements.md
zzylol Nov 6, 2026
210de2b
docs(concepts): fix review issues: one Memo type, decision tree resto…
zzylol Nov 6, 2026
eccf690
docs(concepts): delete both consumer-count policies; no constraint (J)
zzylol Nov 6, 2026
afee671
docs(concepts): (K) encoding approved; worst-case counting affects bo…
zzylol Nov 6, 2026
816ab36
docs(concepts): running example follows the metric rule (B reads a DD…
zzylol Nov 6, 2026
f3687a0
docs(concepts): retention need = time horizon of the served queries; …
zzylol Nov 6, 2026
3f327a6
docs(concepts): CandidateForMemoGroupId.index -> index_in_group
zzylol Nov 6, 2026
155a462
docs(concepts): define schedule σ; a grid window is readable once it …
zzylol Nov 6, 2026
0208f45
docs(concepts): drop the physical schedule σ; p^phys = (τ, ℓ), grids …
zzylol Nov 6, 2026
407a533
docs(concepts): theta listed, floors free; heap 1-2-5 steps; one eval…
zzylol Nov 6, 2026
6627513
docs(concepts): rename the interfaces as agreed with the reviewer
zzylol Nov 6, 2026
79ac5fd
docs(concepts): note the empty parameter lists of unsized families (#…
zzylol Nov 6, 2026
f9c8aa4
docs(concepts): execution contexts reuse the workload's recurrence; o…
zzylol Nov 6, 2026
2d136e6
docs(concepts): Memo methods return Result; CandidateError
zzylol Nov 6, 2026
a77c8ad
docs(concepts): a memo group is its expression; private Memo groups
zzylol Nov 6, 2026
cca5eee
docs(concepts): GroupProperties derived from input groups; SummaryDef…
zzylol Nov 6, 2026
cf09534
docs(concepts): SummaryStateDefinition, OperatorInput and MemoGroupAs…
zzylol Nov 6, 2026
a38adb8
docs(concepts): unlifted_operators; point to the derivation examples
zzylol Nov 6, 2026
c23fe4e
docs(concepts): unlifted_operators name the groups their subqueries read
zzylol Nov 6, 2026
4fef7a7
docs(concepts): column lineage replaces table qualifiers, with memo-g…
zzylol Nov 6, 2026
48e410d
docs(concepts): input_group is optional when Scan predicates lift; de…
zzylol Nov 6, 2026
d62b58c
docs(concepts): SourceColumn is one struct shared by lineage and summ…
zzylol Nov 7, 2026
3996777
docs(concepts): chain groups, general rollup rule, dead-candidate eli…
zzylol Nov 7, 2026
bde2ff6
docs(concepts): no executor-support check, ingestion-time counter and…
zzylol Nov 7, 2026
206d84b
docs(concepts): Stage 2 entry returns no Result; current crate path
zzylol Nov 7, 2026
1f0292a
docs(concepts): IntervalConstraintLimit replaces TimeBound, with exam…
zzylol Nov 7, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions docs/design_docs/concepts/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,3 +7,4 @@ These pages introduce the vocabulary and representations used throughout the rep
- [Mapping concepts](asap-aware-mapping.md)
- [Pre-ASAP IR](pre-asap-ir.md)
- [Post-ASAP IR](post-asap-ir.md)
- [Memo groups, properties and requirements](memo-groups-properties-requirements.md)
Loading
Loading