Language-Integrated Updatable Views

Relational lenses are a modern approach to the view update problem in relational databases. As introduced by Bohannon et al. [5], relational lenses allow the definition of updatable views by the composition of lenses performing individual transformations. Horn et al. [20] provided the first implementation of incremental relational lenses, which demonstrated that relational lenses can be implemented efficiently by propagating changes to the database rather than replacing the entire database state. However, neither approach proposes a concrete language design; consequently, it is unclear how to integrate lenses into a general-purpose programming language, or how to check that lenses satisfy the well-formedness conditions needed for predictable behaviour. In this paper, we propose the first full account of relational lenses in a functional programming language, by extending the Links web programming language. We provide support for higher-order predicates, and provide the first account of typechecking relational lenses which is amenable to implementation. We prove the soundness of our typing rules, and illustrate our approach by implementing a curation interface for a scientific database application

The Principles Of Developing A Management Decision Support System For Scientific Employees

Employees engaged in mental work have become the most valuable assets of any organization in the 21st century. The satisfaction of those involved in mental work requires the provision of objectivity and transparency in their decision-making. This, in turn, entails the development of scientifically motivated decision making mechanisms and scientific-methodological approaches to evaluate their performance based on innovative technologies.The main goal of this article is in development of the scientific and methodological framework for the establishment of a decision support system to manage the employees engaged in mental work and operating in uncertainty. In this regard, initially, the question of evaluating the activities of scientific workers is examined, its characteristic features are determined, and the fuzzy relation model is proposed as a multi-criterion issue formed in uncertainty. Taking into consideration the hierarchical structure of the criteria that allows evaluating the activities of scientific workers, a phased solution method based on an additive aggregation method is proposed. In accordance with the methodology, a functional scheme of the decision support system to manage the scientific personnel is developed. The working principle of each block and the interaction of the blocks are described. The rules for the employees\u27 management decisions are shown by referring to the knowledge production model.Based on the proposed methodological approach, the implementation phases of the decision support system for the management of the scientific workers of the Institute of Information Technology of ANAS are described. To evaluate the employees\u27 performance, the tools to collect initial information, evaluate the system of criteria, define their importance coefficients and mathematical descriptions are provided. Some results of the system software are presented. The opportunities of the system based on the proposed methodology to support enterprise mangers to make scientifically justified decisions are provided

Simulation in manufacturing and business: A review

Copyright @ 2009 Elsevier B.V.This paper reports the results of a review of simulation applications published within peer-reviewed literature between 1997 and 2006 to provide an up-to-date picture of the role of simulation techniques within manufacturing and business. The review is characterised by three factors: wide coverage, broad scope of the simulation techniques, and a focus on real-world applications. A structured methodology was followed to narrow down the search from around 20,000 papers to 281. Results include interesting trends and patterns. For instance, although discrete event simulation is the most popular technique, it has lower stakeholder engagement than other techniques, such as system dynamics or gaming. This is highly correlated with modelling lead time and purpose. Considering application areas, modelling is mostly used in scheduling. Finally, this review shows an increasing interest in hybrid modelling as an approach to cope with complex enterprise-wide systems

Using Links to prototype a Database Wiki

Both relational databases and wikis have strengths that make them attractive for use in collaborative applications. In the last decade, database-backed Web applications have been used extensively to develop valuable shared biological references called curated databases. Databases offer many advantages such as scalability, query optimization and concurrency control, but are not easy to use and lack other features needed for collaboration. Wikis have become very popular for early-stage biocuration projects because they are easy to use, encourage sharing and collaboration, and provide built-in support for archiving, history-tracking and annotation. However, curation projects often outgrow the limited capabilities of wikis for structuring and efficiently querying data at scale, necessitating a painful phase transition to a database-backed Web application. We perceive a need for a new class of general-purpose system, which we call a Database Wiki, that combines flexible wiki-like support for collaboration with robust database-like capabilities for structuring and querying data. This paper presents DBWiki, a design prototype for such a system written in the Web programming language Links. We present the architecture, typical use, and wiki markup language design for DBWiki and discuss features of Links that provided unique advantages for rapid Web/database application prototyping

AiiDA: Automated Interactive Infrastructure and Database for Computational Science

Computational science has seen in the last decades a spectacular rise in the scope, breadth, and depth of its efforts. Notwithstanding this prevalence and impact, it is often still performed using the renaissance model of individual artisans gathered in a workshop, under the guidance of an established practitioner. Great benefits could follow instead from adopting concepts and tools coming from computer science to manage, preserve, and share these computational efforts. We illustrate here our paradigm sustaining such vision, based around the four pillars of Automation, Data, Environment, and Sharing. We then discuss its implementation in the open-source AiiDA platform (http://www.aiida.net), that has been tuned first to the demands of computational materials science. AiiDA's design is based on directed acyclic graphs to track the provenance of data and calculations, and ensure preservation and searchability. Remote computational resources are managed transparently, and automation is coupled with data storage to ensure reproducibility. Last, complex sequences of calculations can be encoded into scientific workflows. We believe that AiiDA's design and its sharing capabilities will encourage the creation of social ecosystems to disseminate codes, data, and scientific workflows.Comment: 30 pages, 7 figure

The Research of Technological Approach to the Modeling of Information and Analytic Provision of Managing an Enterprise

The article is devoted to the solution of actual problems of innovative development of information and analytical provision of managing an enterprise according to the newest technology. A number of recommendations concerning technological upgrading foundation of modernization of information and analytic provision of managing an enterprise are elaborated. Technological approach to the modeling of information provision of business management is substantiated. Actualizing information and analytic provision of managing an enterprise has been carried out in developed flexible information system that is organized as internal network structure. Technological foundation of information and analytical process enterprise to modernize has been considered based on the modern tools of information and communication decisions. Information and analytical provision of managing have been developed through internal and external parallels of impact, which interconnection coordinates theory, methodology and organization of information processes with actualization of its model. The model of information and analytic provision of managing an enterprise according to the individual characteristics of corporate culture, and information environment and development strategy of business entity on the basis of characteristics of technological provision of information process is developed. Information complex has been suggested as developed system with technological process of forming initial data and modernizing processing, transmission and storage of information in accordance with distinctive characteristics of enterprise and general tendencies of its developmen