Generalising the Z schema calculus: database schemas and beyond | IEEE Conference Publication | IEEE Xplore