HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

A Port Graph Rewriting Approach to Relational Database Modelling

Abstract : We present new algorithms to compute the Syntactic Closure and the Minimal Cover of a set of functional dependencies, using strategic port graph rewriting. We specify a Visual Domain Specific Language to model relational database schemata as port graphs, and provide an extension to port graph rewriting rules. Using these rules we implement strategies to compute a syntactic closure, analyse it and find minimal covers, essential for schema normalisation. The graph program provides a visual description of the computation steps coupled with analysis features not available in other approaches. We prove soundness and completeness of the computed closure. This methodology is implemented in PORGY.
Complete list of metadata

Cited literature [30 references]  Display  Hide  Download

Contributor : Bruno Pinaud Connect in order to contact the contributor
Submitted on : Tuesday, October 15, 2019 - 11:24:47 AM
Last modification on : Tuesday, January 4, 2022 - 6:17:29 AM
Long-term archiving on: : Friday, January 17, 2020 - 8:08:41 AM


paper 11.pdf
Files produced by the author(s)



Maribel Fernández, Bruno Pinaud, Janos Varga. A Port Graph Rewriting Approach to Relational Database Modelling. 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019), Oct 2019, Porto, Portugal. pp.211-227, ⟨10.1007/978-3-030-45260-5_13⟩. ⟨hal-02316336⟩



Record views


Files downloads