Comprehensive reference for Incremental View Maintenance (IVM) algebraic rules, delta rules for all relational operators, multiplicity approaches, efficiency techniques, and correctness considerations. Auto-loaded when discussing IVM theory, delta computation, view maintenance algorithms, or operator incrementalization.
EnglishReference for Z-sets — the integer-weighted multiset algebra at the heart of DBSP, differential dataflow, and OpenIVM's delta tables. Focused on the algebra itself (definition, group structure, operators) and on its lineage (Green/Tannen K-relations, Koch's Z-relations, Naiad/differential dataflow). Mirrors the structure of Feldera's 01-zsets-and-dbsp.md worked example. For DBSP system details see explain-related-systems; for the broader IVM operator theory see explain-ivm; for compilation/cost work see incrementalization-strategies.
English
AGENT SKILLS ATLASIncludes Explain Ivm and other workflows.
Claude Code
Codex
Cursor
GitHub Copilot
Gemini CLISupported by the Atlas install prompt. Skill-specific requirements vary.
Pack stats
What’s included
Explain Ivm
Comprehensive reference for Incremental View Maintenance (IVM) algebraic rules, delta rules for all relational operators, multiplicity approaches, efficiency techniques, and correctness considerations. Auto-loaded when discussing IVM theory, delta computation, view maintenance algorithms, or operator incrementalization.
Zsets
Reference for Z-sets — the integer-weighted multiset algebra at the heart of DBSP, differential dataflow, and OpenIVM's delta tables. Focused on the algebra itself (definition, group structure, operators) and on its lineage (Green/Tannen K-relations, Koch's Z-relations, Naiad/differential dataflow). Mirrors the structure of Feldera's 01-zsets-and-dbsp.md worked example. For DBSP system details see explain-related-systems; for the broader IVM operator theory see explain-ivm; for compilation/cost work see incrementalization-strategies.
Quick start
- Choose your skills. Select individual skills above, or choose the entire pack.
- Copy the install prompt. Use Copy install prompt above the list.
- Send it to your agent. Paste into your coding agent’s chat. Your agent reviews the source and guides the setup.
Try it with your agent
After installation, start with a request like:
Use the Explain Ivm skill to help with my task.
Ask me for the context you need before getting started.Requirements & license
- A coding agent that can access your project files and install skills.
- Your agent checks each skill’s instructions, dependencies, and permissions during setup.
- Reported license for the skills shown: MIT. The author’s terms apply.