ConceptDynamics / CONCEPT
Natural Join of Dependent Domains
Natural join is the largest compatible domain and retains extra constraints.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH5
DOCUMENT LINKS1
Both local restrictions determine the largest domain
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Cartesian Domains Do Not Imply Independencestructural-affinity · Closed
- Complement and Background Chargestructural-affinity · Closed
- Context Extension and Complement Transportstructural-affinity · Closed
- Context Extension Compositionstructural-affinity · Closed
- Dependent Worlds and Typed Imagesstructural-affinity · Closed
- Finite HF Event Presentationsstructural-affinity · Closed
- Full Marginals Do Not Determine a Joint Domainstructural-affinity · Closed
- Parallel Archive Compositionstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance