Logics for Conceptual Data Modelling: A Review

Logics for Conceptual Data Modelling: A Review

Blog Article

Information modelling for databases and object-oriented information systems avails of eagles head coach hoodie conceptual data modelling languages such as EER and UML Class Diagrams.Many attempts exist to add logical rigour to them, for various reasons and with disparate strengths.In this paper we aim to provide a structured overview of the many efforts.We focus on aims, approaches to the formalisation, including key dimensions of choice points, popular logics used, click here and the main relevant reasoning services.We close with current challenges and research directions.