In database development, a conceptual model is created, in the form of an Entity-relationship(ER) model, and transformed to a relational database schema (RDS) to create the database. However, some important information represented on the ER model may not be transformed and represented on the RDS. This situation causes a loss of information during the transformation process. With a view to preserving information, in our previous study, we standardized the transformation process as a one-to-one and onto mapping from the ER model to the RDS. For this purpose, we modified the ER model and the transformation algorithm resolving some deficiencies existed in them. Since the mapping was established using a few real-world cases as a basis and for verification purposes, a formal-proof is necessary to validate the work. Thus, the ongoing research aiming to create a proof will show how a given ER model can be partitioned into a unique set of segments and use it to represent the ER model itself. How the findings can be used to complete the proof in the future will also be explained. Significance of the research on automating database development, teaching conceptual modeling, and using formal methods will also be discussed.

中文翻译：

---

ER 模型分区：迈向值得信赖的自动化系统开发

在数据库开发中，以实体关系（ER）模型的形式创建概念模型，并将其转换为关系数据库模式（RDS）以创建数据库。但是，在 ER 模型上表示的一些重要信息可能不会在 RDS 上进行转换和表示。这种情况会导致转换过程中的信息丢失。为了保留信息，在我们之前的研究中，我们将转换过程标准化为从 ER 模型到 RDS 的一对一映射。为此，我们修改了 ER 模型和转换算法，解决了其中存在的一些缺陷。由于映射是使用一些真实案例作为基础并用于验证目的而建立的，因此需要形式证明来验证工作。因此，正在进行的旨在创建证明的研究将展示如何将给定的 ER 模型划分为一组独特的段并使用它来表示 ER 模型本身。还将解释如何使用这些发现来完成未来的证明。还将讨论自动化数据库开发、教授概念建模和使用形式方法的研究意义。