An integrated data base language

In this document, a language, HYPOL is described. HYPOL represents efforts towards arriving atan integrated language, unified from the points of view of computation, data base definition/manipulation and access control. In arriving at this language the capability concept, as it exists in operating systems, has been used to define access control requirements of a user. Further, the relation has been treated as a sequentisl file of records with appropriste operations defined on it. The type data submodel of HYPOL defines, in a unified manner, the part of the data base seen by a user as well as his access rights over it. Facilities exist to dynamically create new data submodels or to destroy existing ones. Care has been taken to ensure that the language HYPOL helps in writing structured programs.