Rewriting systems as a tool for relational data base design

This publication has 11 references indexed in Scilit:

• Deriving structures from structures
  Published by Springer Nature ,1978
• Independent components of relations
  ACM Transactions on Database Systems, 1977
• Formal languages of labelled graphs
  Computing, 1976
• A constructive definition of third normal form
  Published by Association for Computing Machinery (ACM) ,1976
• Deriving graphs from graphs by applying a production
  Acta Informatica, 1975
• Segment Synthesis in Logical Data Base Design
  IBM Journal of Research and Development, 1975
• Decomposition of a Data Base and the Theory of Boolean Switching Functions
  IBM Journal of Research and Development, 1973
• A data base sublanguage founded on the relational calculus
  Published by Association for Computing Machinery (ACM) ,1971
• A relational model of data for large shared data banks
  Communications of the ACM, 1970
• Separable graphs, planar graphs and web grammars
  Information and Control, 1970