Rewriting Systems as a Tool for Relational Data Base Design

Methodologies for relational data base design have been extensively studied in the literature, mainly with regard to functional dependencies. Rewriting systems may be used as a formal tool to express transformations between refinements of the model in the design process.

[1]  Dennis Tsichritzis,et al.  Research directions in data base management systems , 1977, SGMD.

[2]  Ugo Montanari,et al.  Separable Graphs, Planar Graphs and Web Grammars , 1970, Inf. Control..

[3]  Azriel Rosenfeld,et al.  Web Grammars , 1969, IJCAI.

[4]  Donald Michie,et al.  Machine Intelligence 7 , 1975 .

[5]  D. C. Tsichritzis,et al.  Data base management systems , 1976 .

[6]  E. F. Codd,et al.  A data base sublanguage founded on the relational calculus , 1971, SIGFIDET '71.

[7]  Ronald Fagin.  The Decomposition Versus Synthetic Approach to Relational Database Design , 1977, VLDB.

[8]  Jorma Rissanen,et al.  Independent components of relations , 1977, TODS.

[9]  Hartmut Ehrig,et al.  Deriving Structures from Structures , 1978, MFCS.

[10]  Václav Rajlich,et al.  Relational Structures and Dynamics of Certain Discrete Systems , 1973, International Symposium on Mathematical Foundations of Computer Science.

[11]  E. F. Codd,et al.  Further Normalization of the Data Base Relational Model , 1971, Research Report / RJ / IBM / San Jose, California.

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

[13]  W. W. Armstrong,et al.  Dependency Structures of Data Base Relationships , 1974, IFIP Congress.

[14]  Philip A. Bernstein,et al.  Comment on "Decomposition of a Data Base and the Theory of Boolean Switching Functions" , 1977, IBM J. Res. Dev..

[15]  C. P. Wang,et al.  Segment Synthesis in Logical Data Base Design , 1975, IBM J. Res. Dev..

[16]  G. C. H. Sharman.  A constructive definition of third normal form , 1976, SIGMOD '76.

[17]  E. F. Codd,et al.  Recent Investigations in Relational Data Base Systems , 1974, ACM Pacific.

[18]  Ugo Montanari,et al.  Towards a Formal Definition of the Control in Structured Programs , 1973, MFCS.