Semantic-constraint modelling for small database management systems