Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and complete with respect to some behavioural equivalence. To achieve this goal, we propose to transform the systems into a normal form with an equivalent semantics. As a first step, we introduce axioms which allow the transfor...

Most object-oriented databases can only be accessed by a programming language rather than a query language, although an ad hoc query facility is a desirable feature of such systems. In this paper, we present a way to process queries to extract data from a collection of interacting objects. We adopt the object-oriented paradigm to describe the operational semantics of queries given as expression...

The W7-X Experiment of the IPP, under construction in Greifswald Germany, is designed to operate in a quasi-steady-state scenario. The database structures and interfaces used for discharge description and execution have to reflect this continuous mode of operation. In close collaboration between the control group of W7-X and the data acquisition group a combined design of the data structures us...

Computerized databases are essential and inseparable components of a vast majority of today's information systems. Database systems are used at all levels of management, research and production to provide uniform access and control of consistent information. A database system implements a data model. A data model is a logical organization of (objects) entities and relationships among objects in...

primary immunodeficiencies are rare diseases, characterized by an increased susceptibility to infections. early diagnosis and appropriate treatment are critical for reducing morbidity and mortality. given the rarity of these diseases, the awareness of these disorders by physicians is often insufficient, leading to delayed diagnosis and inappropriate treatment which are the major causes of sever...

Semantics represents a major problem area for active databases inasmuch as (i) there is no formal framework for defining the abstract semantics of active rules, and (ii) the various systems developed so far have ad-hoc operational semantics that are widely different from each other. This situation contributes to the difficulty of predicting the run-time behavior of sets of rules: thus, ensuring...

Companies have long been taking the assistance of only the operational data of a business process, when analyst make their decisions just on the basis of operational data but the pitfall of this method was that context of the business process was missing therefore decisions made in the light of such analysis were not up-to-date and sometimes inaccurate because decision made just on the basis of...

Semantics represents a major problem area for active databases inasmuch as (i) there is no formal framework for defining the abstract semantics of active rules, and (ii) the various systems developed so far have ad-hoc operational semantics that are widely different from each other. This situation contributes to the difficulty of predicting the run-time behavior of sets of rules: thus, ensuring...

Background: This paper identifies and describes measures of constructs relevant to the adoption or implementation of innovations (i.e., new policies, programs or practices) at the organizational-level. This work is intended to advance the field of dissemination and implementation research by aiding scientists in the identification of existing measures and highlighting methodological issues that...

Provenance is information about the origin, derivation, ownership, or history of an object. It has recently been studied extensively in scientific databases and other settings due to its importance in helping scientists judge data validity, quality and integrity. However, most models of provenance have been stated as ad hoc definitions motivated by informal concepts such as “comes from”, “influ...