Functionally Specified Distributed Transactions in Co-operative Scenarios

Addresses the problem of specifying co-operative, distributed transactions in a manner that can be subject to verification and testing. Our approach combines the process-algebraic language LOTOS and the object-oriented database modelling language TM to obtain a clear and formal protocol for distributed database transactions meant to describe co-operation scenarios. We argue that a separation of concerns, namely the interaction of database applications on the one hand and data modelling on the other, results in a practical, modular approach that is formally well-founded. An advantage of this is that we may vary over transaction models to support the language combinatio

A Molecular Biology Database Digest

Computational Biology or Bioinformatics has been defined as the application of mathematical and Computer Science methods to solving problems in Molecular Biology that require large scale data, computation, and analysis [18]. As expected, Molecular Biology databases play an essential role in Computational Biology research and development. This paper introduces into current Molecular Biology databases, stressing data modeling, data acquisition, data retrieval, and the integration of Molecular Biology data from different sources. This paper is primarily intended for an audience of computer scientists with a limited background in Biology

Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic

Logic is a foundation for many modern areas of computer science. In artificial intelligence, as a basis of database query languages, as well as in formal software and hardware verification --- modelling scenarios using logical formalisms and inferring new knowledge are important skills for going-to-be computer scientists. The Iltis project aims at providing a web-based, interactive system that supports teaching logical methods. In particular the system shall (a) support to learn to model knowledge and to infer new knowledge using propositional logic, modal logic and first-order logic, and (b) provide immediate feedback and support to students. This article presents a prototypical system that currently supports the above tasks for propositional logic. First impressions on its use in a second year logic course for computer science students are reported

Design for the contact zone. Knowledge management software and the structures of indigenous knowledges

This article examines the design of digital indigenous knowledge archives. In a discussion of the distinction between indigenous knowledge and western science, a decentred perspective is developed, in which the relationship between different local knowledges is explored. The particular characteristics of indigenous knowledges raise questions about if and how these knowledges can be managed. The role of technology in managing indigenous knowledges is explored with examples from fieldwork in India and Kenya and from web-based databases and digital archives. The concept of contact zone is introduced to explore the space in which different knowledges meet and are performed, such as indigenous knowledge and the technoscientific knowledge of the database. Design for the contact zone, this article proposes, is an intra-active and adaptive process for in creating databases that are meaningful for indigenous knowers. The meta-design approach is introduced as a methodology, which may provide indigenous knowers tools for self-representation and self-organisation through design

Creating a Religious Properties Database for the City of New Bedford: an Analysis of Best Practices and Available Systems

This policy analysis was written to provide the city of New Bedford, the Waterfront Historic Area League, Inter-church Council of Greater New Bedford, and the congregations with possible database systems to consider in creating their historic religious properties database. It also provides the best methodology to use when choosing a database. Deciding on who will be involved in the choosing process, determining a budget, and listing the mandatory requirements the database should provide are all important to consider in the decision making process