一个基于形式化方法的工具，用于面向对象的数据库建模和设计

Proceedings of 6th International Workshop on Computer-Aided Software Engineering Pub Date : 1993-07-19 DOI:10.1109/CASE.1993.634814

M. Teisseire, P. Poncelet, R. Cicchetti

{"title":"一个基于形式化方法的工具，用于面向对象的数据库建模和设计","authors":"M. Teisseire, P. Poncelet, R. Cicchetti","doi":"10.1109/CASE.1993.634814","DOIUrl":null,"url":null,"abstract":"A formal approach for object-oriented database modeling and design is presented. It is based on the IFO/sub 2/ model, an extension of the semantic model IFO defined by S. Abiteboul and R. Hull (1987). The approach is illustrated through the mapping formalization of the IFO/sub 2/ model into the O/sub 2/ model. This work, supported by an External European Research Project in collaboration with Digital Equipment Corporation, comes within the scope of a larger project whose aim is to realize a computer aided system for advanced applications modeling and design.","PeriodicalId":442754,"journal":{"name":"Proceedings of 6th International Workshop on Computer-Aided Software Engineering","volume":"16 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"A tool based on a formal approach for object-oriented database modeling and design\",\"authors\":\"M. Teisseire, P. Poncelet, R. Cicchetti\",\"doi\":\"10.1109/CASE.1993.634814\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A formal approach for object-oriented database modeling and design is presented. It is based on the IFO/sub 2/ model, an extension of the semantic model IFO defined by S. Abiteboul and R. Hull (1987). The approach is illustrated through the mapping formalization of the IFO/sub 2/ model into the O/sub 2/ model. This work, supported by an External European Research Project in collaboration with Digital Equipment Corporation, comes within the scope of a larger project whose aim is to realize a computer aided system for advanced applications modeling and design.\",\"PeriodicalId\":442754,\"journal\":{\"name\":\"Proceedings of 6th International Workshop on Computer-Aided Software Engineering\",\"volume\":\"16 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-07-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 6th International Workshop on Computer-Aided Software Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CASE.1993.634814\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 6th International Workshop on Computer-Aided Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CASE.1993.634814","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 7

摘要

提出了一种面向对象数据库建模和设计的形式化方法。它基于IFO/sub 2/模型，这是S. Abiteboul和R. Hull(1987)定义的语义模型IFO的扩展。通过将IFO/sub 2/模型映射形式化到O/sub 2/模型来说明该方法。这项工作由欧洲外部研究项目与Digital Equipment Corporation合作支持，属于一个更大项目的范围，该项目的目标是实现用于高级应用建模和设计的计算机辅助系统。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A tool based on a formal approach for object-oriented database modeling and design

A formal approach for object-oriented database modeling and design is presented. It is based on the IFO/sub 2/ model, an extension of the semantic model IFO defined by S. Abiteboul and R. Hull (1987). The approach is illustrated through the mapping formalization of the IFO/sub 2/ model into the O/sub 2/ model. This work, supported by an External European Research Project in collaboration with Digital Equipment Corporation, comes within the scope of a larger project whose aim is to realize a computer aided system for advanced applications modeling and design.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of 6th International Workshop on Computer-Aided Software Engineering

自引率

0.00%

发文量