Enabling instant- and interval-based semantics in multidimensional data models: the T+MultiDim Model

Time is a vital facet of every human activity. Data warehouses, which are huge repositories of historical information, must provide analysts with rich mechanisms for managing the temporal aspects of information. In this paper, we (i) propose T+MultiDim, a multidimensional conceptual data model enabling both instant- and interval-based semantics over temporal dimensions, and (ii) provide suitable OLAP (On-Line Analytical Processing) operators for querying temporal information. T+MultiDim allows one to design typical concepts of a data warehouse including temporal dimensions, and provides one with the new possibility of conceptually connecting different temporal dimensions for exploiting temporally aggregated data. The proposed approach allows one to specify and to evaluate powerful OLAP queries over information from data warehouses. In particular, we define a set of OLAP operators to deal with interval-based temporal data. Such operators allow the user to derive new measure values associated to different intervals/instants, according to different temporal semantics. Moreover, we propose and discuss through examples from the healthcare domain the SQL specification of all the temporal OLAP operators we define. (C) 2019 Elsevier Inc. All rights reserved

Interval-based temporal functional dependencies: specification and verification

In the temporal database literature, every fact stored in a database may beequipped with two temporal dimensions: the valid time, which describes the time whenthe fact is true in the modeled reality, and the transaction time, which describes the timewhen the fact is current in the database and can be retrieved. Temporal functional dependencies(TFDs) add valid time to classical functional dependencies (FDs) in order to expressdatabase integrity constraints over the flow of time. Currently, proposals dealing with TFDsadopt a point-based approach, where tuples hold at specific time points, to express integrityconstraints such as \u201cfor each month, the salary of an employee depends only on his role\u201d. Tothe best of our knowledge, there are no proposals dealing with interval-based temporal functionaldependencies (ITFDs), where the associated valid time is represented by an intervaland there is the need of representing both point-based and interval-based data dependencies.In this paper, we propose ITFDs based on Allen\u2019s interval relations and discuss theirexpressive power with respect to other TFDs proposed in the literature: ITFDs allow us toexpress interval-based data dependencies, which cannot be expressed through the existingpoint-based TFDs. ITFDs allow one to express constraints such as \u201cemployees starting towork the same day with the same role get the same salary\u201d or \u201cemployees with a given roleworking on a project cannot start to work with the same role on another project that willend before the first one\u201d. Furthermore, we propose new algorithms based on B-trees to efficientlyverify the satisfaction of ITFDs in a temporal database. These algorithms guaranteethat, starting from a relation satisfying a set of ITFDs, the updated relation still satisfies thegiven ITFDs

Eliciting informal specifications from scientific modelers for evaluation and debugging

Professional software engineers have an arsenal of techniques such as unit testing and assertions to check their specifications, but these techniques require tools, motivation, experience and training that programmers without professional software engineering training may not have. As a result, professionals in other fields, such as scientific modelers, face greater hurdles in debugging and validating the programs they write. This thesis introduces the concept of "evaluation abstractions" as a framework for tool designers to think about this kind of support. Evaluation abstractions are the patterns of data in program traces and outputs that programmers examine in order to evaluate software behavior. The thesis provides two intellectual contributions aimed at helping tool designers: (1) A theory of evaluation abstraction support (EAST) that describes at a granular scale the factors contributing to a modeler's decision to use or not use an evaluation abstraction support feature; (2) a new user-centered design methodology, Natural Programming Plus (NP+), specialized for the design of interactive languages aimed at experienced users, in a way that allows for validation early in the process. Using EAST and NP+ I built and evaluated an evaluation abstraction support tool for cognitive modelers (psychologists who study human cognition by writing simulations of cognition), with features that (1) elicit and persist a database of a modeler's evaluation abstractions, in a piecemeal, just-in-time fashion as their questions about model behavior arise, and (2) use the modeler's unique set of evaluation abstractions to structure visualizations, listings, and regression tests, as the modeler continues to maintain and develop the project. Using this tool modelers were able to repeatedly answer questions about model behavior that would have been time-consuming and error-prone to check in state-of-the-art cognitive modeling tools. This dissertation includes formative investigation of modelers' evaluation abstractions, iterative development and testing of interaction designs for elicitation and use of evaluation abstractions, a description of a domain-specific language for representing and transforming evaluation abstractions, and two summative studies showing the usability and generalizability of the technique