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模型中代表的一些重要信息可能无法转换,在RDS中也没有体现。这种情况造成在转型过程中信息丢失。为了保存信息,我们在上一份研究报告中将转换过程标准化为一对一,并从ER模型到RDS。为此目的,我们修改了ER模型和转换算法,解决了这些模型中存在的一些缺陷。由于测绘是用几个真实世界案例作为基础和核查目的而建立的,因此,为了验证工作,必须有一个正式的校验。因此,为创建证据而正在进行的研究将表明,特定ER模型如何被分割成一套独特的区块,并使用它来代表ER模型本身。将解释如何利用研究结果在今后完成证据。还将讨论关于自动数据库开发、教学概念模型和使用正式方法的研究。