UCT CS Research Document Archive

Evidence-based Languages for Conceptual Data Modelling Profiles

Fillottrani, Pablo Ruben and C. Maria Keet (2015) Evidence-based Languages for Conceptual Data Modelling Profiles. In Morzy, T, P Valduriez and L Bellatreche, Eds. Proceedings 19th Conference on Advances in Databases and Information Systems (ADBIS'15) 9282, pages 215-229, Poitiers, France.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.


To improve database system quality as well as runtime use of conceptual models, many logic-based reconstructions of conceptual data modelling languages have been proposed in a myriad of logics. They each cover their features to a greater or lesser extent and are typically motivated from a logic viewpoint. This raises questions such as what would be an evidence-based common core and what is the optimal language profile for a conceptual modelling language family. Based on a common metamodel of UML Class Diagrams (v2.4.1), ER/EER, and ORM/2's static elements, a set of 101 conceptual models, and availing of computational complexity insights from Description Logics, we specify these profiles. There is no known DL language that matches exactly the features of those profiles and the common core is small (in the tractable $\mathcal{ALNI}$). Although hardly any inconsistencies can be derived with the profiles, it is promising for scalable runtime use of conceptual data models.

EPrint Type:Conference Paper
Keywords:conceptual data model, UML, EER, ORM, Description Logics
Subjects:F Theory of Computation: F.3 LOGICS AND MEANINGS OF PROGRAMS
H Information Systems: H.2 DATABASE MANAGEMENT
ID Code:1030
Deposited By:Keet, C. Maria
Deposited On:19 September 2015
Alternative Locations:http://www.meteck.org/files/ADBIS15profiles.pdf, http://www.springer.com/us/book/9783319232003