Now showing items 1-5 of 5

    • Discovering functional dependencies from ontologies 

      Romero Moral, Óscar; Calvanese, Diego; Abelló Gamazo, Alberto; Rodríguez Muro, Mariano (Association for Computing Machinery (ACM), 2009)
      Conference report
      Restricted access - publisher's policy
      Nowadays, it is widely accepted that the data warehouse design task should be largely automated. Furthermore, the data warehouse conceptual schema must be structured according to the multidimensional model and as a ...
    • Discovering functional dependencies from ontologies 

      Romero Moral, Óscar; Calvanese, Diego; Abelló Gamazo, Alberto; Rodríguez Muro, Mariano (2009-04)
      External research report
      Open Access
      Discovering functional dependencies is a fundamental step in the design of relational databases and in most system reengineering processes, such as system maintainability and redesign. Typically, this task has been performed ...
    • OCL-Lite: a decidable (yet expressive) fragment of OCL 

      Queralt Calafat, Anna; Artale, Alessandro; Calvanese, Diego; Teniente López, Ernest (2012)
      Conference report
      Open Access
      UML has become a de facto standard in conceptual modeling. Class diagrams in UML allow one to model the data in the domain of interest by specifying a set of graphical constraints. However, in most cases one needs to provide ...
    • Verifiable UML artifact-centric business process models 

      Calvanese, Diego; Montali, Marco; Estañol Lamarca, Montserrat; Teniente López, Ernest (ACM, 2014)
      Conference report
      Restricted access - publisher's policy
      Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related)aspects. In particular, two main lines ...
    • Verifiable UML artifact-centric business process models (Extended Version) 

      Calvanese, Diego; Montali, Marco; Estañol Lamarca, Montserrat; Teniente López, Ernest (2014-08-21)
      External research report
      Open Access
      Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related) aspects. In particular, two main lines ...