The format model: a theory of database organization

A new theory of data representation involving "formats", which are based on three recurrent and prominent data-structuring concepts, is introduced. In a mathematically rigorous way, a notion of "equivalent" information capacity is defined and shown to be natural in a wide range of contexts. A normal form is introduced, and each equivalence class of formats is shown to have a unique representative in normal form. Finally, a natural way of comparing the information capacity of (non-equivalent) formats is formalized and studied.

[1]  C. Ward Henson,et al.  Correction to: “Some applications of Nevanlinna theory to mathematical logic: identities of exponential functions” [Trans. Amer. Math. Soc. 282 (1984), no. 1, 1–32; MR0728700 (85h:03015)] , 1986 .

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

[3]  Peter Buneman,et al.  FQL: a functional query language , 1979, SIGMOD '79.

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

[5]  G. Hardy.  Properties of Logarithmico‐Exponential Functions , 2022 .

[6]  Ken Isaacson,et al.  I I , 1982 .

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

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

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

[10]  J. D. Uiiman,et al.  Principles of Database Systems , 2004, PODS 2004.

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

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

[13]  Chee-Keng Yap,et al.  Generic transformation of data structures , 1982, 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982).

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

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

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

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

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

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

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

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

[22]  Richard Hull,et al.  The Format Model: A Theory of database Organization , 1984, J. ACM.

[23]  Laurian M. Chirica,et al.  The entity-relationship model: toward a unified view of data , 1975, SIGF.

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

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