Deductive conceptualmodels(DCMs) aim at providing a complete specification of information systems,expressing only its logic component.It hasbeenshownthatDCMs have some advantageswith respect to traditional, operational conceptualmodels,but theyaremoredifficult to implement. Wepresentanewapproachtothedesignandimplementation from a DCM. It consistsin deriving from the DCM a new model, which wecall theinternal eventsmodel.This model describestheactionstheinformation systemmustperformin termsof the inputs. The useof this model for databaseand transactionsdesignis discussed.