© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Automatic Normalisation via Metamodelling
D.H. Akehurst, B. Bordbar, P.J. Rodgers, and N.T.G. Dalgliesh
In ASE 2002 Workshop on Declarative Meta Programming to Support Software Development, pages 182-196, September 2002.Abstract
The process of normalisation has long been accepted as a crucial part of the design for good database systems. By using a declarative approach to the specification of the normalisation rules and a precisely defined transformation, over a meta-model of a database system design language, we can automate the normalisation process. A tool supporting the normalisation of database system designs can subsequently be developed providing an invaluable aid to the software system designer.
Download publication 215 kbytes (PDF)Bibtex Record
@inproceedings{1513, author = {D.H. Akehurst and B. Bordbar and P.J. Rodgers and N.T.G. Dalgliesh}, title = {{A}utomatic {N}ormalisation via {M}etamodelling}, month = {September}, year = {2002}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2002/1513}, publication_type = {inproceedings}, submission_id = {19816_1032771465}, booktitle = {ASE 2002 Workshop on Declarative Meta Programming to Support Software Development }, }