Towards Intelligent Databases

This article is a presentation of the objectives and techniques of deductive databases. The deductive approach to databases aims at extending with intensional definitions other database paradigms that describe applications extensionaUy. We first show how constructive specifications can be expressed with deduction rules, and how normative conditions can be defined using integrity constraints. We outline the principles of bottom-up and top-down query answering procedures and present the techniques used for integrity checking. We then argue that it is often desirable to manage with a database system not only database applications, but also specifications of system components. We present such meta-level specifications and discuss their advantages over conventional approaches

Shift-Symmetric Configurations in Two-Dimensional Cellular Automata: Irreversibility, Insolvability, and Enumeration

The search for symmetry as an unusual yet profoundly appealing phenomenon, and the origin of regular, repeating configuration patterns have long been a central focus of complexity science and physics. To better grasp and understand symmetry of configurations in decentralized toroidal architectures, we employ group-theoretic methods, which allow us to identify and enumerate these inputs, and argue about irreversible system behaviors with undesired effects on many computational problems. The concept of so-called configuration shift-symmetry is applied to two-dimensional cellular automata as an ideal model of computation. Regardless of the transition function, the results show the universal insolvability of crucial distributed tasks, such as leader election, pattern recognition, hashing, and encryption. By using compact enumeration formulas and bounding the number of shift-symmetric configurations for a given lattice size, we efficiently calculate the probability of a configuration being shift-symmetric for a uniform or density-uniform distribution. Further, we devise an algorithm detecting the presence of shift-symmetry in a configuration. Given the resource constraints, the enumeration and probability formulas can directly help to lower the minimal expected error and provide recommendations for system's size and initialization. Besides cellular automata, the shift-symmetry analysis can be used to study the non-linear behavior in various synchronous rule-based systems that include inference engines, Boolean networks, neural networks, and systolic arrays.Comment: 22 pages, 9 figures, 2 appendice

A complementary view on the growth of directory trees

Trees are a special sub-class of networks with unique properties, such as the level distribution which has often been overlooked. We analyse a general tree growth model proposed by Klemm {\em et. al.} (2005) to explain the growth of user-generated directory structures in computers. The model has a single parameter $q$ which interpolates between preferential attachment and random growth. Our analysis results in three contributions: First, we propose a more efficient estimation method for $q$ based on the degree distribution, which is one specific representation of the model. Next, we introduce the concept of a level distribution and analytically solve the model for this representation. This allows for an alternative and independent measure of $q$. We argue that, to capture real growth processes, the $q$ estimations from the degree and the level distributions should coincide. Thus, we finally apply both representations to validate the model with synthetically generated tree structures, as well as with collected data of user directories. In the case of real directory structures, we show that $q$ measured from the level distribution are incompatible with $q$ measured from the degree distribution. In contrast to this, we find perfect agreement in the case of simulated data. Thus, we conclude that the model is an incomplete description of the growth of real directory structures as it fails to reproduce the level distribution. This insight can be generalised to point out the importance of the level distribution for modeling tree growth.Comment: 16 pages, 7 figure

The significance of 'the visit' in an English category-B prison: Views from prisoners, prisoners' families and prison staff

A number of claims have been made regarding the importance of prisoners staying in touch with their family through prison visits, firstly from a humanitarian perspective of enabling family members to see each other, but also regarding the impact of maintaining family ties for successful rehabilitation, reintegration into society and reduced re-offending. This growing evidence base has resulted in increased support by the Prison Service for encouraging the family unit to remain intact during a prisoner’s incarceration. Despite its importance however, there has been a distinct lack of research examining the dynamics of families visiting relatives in prison. This paper explores perceptions of the same event – the visit – from the families’, prisoners’ and prison staffs' viewpoints in a category-B local prison in England. Qualitative data was collected with 30 prisoners’ families, 16 prisoners and 14 prison staff, as part of a broader evaluation of the visitors’ centre. The findings suggest that the three parties frame their perspective of visiting very differently. Prisoners’ families often see visits as an emotional minefield fraught with practical difficulties. Prisoners can view the visit as the highlight of their time in prison and often have many complaints about how visits are handled. Finally, prison staff see visits as potential security breaches and a major organisational operation. The paper addresses the current gap in our understanding of the prison visit and has implications for the Prison Service and wider social policy

Recognising Desire: A psychosocial approach to understanding education policy implementation and effect

It is argued that in order to understand the ways in which teachers experience their work - including the idiosyncratic ways in which they respond to and implement mandated education policy - it is necessary to take account both of sociological and of psychological issues. The paper draws on original research with practising and beginning teachers, and on theories of social and psychic induction, to illustrate the potential benefits of this bipartisan approach for both teachers and researchers. Recognising the significance of (but somewhat arbitrary distinction between) structure and agency in teachers’ practical and ideological positionings, it is suggested that teachers’ responses to local and central policy changes are governed by a mix of pragmatism, social determinism and often hidden desires. It is the often underacknowledged strength of desire that may tip teachers into accepting and implementing policies with which they are not ideologically comfortable

Evaluation from Both Sides Now: Towards an Epistemology of Evaluation Practice

Throughout its history, the evaluation field has developed numerous theories. These theories, or evaluation theory as they are collectively known, are integral to the knowledge of the discipline and represent the field’s collective understanding of how evaluation can and should be practiced. Yet, research suggests that the influence of evaluation theory on evaluation practice is minimal. This finding has left the field questioning what knowledge, if not evaluation theory, guides practitioners? Some theorists propose that evaluation practice is influenced by practical knowledge, a diverse knowledge base inherent to the doing of evaluation. Practical knowledge is a blend of explicit procedural knowledge and tacit ways of knowing that inform practitioners’ perceptions and guide their practice. It is developed through practitioner’s interactions with and theorizing of practical problems as well as insights drawn from experience. Despite its perceived importance to evaluation practice, limited research has been conducted on practical knowledge in evaluation. Consequently, the field lacks an understanding of the underlying knowledge, or epistemology, of evaluation practice. The current study addressed this research gap by investigating practical knowledge in evaluation with a specific focus on the ways of knowing that underlie and guide practitioners. A multiple methods research design, consisting of two studies, was implemented. The first study used a convergent mixed methods design to analyze qualitative and quantitative data collected through document review (N=3) and the repertory grid technique (N=22). The findings presented a holistic epistemology of evaluation practice grounded in four inter-related ways of knowing: knowing self, knowing others, knowing the discipline, and knowing the common good and equity. Important insights into the underlying dimensions of the ways of knowing, including creative processes that actuate knowing (i.e., knowing in action) and methods evaluators use to express what has become known through their practice (i.e., expressions of knowing) were also interpreted from the findings. The second study examined how the epistemology of evaluation practice identified in the first study is integrated into graduate programs in evaluation. Qualitative data were collected through semi-structured interviews with evaluation faculty (N=11) as well as alumni and advanced students (N=16) from six graduate programs in evaluation based in the United States. The findings suggest that the epistemology is reflected in the evaluation educational programs, albeit to varying degrees. Knowing the discipline was the most evident among the programs while knowing others and expressions of knowing were moderately evident. Knowing the common good and equity, knowing self, and knowing in action were less apparent, suggesting that these may be areas for further development. This research advances the scholarship on evaluation practice and provides valuable insights into the relationship between evaluation theory and practice. Additionally, the findings present a holistic representation of the epistemology of evaluation practice that challenges existing assumptions about how the field conceptualizes practice and knowledge construction. Last, the findings provide valuable information that can further professionalize evaluation by refining the field’s understanding of the unique nature of evaluation practice and informing evaluator education, reflective practice, and professional development

The bridge between social identity and community capital on the path to recovery and desistance

It has long been recognised that changes in social networks (and the underpinning changes in personal and social identity) are strong predictors of both desistance from crime and recovery from substance use. Building on existing work attempting to measure and shift social networks and transitions to prosocial groups, the current study provides pilot data from prisoners and family members about a visualisation technique widely used in specialist addiction treatment (node-link mapping) to map opportunities for linkage to prosocial groups and networks. The data presented in the paper are from a small-scale feasibility pilot. This suggests both bonding and bridging capital in prisoner populations due for release and the diversity of community capital opportunities that exists in this population. The implications of this work are significant for substance users and offenders pending return to the community, and has implications around resettlement and reintegration support for probation staff in prisons and in the community. The paper emphasises the importance of mapping connectedness as a key component of planning for reintegration back into the community for those working with offenders who are aspiring to achieve desistance and recovery

Models and metaphors: complexity theory and through-life management in the built environment

Complexity thinking may have both modelling and metaphorical applications in the through-life management of the built environment. These two distinct approaches are examined and compared. In the first instance, some of the sources of complexity in the design, construction and maintenance of the built environment are identified. The metaphorical use of complexity in management thinking and its application in the built environment are briefly examined. This is followed by an exploration of modelling techniques relevant to built environment concerns. Non-linear and complex mathematical techniques such as fuzzy logic, cellular automata and attractors, may be applicable to their analysis. Existing software tools are identified and examples of successful built environment applications of complexity modelling are given. Some issues that arise include the definition of phenomena in a mathematically usable way, the functionality of available software and the possibility of going beyond representational modelling. Further questions arising from the application of complexity thinking are discussed, including the possibilities for confusion that arise from the use of metaphor. The metaphor of a 'commentary machine' is suggested as a possible way forward and it is suggested that an appropriate linguistic analysis can in certain situations reduce perceived complexity

An introduction to Graph Data Management

A graph database is a database where the data structures for the schema and/or instances are modeled as a (labeled)(directed) graph or generalizations of it, and where querying is expressed by graph-oriented operations and type constructors. In this article we present the basic notions of graph databases, give an historical overview of its main development, and study the main current systems that implement them