Fillottrani, PR and Keet, CM (2024) Logics for Conceptual Data Modelling: A Review, Transactions on Graph Data and Knowledge, 2, 1-30, Dagstuhl.
Text
TGDK.2.1.4.pdf Download (1MB) |
Abstract
Information modelling for databases and object-oriented information systems avails of 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, and the main relevant reasoning services. We close with current challenges and research directions.
Item Type: | Journal article (paginated) |
---|---|
Subjects: | Computing methodologies > Artificial intelligence > Knowledge representation and reasoning Software and its engineering > Software organization and properties > Software system structures > Software system models > Entity relationship modeling Software and its engineering > Software notations and tools > System description languages > Unified Modeling Language (UML) |
Alternate Locations: | https://doi.org/10.4230/TGDK.2.1.4 |
Date Deposited: | 10 Aug 2024 13:32 |
Last Modified: | 10 Aug 2024 13:32 |
URI: | https://pubs.cs.uct.ac.za/id/eprint/1684 |
Actions (login required)
View Item |