The Format Model: A Theory of database Organization

A mathematical theory for the study of data representation indatabases is introduced and developed. The theory focuses on threedata constructs (collection, composition and classification)."Formats" with semantically rich yet tractable structure are builtrecursively using these constructs. Using formats, we obtainseveral nontrivial results concerning notions of relativeinformation capacity and restructuring of data sets. As such, theformat model provides a new approach for the formal study of theconstruction of "user views" and other data manipulations indatabases.

[1]  Peter Buneman,et al.  An implementation technique for database query languages , 1982, TODS.

[2]  Jeffrey D. Ullman,et al.  Principles of Database Systems , 1980 .

[3]  Colm Ó'Dúnlaing,et al.  Generic transformation of data structures , 1982, FOCS 1982.

[4]  Dennis McLeod,et al.  Database description with SDM: a semantic database model , 1981, TODS.

[5]  Irving L. Traiger,et al.  Views, authorization, and locking in a relational data base system , 1975, AFIPS '75.

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

[7]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[8]  Antonio L. Furtado,et al.  A Temporal Framework for Database Specifications , 1982, VLDB.

[9]  Hans Albrecht Schmid,et al.  On the semantics of the relational data model , 1975, SIGMOD '75.

[10]  Erich J. Neuhold,et al.  A Data Type Approach to the Entity-Relationship Approach , 1979, ER.

[11]  Diane C. P. Smith,et al.  Database abstractions: aggregation , 1977, CACM.

[12]  Claude Delobel,et al.  Normalization and hierarchical dependencies in the relational data model , 1978, TODS.

[13]  Peter Buneman,et al.  Constructing superviews , 1981, SIGMOD '81.

[14]  David W. Shipman,et al.  The functional data model and the data languages DAPLEX , 1981, TODS.

[15]  David W. Shipman.  The functional data model and the data language DAPLEX , 1979, SIGMOD '79.

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

[17]  S. B. Yao,et al.  View Modeling and Integration Using the Functional Data Model , 1982, IEEE Transactions on Software Engineering.

[18]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[19]  Stanley Y. W. Su,et al.  A Semantic Association Model for Conceptual Design , 1979, International Conference on Conceptual Modeling.

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

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

[22]  Alfred V. Aho,et al.  Universality of data retrieval languages , 1979, POPL.