The following pages link to (Q5689986):
Displaying 5 items.
- Formal systems for join dependencies (Q1071524) (← links)
- Finite approximatization of languages for representation of system properties: Axiomatization of dependencies (Q1123008) (← links)
- An axiomatics for multivalued dependences in tabular databases (Q3464168) (← links)
- Independent and Separable Database Schemes (Q3801109) (← links)
- Pragmatic Formal Specification of System Properties by Tables (Q5256357) (← links)