Fillottrani, Pablo Rubén

Evidence-based lean logic profiles for conceptual data modelling languages

2018 · arXiv (Cornell University)

Multiple logic-based reconstructions of conceptual data modelling languages such as EER, UML Class Diagrams, and ORM exist. They mainly cover various fragments of the languages and none are formalised such that the logic applies simultaneously …