Generic transformation of data structures

We consider the notion of a (data) format where each format defines a family of data structures. These formats arose from the theory of databases. Previous works have investigated the notion of generic transformations of data structures between formats. We give a novel grouptheoretic view of genericity which unifies the original approaches of Hull-Yap and Aho-Ullman. Among the results are: A necessary and sufficient condition for the existence of generic embeddings; the fact that digraphs cannot be generically embedded in hypergraphs; the striking fact that there is no hypergraph on more than two vertices with the alternating group as its automorphism group, and combinatorial techniques for counting structures with a prescribed automorphism group.

[1]  Arnold L. Rosenberg,et al.  Data Graphs and Addressing Schemes , 1971, J. Comput. Syst. Sci..

[2]  I. N. Kagno.  Linear Graphs of Degree ≤ 6 and their Groups , 1946 .

[3]  Jay Earley,et al.  Toward an understanding of data structures , 1971, SIGFIDET '70.

[4]  Stephen A. Cook,et al.  Proving assertions about programs that manipulate data structures , 1975, STOC.

[5]  L. Lovász.  Combinatorial problems and exercises , 1979 .

[6]  Richard J. Lipton,et al.  The complexity of control structures and data structures , 1975, STOC '75.

[7]  Hans-Werner Six.  A Framework for Data Structures , 1980, WG.

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

[9]  John V. Guttag,et al.  Abstract data types and the development of data structures , 1976, Software Pioneers.

[10]  Robert Cartwright,et al.  A constructive alternative to axiomatic data type definitions , 1980, LISP Conference.

[11]  John C. Reynolds,et al.  Towards a theory of type structure , 1974, Symposium on Programming.

[12]  C. A. R. Hoare,et al.  Ambiguities and insecurities in pascal , 1977, Softw. Pract. Exp..

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

[14]  Richard Hull,et al.  The format model: a theory of database organization , 1982, JACM.

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

[16]  Jan Paredaens,et al.  On the Expressive Power of the Relational Algebra , 1978, Inf. Process. Lett..

[17]  Hans-Dieter Ehrich.  Outline of an Algebraic Theory of Structured Objects , 1976, ICALP.

[18]  J. B. Ward.  Principles of programming , 1956, Electrical Engineering.