A constraint satisfaction system on the entity and relationship model
Masashi Sato, Masaaki Hashimoto · 2003
Proposes a programming language, called PSDL-GR, that satisfies the constraints on the entity-relationship model. In the software development process, this model is used for describing a universe of discourse, but it has been limited to use as a modeling method rather than a calculus. To integrate the requirements analysis, design and programming phases, the authors introduce the characteristics of a calculus base into this model and use it as a universal language. They briefly describe PSDL-GR and an implementation method using a constraint logic programming language.>