@article(AhoBU79,
 author       = {Alfred V. Aho and Catriel Beeri and Jeffrey D. Ullman},
 year         = {1979},
 title        = {The Theory of Joins in Relational Databases},
 journal      = {ACM Trans. Database Syst.},
 volume       = {4},
 number       = {3},
 pages        = {297--314},
 url          = {http://doi.acm.org/10.1145/320083.320091},
)
@article(AusielloDS83,
 author       = {Giorgio Ausiello and Alessandro D'Atri and Domenico Sacc{\`{a}}},
 year         = {1983},
 title        = {Graph Algorithms for Functional Dependency Manipulation},
 journal      = {J. {ACM}},
 volume       = {30},
 number       = {4},
 pages        = {752--766},
 doi          = {10.1145/2157.322404},
)
@book(termrewrite,
 author       = {Franz Baader and Tobias Nipkow},
 year         = {1998},
 title        = {Term rewriting and all that},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139172752},
)
@article(CallToArms,
 author       = {Antonio Badia and Daniel Lemire},
 year         = {2011},
 title        = {{A Call to Arms: Revisiting Database Design}},
 journal      = {SIGMOD Rec.},
 volume       = {40},
 number       = {3},
 pages        = {61--69},
 doi          = {10.1145/2070736.2070750},
)
@inproceedings(BatiniD78,
 author       = {Carlo Batini and Alessandro D'Atri},
 year         = {1978},
 title        = {Rewriting Systems as a Tool for Relational Data Base Design},
 editor       = {Volker Claus and Hartmut Ehrig and Grzegorz Rozenberg},
 booktitle    = {Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, October 30 - November 3, 1978},
 series       = {Lecture Notes in Computer Science},
 volume       = {73},
 publisher    = {Springer},
 pages        = {139--154},
 doi          = {10.1007/BFb0025717},
)
@inproceedings(BeeriFH77,
 author       = {Catriel Beeri and Ronald Fagin and John H. Howard},
 year         = {1977},
 title        = {A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations},
 editor       = {Diane C. P. Smith},
 booktitle    = {SIGMOD Conference},
 publisher    = {ACM},
 pages        = {47--61},
 url          = {http://doi.acm.org/10.1145/509404.509414},
)
@article(Bernstein76,
 author       = {Philip A. Bernstein},
 year         = {1976},
 title        = {Synthesizing Third Normal Form Relations from Functional Dependencies},
 journal      = {ACM Trans. Database Syst.},
 volume       = {1},
 number       = {4},
 pages        = {277--298},
 url          = {http://doi.acm.org/10.1145/320493.320489},
)
@article(Codd70,
 author       = {E. F. Codd},
 year         = {1970},
 title        = {{A Relational Model of Data for Large Shared Data Banks}},
 journal      = {Communications of the ACM},
 volume       = {13},
 number       = {6},
 pages        = {377--387},
 url          = {http://doi.acm.org/10.1145/362384.362685},
)
@inproceedings(Codd71a,
 author       = {E. F. Codd},
 year         = {1971},
 title        = {Normalized Data Structure: A Brief Tutorial},
 editor       = {E. F. Codd and A. L. Dean},
 booktitle    = {SIGFIDET Workshop},
 publisher    = {ACM},
 pages        = {1--17},
 doi          = {10.1145/1734714.1734716},
)
@incollection(Courcelle90,
 author       = {Bruno Courcelle},
 year         = {1990},
 title        = {Graph Rewriting: An Algebraic and Logic Approach},
 booktitle    = {Handbook of Theoretical Computer Science, Volume {B:} Formal Models and Sematics {(B)}},
 publisher    = {MIT Press},
 pages        = {193--242},
 url          = {https://www.elsevier.com/books/formal-models-and-semantics/unknown/978-0-444-88074-1},
)
@incollection(EmbleyM11,
 author       = {David W. Embley and W. Y. Mok},
 year         = {2011},
 title        = {{Mapping Conceptual Models to Database Schemas}},
 volume       = {XIX},
 publisher    = {Springer},
 pages        = {123--164},
 url          = {http://www.springer.com/computer/swe/book/978-3-642-15864-3},
)
@article(FernandezKP18,
 author       = {Maribel Fern{\'a}ndez and H{\'e}l{\`e}ne Kirchner and Bruno Pinaud},
 year         = {2018},
 title        = {{Strategic Port Graph Rewriting: an Interactive Modelling Framework}},
 journal      = {{Mathematical Structures in Computer Science}},
 pages        = {1--48},
 doi          = {10.1017/S0960129518000270},
 url          = {https://hal.inria.fr/hal-01251871},
)
@incollection(JahnkeZundorf99,
 author       = {J. H. Jahnke and A. Z{\"u}ndorf},
 year         = {1999},
 title        = {{Applying Graph Transformations to Database re-engineering}},
 volume       = {2},
 publisher    = {World Scientific},
 pages        = {267--286},
 url          = {http://www.worldscientific.com/worldscibooks/10.1142/4180},
)
@article(Maier80,
 author       = {David Maier},
 year         = {1980},
 title        = {{Minimum Covers in Relational Database Model}},
 journal      = {J. {ACM}},
 volume       = {27},
 number       = {4},
 pages        = {664--674},
 doi          = {10.1145/322217.322223},
)
@article(MaierMS79,
 author       = {David Maier and Alberto O. Mendelzon and Yehoshua Sagiv},
 year         = {1979},
 title        = {Testing Implications of Data Dependencies},
 journal      = {{ACM} Trans. Database Syst.},
 volume       = {4},
 number       = {4},
 pages        = {455--469},
 doi          = {10.1145/320107.320115},
)
@article(SaiedianS96,
 author       = {Hossein Saiedian and Thomas Spencer},
 year         = {1996},
 title        = {An Efficient Algorithm to Compute the Candidate Keys of a Relational Database Schema},
 journal      = {Comput. J.},
 volume       = {39},
 number       = {2},
 pages        = {124--132},
 doi          = {10.1093/comjnl/39.2.124},
)