面向对象数据库建模方法与逻辑设计

The Global Properties of Valid Formulas in Modal Logic K

本文首先给出了一种用于信息建模的对象式系统分析模型，即对象关系模型ＯＲＭ（Ｏｂｊｅｃｔ－ＲｅｌａｔｉｏｎＭｏｄｅｌ）：其次介绍了对象关系模型的正确性问题；最后介绍了用对象关系模型进行数据库逻辑设计的方法和步骤。这种模型是对实体联系国（Ｅ—Ｒ图）的扩充，更适合面向对象数据库的设计；又因ＯＲＭ模型便于图形描述，因而，支持数据库设计信息建模的辅助软件工具也易于开发实现。