The implementation of a functional query language front-end to a relational database system. Available in 2 volumes.

Database systems have a user interface one of the components of which will normally be a query language which is based on a particular data model. Typically data models provide primitives to define, manipulate and query databases. Often these primitives are designed to form self-contained query languages. This thesis describes a prototype implementation of a system which allows users to specify queries against the database in a query language whose primitives are not those provided by the actual model on which the database system is based, but those provided by a different data model. The implementation chosen is the Functional Query Language Front End (FQLFE). This uses the Daplex functional data model and query language. Using FQLFE, users can specify the underlying database (based on the relational model) in terms of Daplex. Queries against this specified view can then be made in Daplex. FQLFE transforms these queries into the query language (Quel) of the underlying target database system (Ingres). The automation of part of the Daplex function definition phase is also described and its implementation discussed.

A new role for Low German? Language insertion as bilingual practice in the process of language shift

This article analyses language insertion as a bilingual communicative practice, applying a functional, speaker-focused approach to the study of sociolinguistics and language contact. The article is based on a study of contact phenomena in a formerly diglossic region in Northern Germany, where the previously spoken language – Low German – is in the process of being replaced by the dominant standard variety, German. It examines regional publications in order to establish the linguistic techniques by which Low German elements are incorporated into the Standard German texts and the communicative purposes that they serve. The paper concludes that in the process of language shift an emblematic repertoire from Low German is created which can be applied into the dominant contact language, German, for specific communicative purposes.

Semantic search components:a blueprint for effective query language interfaces

Formulating complex queries is hard, especially when users cannot understand all the data structures of multiple complex knowledge bases. We see a gap between simplistic but user friendly tools and formal query languages. Building on an example comparison search, we propose an approach in which reusable search components take an intermediary role between the user interface and formal query languages.

Digital control system programming from process control diagrams

A graphical process control language has been developed as a means of defining process control software. The user configures a block diagram describing the required control system, from a menu of functional blocks, using a graphics software system with graphics terminal. Additions may be made to the menu of functional blocks, to extend the system capability, and a group of blocks may be defined as a composite block. This latter feature provides for segmentation of the overall system diagram and the repeated use of the same group of blocks within the system. The completed diagram is analyzed by a graphics compiler which generates the programs and data structure to realise the run-time software. The run-time software has been designed as a data-driven system which allows for modifications at the run-time level in both parameters and system configuration. Data structures have been specified to ensure efficient execution and minimal storage requirements in the final control software. Machine independence has been accomodated as far as possible using CORAL 66 as the high level language throughout the entire system; the final run-time code being generated by a CORAL 66 compiler appropriate to the target processor.

An introduction to forensic linguistics:language in evidence

From the accusation of plagiarism in The Da Vinci Code, to the infamous hoaxer in the Yorkshire Ripper case, the use of linguistic evidence in court and the number of linguists called to act as expert witnesses in court trials has increased rapidly in the past fifteen years. An Introduction to Forensic Linguistics: Language in Evidence provides a timely and accessible introduction to this rapidly expanding subject. Using knowledge and experience gained in legal settings – Malcolm Coulthard in his work as an expert witness and Alison Johnson in her work as a West Midlands police officer – the two authors combine an array of perspectives into a distinctly unified textbook, focusing throughout on evidence from real and often high profile cases including serial killer Harold Shipman, the Bridgewater Four and the Birmingham Six. Divided into two sections, 'The Language of the Legal Process' and 'Language as Evidence', the book covers the key topics of the field. The first section looks at legal language, the structures of legal genres and the collection and testing of evidence from the initial police interview through to examination and cross-examination in the courtroom. The second section focuses on the role of the forensic linguist, the forensic phonetician and the document examiner, as well as examining in detail the linguistic investigation of authorship and plagiarism. With research tasks, suggested reading and website references provided at the end of each chapter, An Introduction to Forensic Linguistics: Language in Evidence is the essential textbook for courses in forensic linguistics and language of the law.

Discovering knowledge structures in mind maps of mental health risks

This thesis addressed the problem of risk analysis in mental healthcare, with respect to the GRiST project at Aston University. That project provides a risk-screening tool based on the knowledge of 46 experts, captured as mind maps that describe relationships between risks and patterns of behavioural cues. Mind mapping, though, fails to impose control over content, and is not considered to formally represent knowledge. In contrast, this thesis treated GRiSTs mind maps as a rich knowledge base in need of refinement; that process drew on existing techniques for designing databases and knowledge bases. Identifying well-defined mind map concepts, though, was hindered by spelling mistakes, and by ambiguity and lack of coverage in the tools used for researching words. A novel use of the Edit Distance overcame those problems, by assessing similarities between mind map texts, and between spelling mistakes and suggested corrections. That algorithm further identified stems, the shortest text string found in related word-forms. As opposed to existing approaches’ reliance on built-in linguistic knowledge, this thesis devised a novel, more flexible text-based technique. An additional tool, Correspondence Analysis, found patterns in word usage that allowed machines to determine likely intended meanings for ambiguous words. Correspondence Analysis further produced clusters of related concepts, which in turn drove the automatic generation of novel mind maps. Such maps underpinned adjuncts to the mind mapping software used by GRiST; one such new facility generated novel mind maps, to reflect the collected expert knowledge on any specified concept. Mind maps from GRiST are stored as XML, which suggested storing them in an XML database. In fact, the entire approach here is ”XML-centric”, in that all stages rely on XML as far as possible. A XML-based query language allows user to retrieve information from the mind map knowledge base. The approach, it was concluded, will prove valuable to mind mapping in general, and to detecting patterns in any type of digital information.

An infrastructure for semantic web portals

This paper presents our Semantic Web portal infrastructure, which focuses on how to enhance knowledge access in traditional Web portals by gathering and exploiting semantic metadata. Special attention is paid to three important issues that affect the performance of knowledge access: i) high quality metadata acquisition, which concerns how to ensure high quality while gathering semantic metadata from heterogeneous data sources; ii) semantic search, which addresses how to meet the information querying needs of ordinary end users who are not necessarily familiar with the problem domain or the supported query language; and iii) semantic browsing, which concerns how to help users understand and explore the problem domain.

The effective use of implicit parallelism through the use of an object-oriented programming language

This thesis explores translating well-written sequential programs in a subset of the Eiffel programming language - without syntactic or semantic extensions - into parallelised programs for execution on a distributed architecture. The main focus is on constructing two object-oriented models: a theoretical self-contained model of concurrency which enables a simplified second model for implementing the compiling process. There is a further presentation of principles that, if followed, maximise the potential levels of parallelism. Model of Concurrency. The concurrency model is designed to be a straightforward target for mapping sequential programs onto, thus making them parallel. It aids the compilation process by providing a high level of abstraction, including a useful model of parallel behaviour which enables easy incorporation of message interchange, locking, and synchronization of objects. Further, the model is sufficient such that a compiler can and has been practically built. Model of Compilation. The compilation-model's structure is based upon an object-oriented view of grammar descriptions and capitalises on both a recursive-descent style of processing and abstract syntax trees to perform the parsing. A composite-object view with an attribute grammar style of processing is used to extract sufficient semantic information for the parallelisation (i.e. code-generation) phase. Programming Principles. The set of principles presented are based upon information hiding, sharing and containment of objects and the dividing up of methods on the basis of a command/query division. When followed, the level of potential parallelism within the presented concurrency model is maximised. Further, these principles naturally arise from good programming practice. Summary. In summary this thesis shows that it is possible to compile well-written programs, written in a subset of Eiffel, into parallel programs without any syntactic additions or semantic alterations to Eiffel: i.e. no parallel primitives are added, and the parallel program is modelled to execute with equivalent semantics to the sequential version. If the programming principles are followed, a parallelised program achieves the maximum level of potential parallelisation within the concurrency model.

Development of real-time process control systems using formal techniques

A major application of computers has been to control physical processes in which the computer is embedded within some large physical process and is required to control concurrent physical processes. The main difficulty with these systems is their event-driven characteristics, which complicate their modelling and analysis. Although a number of researchers in the process system community have approached the problems of modelling and analysis of such systems, there is still a lack of standardised software development formalisms for the system (controller) development, particular at early stage of the system design cycle. This research forms part of a larger research programme which is concerned with the development of real-time process-control systems in which software is used to control concurrent physical processes. The general objective of the research in this thesis is to investigate the use of formal techniques in the analysis of such systems at their early stages of development, with a particular bias towards an application to high speed machinery. Specifically, the research aims to generate a standardised software development formalism for real-time process-control systems, particularly for software controller synthesis. In this research, a graphical modelling formalism called Sequential Function Chart (SFC), a variant of Grafcet, is examined. SFC, which is defined in the international standard IEC1131 as a graphical description language, has been used widely in industry and has achieved an acceptable level of maturity and acceptance. A comparative study between SFC and Petri nets is presented in this thesis. To overcome identified inaccuracies in the SFC, a formal definition of the firing rules for SFC is given. To provide a framework in which SFC models can be analysed formally, an extended time-related Petri net model for SFC is proposed and the transformation method is defined. The SFC notation lacks a systematic way of synthesising system models from the real world systems. Thus a standardised approach to the development of real-time process control systems is required such that the system (software) functional requirements can be identified, captured, analysed. A rule-based approach and a method called system behaviour driven method (SBDM) are proposed as a development formalism for real-time process-control systems.

Solidarity and power in German : language as political action : a contribution to the socio-cultural history of the German language

Germany's latest attempt at unification raises again the question of German nationhood and nationality. The present study examines the links between the development of the German language and the political history of Germany, principally in the nineteenth and twentieth centuries. By examining the role of language in the establishment and exercise of political power and in the creation of national and group solidarity in Germany, the study both provides insights into the nature of language as political action and contributes to the socio-cultural history of the German language. The language-theoretical hypothesis on which the study is based sees language as a central factor in political action, and opposes the notion that language is a reflection of underlying political 'realities' which exist independently of language. Language is viewed as language-in-text which performs identifiable functions. Following Leech, five functions are distinguished, two of which (the regulative and the phatic) are regarded as central to political processes. The phatic function is tested against the role of the German language as a creator and symbol of national identity, with particular attention being paid to concepts of the 'purity' of the language. The regulative function (under which a persuasive function is also subsumed) is illustrated using the examples of German fascist discourse and selected cases from German history post-1945. In addition, the interactions are examined between language change and socio-economic change by postulating that language change is both a condition and consequence of socio-economic change, in that socio-economic change both requires and conditions changes in the communicative environment. Finally, three politocolinguistic case studies from the eight and ninth decades of the twentieth century are introduced in order to demonstrate specific ways in which language has been deployed in an attempt to create political realities, thus verifying the initial hypothesis of the centrality of language to the political process.

The transformational implementation of JSD process specifications via finite automata representation

Conventional structured methods of software engineering are often based on the use of functional decomposition coupled with the Waterfall development process model. This approach is argued to be inadequate for coping with the evolutionary nature of large software systems. Alternative development paradigms, including the operational paradigm and the transformational paradigm, have been proposed to address the inadequacies of this conventional view of software developement, and these are reviewed. JSD is presented as an example of an operational approach to software engineering, and is contrasted with other well documented examples. The thesis shows how aspects of JSD can be characterised with reference to formal language theory and automata theory. In particular, it is noted that Jackson structure diagrams are equivalent to regular expressions and can be thought of as specifying corresponding finite automata. The thesis discusses the automatic transformation of structure diagrams into finite automata using an algorithm adapted from compiler theory, and then extends the technique to deal with areas of JSD which are not strictly formalisable in terms of regular languages. In particular, an elegant and novel method for dealing with so called recognition (or parsing) difficulties is described,. Various applications of the extended technique are described. They include a new method of automatically implementing the dismemberment transformation; an efficient way of implementing inversion in languages lacking a goto-statement; and a new in-the-large implementation strategy.

Person-oriented and process-oriented teachers : an investigation of the links between ESOL teachers' personal belief systems and approaches to teaching

This thesis looks to two traditions in research into language teaching, teacher beliefs and classroom interaction, in order to investigate the question: Do teachers of ESOL have an identifiable and coherent system of beliefs about teaching and learning that may account for different approaches to teaching? A qualitative approach to research is taken, following a case study tradition, in order to carry out an in-depth study into the beliefs of six ESOL teachers. Five teachers participated in an initial pilot study and two subsequently became the main case studies for the research. The beliefs of a sixth teacher were then investigated to verify the findings. Semi-structured interviews and classroom observations were carried out with all the teachers. The teachers in the study were found to have personal belief systems that cohere around two orientations to teaching and learning - a person orientation and a process orientation. Moreover, the findings suggest that underlying the orientations is the perception that teachers have of their teacher identity, in terms of whether this is seen as a separate identity or as part of their personality. It is suggested that the two orientations may offer a powerful tool for teacher education as it is increasingly recognised that, in order to be effective, teacher educators must take into account the beliefs that teachers bring with them to training and development programmes. An initial investigations into the teachers’ classroom behaviour suggests that while their methodologies approach may be very similar there are fundamental differences in their interactions patterns and these differences may be a result of their own orientation. However, while teachers’ personal belief systems undoubtedly underlie their approach to teaching, further research is needed to establish the extent and the nature of the relationship between orientation and classroom interaction.

The pro-reform movement led by Avenir de la Francaise:a point of leverage in the French political process?

The study examines factors influencing language planning decisions in contemporary France. It focuses upon the period 1992-1994, which witnessed the introduction of two major language policy measures, the first an amendment to the French Constitution, in 1992, proclaiming the language of the Republic as French, the second, in 1994, legislation to extend the ambit of the loi Bas-Lauriol, governing the use of the French language in France. The thesis posits a significant role for the pro-reform movement led by the French language association Avenir de la Langue Francaise (ALF) in the introduction and formulation of the policy measures concerned. The movement is depicted as continuing the traditional pattern of intellectual involvement in language planning, whilst also marking the beginning of a highly proactive, and increasingly political approach. Detailed examination of the movement's activities reveals that contextual factors and strategic strength combined to facilitate access to the levers of power, and enabled those involved to exert an impact on policy initiation, formulation, and ultimately implementation. However, ALF's decision to pursue the legislative route led to the expansion of the network of actors involved in language policymaking, and the development of counter-pressure from sectoral groups. It is suggested that this more interventionist approach destabilised the traditionally consensual language policy community, and called into question the quasi-monopoly of the intelligentsia in respect of language policymaking. It raised broader questions relating to freedom of expression and the permissible limits of language regulation in a democracy such as France. It also exposed ongoing ambiguities and inconsistencies in the interpretation of the tenets of language planning.

Vision2020 and the English language : a study of the role of language in national development.

The research reported here is an investigation into the problems of social and economic development of a multiethic and multicultural country which has the added challenge of adopting a non-indigenous code to facilitate the development process. Malaysia's power to negotiate outcomes favourable to the interest of the country is critical for the successful attainment of the goals and objectives of VISION2020. Therefore the mechanisms of the human resource development programme have to be efficacious. The three hypotheses of this study are as follows: 1. there is a fear that the problems and challenges posed by the development plans, have been conceptually trivialised; 2. based on (1) above there is a concern that solutions proposed are inadequate and inappropriate and 3. the outcome of both (1) and (2) can lead to the potential underachievement of national goals and objectives. The study proposes a complex model for conceptualising the problem which looks at the relationship between society and language, which any solutions proposed must take into proper consideration. The study looks at the mechanisms available for the smooth absorption of new Malaysian members to new and international communities. A large scale investigation was undertaken with the researcher functioning as a participant observer. An in-depth study of one particular educational ecology yielded approximately 38 hours of interviews and 100 questionnaires. These data were analysed both for explicit information and implicit implications. By some criteria national policies appear to be having the desired effect, and can be given a clean bill of health. By others it is clear that major adjustments would be necessary if the nation is to achieve its objectives in full. Based on the evidence gathered, thr study proposes an apprenticeship approach to training programmes for effective participation of new members in the new ecologies.

Motivational state and process within the sociolinguistic context : an Anglo-French comparative study of school pupils learning foreign languages

The aim of this study was to investigate the effect of the socio-cultural environment upon the motivation school children have to learn foreign languages. Motivation was therefore considered from a sociolinguistic, rather than from a psycholinguistic perspective, giving primary importance to contextual, as opposed to personal factors. In order to examine the degree of relationship between motivational intensity and the contextual factors of parental attitudes, amount of foreign language exposure and the employment related value of foreign language learning (FLL), data obtained from school children living in two distinct sociolinguistic environments (Mulhouse, France and Walsall, England) were compared and contrasted. A structured sample drawn from pupils attending schools in Mulhouse and Walsall supplied the data base for this research. The main thrust of the study was quantitative in approach, involving the distribution of almost 1000 questionnaires to pupils in both towns. This was followed up by the use of qualitative methods, in the form of in-depth interviews with an individually matched sample of over 50 French/English pupils. The findings of the study indicate that FLL orientations, attitudes and motivation vary considerably between the two sociolinguistic environments. Levels of motivation were generally higher in the French sample than in the English one. Desire to learn foreign languages and a commitment to expend effort in order to fulfil this desire were key components of this motivation. The study also found evidence to suggest that the importance accorded to FLL by the socio-cultural context, communicated to the child through the socialisation agents of the family, the mass media and prospective employers, is of key importance in FLL motivation.