The application of data types to database semantic integrity

Data type concepts are used to investigate the extent to which database semantic integrity can be defined and ensured through database structures. Database and datatype concepts are extended mutually to improve the semantic capabilities of both database models and data type systems and to resolve apparent discrepencies between databases and programming languages. To meet database needs, data structuring is developed to form an algebra of data types. A semantically rich database model is used to show that database models can be expressed in terms of data types. Finally, a schema specification language is presented to demonstrate the power of data type tools for the definition of database schemas and for the maintenance of database semantic integrity.