The following pages link to Categorical data-specifications (Q4888795):
Displaying 7 items.
- Proving semantical equivalence of data specifications (Q678825) (← links)
- Functorial data migration (Q714735) (← links)
- Fibrations and universal view updatability (Q2464937) (← links)
- Entity-relationship-attribute designs and sketches (Q2768442) (← links)
- Sketch data models, relational schema and data specifications (Q2841257) (← links)
- Three approaches to partiality in the sketch data model (Q2843913) (← links)
- (Q3835006) (← links)