School of Computing

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 },
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014