Static Analysis of Transactional IntensionalDatabasesExtended
نویسندگان
چکیده
This paper proposes a formal framework to statically analyze intensional databases modeling transactional behavior. The considered language is U-Datalog, an extension of Datalog modeling updates and transactions. The analysis, performed at compile time, provides information about certain types of situations that may arise at execution time such as aborts, inconsistencies and failures. These information can be used to check the correctness of the database and to optimize transactions saving useless computation. The paper proposes a formal model and an algorithm for the analysis.
منابع مشابه
Detecting concurrency anomalies in transactional memory programs
Concurrent programs may suffer from concurrency anomalies that may lead to erroneous and unpredictable program behaviors. To ensure program correctness, these anomalies must be diagnosed and corrected. This paper addresses the detection of both lowand high-level anomalies in the Transactional Memory setting. We propose a static analysis procedure and a framework to address Transactional Memory ...
متن کاملComparing the Effectiveness of Reality Therapy and Transactional Analysis Approach on Stress Coping Strategies in Infertile Women
Introduction: Infertile women face many problems in their personal lives and infertility is accompanied with many psychological injuries including increased stress, which requires to the use of psychological interventions. Therefore, present research aimed to comparing the effectiveness of reality therapy and transactional analysis approach on stress coping strategies in infertile women. Method...
متن کاملThe effect of transactional analysis group training in psychological hardiness among married women
Psychological hardiness is protective against life difficulties. Hence, it is important to find methods for its improvement. Therefore, this study aimed to evaluate the effect of transactional analysis group training in increasing psychological hardiness among married women. This study was a quasi-experimental researched designed as pretest-posttest with control group. Statistical population co...
متن کاملThe Impact of the Training in Transactional Analysis on Emotional Self-Regulation of Female Students who were in Conflict with their Parents
This study was carried out to examine how effective the training in transactional analysis is in the emotional self-regulation of female senior high school students who were in conflict with their parents. This applied, quasi-experimental study had a pretest-posttest control group design. The statistical population of study comprised all senior high school girls in 2017-18 school year in Kamya...
متن کاملTBD A Transactional Memory with Automatic Performance Tuning
A significant obstacle to the acceptance of transactional memory (TM) in real-world parallel programs is the abundance of substantially different TM algorithms. Each TM algorithm appears well-suited to certain workload characteristics, but the best choice of algorithm is sensitive to program inputs, available cores, and program phases. Furthermore, operating system and hardware characteristics ...
متن کامل