A formal semantics for Z and the link between Z and the relational algebra
M.J. van Diepen, Kees M. van Hee · TU/e Research Portal · 1989
A formal semantics for Z based on naive settheory is presented.In this approach a so-called Zbase is postulated to be used in the definition of a Zscript (a specification).From a Zbase we may construct a more power full Zbase by a Zscript.This allows us to work in a modular way.In our approach the semantics of a schema is a table from the relation datamodel.This suggests a link with the relational algebra and this link is further explored.