Expand description
Sheaf-theoretic structures for consistency checking
Implements sheaf structures that enforce local-to-global consistency across distributed data.
Structsยง
- Domain
- Domain of a section (the entities it covers)
- Section
- A section assigns data to a domain
- Sheaf
Inconsistency - Sheaf inconsistency record
- Sheaf
Structure - Sheaf structure for consistency checking