Title: The integration of specification aspets in database design