The following pages link to (Q4728270):
Displaying 6 items.
- Proof system for weakest prespecification (Q1104780) (← links)
- Finite approximatization of languages for representation of system properties: Axiomatization of dependencies (Q1123008) (← links)
- (Q3809316) (← links)
- On derived dependencies and connected databases (Q3983123) (← links)
- Dependencies for an extended object-oriented database model (Q4847153) (← links)
- Bibliography of Ewa Orłowska (Q6599610) (← links)