The application of data types to database semantic integrity

Abstract 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.

[1]  Lawrence A. Rowe,et al.  Programming languages for relational database systems , 1978, AFIPS National Computer Conference.

[2]  Ben Shneiderman,et al.  Improving the human factors aspect of database interactions , 1978, TODS.

[3]  James H. Morris,et al.  Types are not sets , 1973, POPL.

[4]  Anthony I. Wasserman.  The data management facilities of PLAIN , 1979, SIGMOD '79.

[5]  Charles W. Bachman,et al.  The Role Concept in Data Models , 1977, VLDB.

[6]  John Mylopoulos,et al.  A language facility for designing interactive database-intensive applications , 1978, SIGMOD '78.

[7]  John Mylopoulos,et al.  A language facility for designing database-intensive applications , 1980, TODS.

[8]  Malcolm P. Atkinson.  Programming Languages and Databases , 1978, VLDB.

[9]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

[10]  William Kent,et al.  Limitations of record-based information models , 1979, TODS.

[11]  C. A. R. Hoare.  Data reliability , 1975 .

[12]  Joachim W. Schmidt,et al.  Some high level language constructs for data of type relation , 1977, TODS.

[13]  John V. Guttag,et al.  The specification and application to programming of abstract data types. , 1975 .

[14]  Butler W. Lampson,et al.  Notes on the design of Euclid , 1977 .

[15]  Michael L. Brodie.  Data Abstracting, Databases, and Conceptual Modelling: An Annotated Bibliography | NIST , 1980 .

[16]  Diane C. P. Smith,et al.  Database abstractions: aggregation and generalization , 1977, TODS.

[17]  Craig Schaffert,et al.  Abstraction mechanisms in CLU , 1977, Commun. ACM.

[18]  Michael L. Brodie,et al.  What is the Use of Abstract Data Types? , 1978, VLDB.

[19]  Dennis Tsichritzis,et al.  LSL: a Link and Selector Language , 1976, SIGMOD '76.

[20]  Ben Wegbreit,et al.  The treatment of data types in EL1 , 1974, CACM.

[21]  Heinrich C. Mayr,et al.  Data abstractions for database systems , 1979, TODS.

[22]  J. J. Horning,et al.  Report on the programming language Euclid , 1977, SIGP.

[23]  Giampio Bracchi,et al.  Mapping external views to a common data model , 1978, Inf. Syst..

[24]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

[25]  Tony Hoare,et al.  Notes on Data Structuring , 1972 .

[26]  Joachim W. Schmidt,et al.  Type Concepts for Database Definition , 1978, JCDKB.