The research done for this paper was part of the author's task as a member of the Stored-Data Definition end Translation Task Group. members of this group contributed many ideas and helpful criticisms. The author's work was supported by the Information Systems Branch of the Office of Naval Research on Contract N00014-67-A-0216-0007.