An algebraic theory of functional and multivalued dependencies in relational databases

Computation of the dependency basis is the fundamental step in solving the membership problem for functional dependencies (FDs) and multivalued dependencies (MVDs) in relational database theory. We examine this problem from an algebraic perspective. We introduce the notion of the inference basis of a set M of MVDs and show that it contains the maximum information about the logical consequences of M. We propose the notion of a dependency-lattice and develop an algebraic characterization of inference basis using simple notions from lattice theory. We also establish several interesting properties of dependency-lattices related to the implication problem. Founded on our characterization, we synthesize efficient algorithms for (a): computing the inference basis of a given set M of MVDs; (b): computing the dependency basis of a given attribute set w.r.t. M; and (c): solving the membership problem for MVDs. We also show that our results naturally extend to incorporate FDs also in a way that enables the solution of the membership problem for both FDs and MVDs put together. We finally show that our algorithms are more efficient than existing ones, when used to solve what we term the ‘generalized membership problem’.

The Implication Problem for Functional and Multivalued Dependencies

Computation of the dependency basis is the fundamental step in solving the implication problem for MVDs in relational database theory. We examine this problem from an algebraic perspective. We introduce the notion of the inference basis of a set M of MVDs and show that it contains the maximum information about the logical consequences of M. We propose the notion of an MVD-lattice and develop an algebraic characterization of the inference basis using simple notions from lattice theory. We also establish several properties of MVD-lattices related to the implication problem. Founded on our characterization, we synthesize efficient algorithms for (a) computing the inference basis of a given set M of MVDs; (b) computing the dependency basis of a given attribute set w.r.t. M; and (c) solving the implication problem for MVDs. Finally, we show that our results naturally extend to incorporate FDs also in a way that enables the solution of the implication problem for both FDs and MVDs put together.

Exploring methods of preparing functional cartilage-bone xenografts for joint repair

This thesis explores the feasibility of donor-receiver concept for joint replacement where cartilage-bone tissues can be taken from either human or other mammals and prepared scientifically for repairing focal joint defects in knees, hips and shoulders. The manufactured construct is immunologically inert and is capable of acting as a scaffold for engineering new cartilage-bone laminates when placed in the joint. Innovative manufacturing procedures and assessment techniques were developed for appraising this tissue-based scaffold. This research has demonstrated that tissue replacement technology can be applied in situations where blood vessels are absent such as in articular cartilage.

Book Review: "Fashion on television: Identity and celebrity culture"

Film, costume and fashion have attracted many scholarly works thanks to the interdisciplinary field generated by feminist film studies, gender studies and fashion studies. In particular, the extent of scholarship on the Hollywood studio system has enabled explorations of feminist interpretation of women’s films through the construction of gender identity; the association between fashion and the body; and histories of the relationship between classic Hollywood, costume design and women’s narratives (see Doane 1987; Gaines and Herzog 1990; Stacey 1994; Street 2001)...

Modernity, postmodernity and identity of jazz in Chile : The cases of the generation of 1990 and Ángel Parra

This research is about jazz in Chile in relation to modernity and identity. Final chapters focus and detach latest jazz musician s generation in 1990 decade and composer guitarist Angel Parra. An historic and sociological approach is developed, which will be useful for modernity and identity analysis, and so on post modernity and globalization. Modernity has been studied in texts of Adorno, Baudrillard, Brünner, García Canclini, Habermas and Jameson. Identity has been studied in texts of Aharonián, Cordúa, Garretón, Gissi, Larraín and others. Chapter 3 is about Latin-American musicology and jazz investigations, in relation to approach developed in chapter 2. Chapters 4 and 5 are about history of jazz in Chile until beginning of XXI century. Chapter 6 focuses in Ángel Parra Orrego. Conclusions of this investigation detach the modernist mechanical that has conducted jazz development in Chile, which in Ángel Parra´s case has been overcame by a post modernist behaviour. This behaviour has solved in a creative way, subjects like modernity and identity in jazz practice in a Latin-American country.

Representation of functional dependencies in relational databases using linear graphs

Functional dependencies in relational databases are investigated. Eight binary relations, viz., (1) dependency relation, (2) equipotence relation, (3) dissidence relation, (4) completion relation, and dual relations of each of them are described. Any one of these eight relations can be used to represent the functional dependencies in a database. Results from linear graph theory are found helpful in obtaining these representations. The dependency relation directly gives the functional dependencies. The equipotence relation specifies the dependencies in terms of attribute sets which functionally determine each other. The dissidence relation specifies the dependencies in terms of saturated sets in a very indirect way. Completion relation represents the functional dependencies as a function, the range of which turns out to be a lattice. Depletion relation which is the dual of the completion relation can also represent functional dependencies and similarly can the duals of dependency, equipotence, and dissidence relations. The class of depleted sets, which is the dual of saturated sets, is defined and used in the study of depletion relations.

The process for implementation of a Quality Management System within a multi-functional cereal laboratory

The intent of this study was to design, document and implement a Quality Management System (QMS) into a laboratory that incorporated both research and development (R&D) and routine analytical activities. In addition, it was necessary for the QMS to be easily and efficiently maintained to: (a) provide documented evidence that would validate the system's compliance with a certifiable standard, (b) fit the purpose of the laboratory, (c) accommodate prevailing government policies and standards, and (d) promote positive outcomes for the laboratory through documentation and verification of the procedures and methodologies implemented. Initially, a matrix was developed that documented the standards' requirements and the necessary steps to be made to meet those requirements. The matrix provided a check mechanism on the progression of the system's development. In addition, it was later utilised in the Quality Manual as a reference tool for the location of full procedures documented elsewhere in the system. The necessary documentation to build and monitor the system consisted of a series of manuals along with forms that provided auditable evidence of the workings of the QMS. Quality Management (QM), in one form or another, has been in existence since the early 1900's. However, the question still remains: is it a good thing or just a bugbear? Many of the older style systems failed because they were designed by non-users, fiercely regulatory, restrictive and generally deemed to be an imposition. It is now considered important to foster a sense of ownership of the system by the people who use the system. The system's design must be tailored to best fit the purpose of the operations of the facility if maximum benefits to the organisation are to be gained.

Australian and Thai isolates of Burkholderia pseudomallei are distinct by multilocus sequence typing: Revision of a case of mistaken identity

A recent study using multilocus sequence typing (MLST) of Burkholderia pseudomallei isolates found a sequence type (ST60) to be common to both Thailand and Australia, contradicting earlier studies showing complete distinction between isolates from these regions. The ST60 isolates reportedly from Australia had been obtained for MLST from United Kingdom and U.S. collections. We have located and characterized the original Australian isolates; they were collected in 1983, and they are neither ST60 nor B. pseudomallei isolates. The B. pseudomallei MLST database has been corrected, and there is no ST common to isolates verified as obtained from Australia or from Thailand.

Nonverbal predication in Erzya : Studies on morphosyntactic variation and part of speech distinctions

This dissertation consists of four articles and an introduction. The five parts address the same topic, nonverbal predication in Erzya, from different perspectives. The work is at the same time linguistic typology and Uralic studies. The findings based on a large corpus of empirical Erzya data, which was collected using several different methods and included recordings of the spoken language, made it possible for the present study to apply, then test and finally discuss the previous theories based on cross-linguistic data. Erzya makes use of multiple predication patterns which vary from totally analytic to the morphologically very complex. Nonverbal predicate clause types are classified on the basis of propositional acts in clauses denoting class-membership, identity, property and location. The predicates of these clauses are nouns, adjectives and locational expressions, respectively. The following three predication strategies in Erzya nonverbal predication can be identified: i. the zero-copula construction, ii. the predicative suffix construction and iii. the copula construction. It has been suggested that verbs and nouns cannot be clearly distinguished on morphological grounds when functioning as predicates in Erzya. This study shows that even though predicativity must not be considered a sufficient tool for defining parts of speech in any language, the Erzya lexical classes of adjective, noun and verb can be distinguished from each other also in predicate position. The relative frequency and degree of obligation for using the predicative suffix construction decreases when moving left to right on the scale verb adjective/locative noun ( identificational statement). The predicative suffix is the main pattern in the present tense over the whole domain of nonverbal predication in Standard Erzya, but if it is replaced it is most likely to be with a zero-copula construction in a nominal predication. This study exploits the theory of (a)symmetry for the first time in order to describe verbal vs. nonverbal predication. It is shown that the asymmetry of paradigms and constructions differentiates the lexical classes. Asymmetrical structures are motivated by functional level asymmetry. Variation in predication as such adds to the complexity of the grammar. When symmetric structures are employed, the functional complexity of grammar decreases, even though morphological complexity increases. The genre affects the employment of predication strategies in Erzya. There are differences in the relative frequency of the patterns, and some patterns are totally lacking from some of the data. The clearest difference is that the past tense predicative suffix construction occurs relatively frequently in Standard Erzya, while it occurs infrequently in the other data. Also, the predicative suffixes of the present tense are used more regularly in written Standard Erzya than in any other genre. The genre also affects the incidence of the translative in uľ(ń)ems copula constructions. In translations from Russian to Erzya the translative case is employed relatively frequently in comparison to other data. This study reveals differences between the two Mordvinic languages Erzya and Moksha. The predicative suffixes (bound person markers) of the present tense are used more regularly in Moksha in all kinds of nonverbal predicate clauses compared to Erzya. It should further be observed that identificational statements are encoded with a predicative suffix in Moksha, but seldom in Erzya. Erzya clauses are more frequently encoded using zero-constructions, displaying agreement in number only.

Expert Identity in Development of Core-Task-Oriented Working Practices for Mastering Demanding Situations

The point of departure in this dissertation was the practical safety problem of unanticipated, unfamiliar events and unexpected changes in the environment, the demanding situations which the operators should take care of in the complex socio-technical systems. The aim of this thesis was to increase the understanding of demanding situations and of the resources for coping with these situations by presenting a new construct, a conceptual model called Expert Identity (ExId) as a way to open up new solutions to the problem of demanding situations and by testing the model in empirical studies on operator work. The premises of the Core-Task Analysis (CTA) framework were adopted as a starting point: core-task oriented working practices promote the system efficiency (incl. safety, productivity and well-being targets) and that should be supported. The negative effects of stress were summarised and the possible countermeasures related to the operators' personal resources such as experience, expertise, sense of control, conceptions of work and self etc. were considered. ExId was proposed as a way to bring emotional-energetic depth into the work analysis and to supplement CTA-based practical methods to discover development challenges and to contribute to the development of complex socio-technical systems. The potential of ExId to promote understanding of operator work was demonstrated in the context of the six empirical studies on operator work. Each of these studies had its own practical objectives within the corresponding quite broad focuses of the studies. The concluding research questions were: 1) Are the assumptions made in ExId on the basis of the different theories and previous studies supported by the empirical findings? 2) Does the ExId construct promote understanding of the operator work in empirical studies? 3) What are the strengths and weaknesses of the ExId construct? The layers and the assumptions of the development of expert identity appeared to gain evidence. The new conceptual model worked as a part of an analysis of different kinds of data, as a part of different methods used for different purposes, in different work contexts. The results showed that the operators had problems in taking care of the core task resulting from the discrepancy between the demands and resources (either personal or external). The changes of work, the difficulties in reaching the real content of work in the organisation and the limits of the practical means of support had complicated the problem and limited the possibilities of the development actions within the case organisations. Personal resources seemed to be sensitive to the changes, adaptation is taking place, but not deeply or quickly enough. Furthermore, the results showed several characteristics of the studied contexts that complicated the operators' possibilities to grow into or with the demands and to develop practices, expertise and expert identity matching the core task. They were: discontinuation of the work demands, discrepancy between conceptions of work held in the other parts of organisation, visions and the reality faced by the operators, emphasis on the individual efforts and situational solutions. The potential of ExId to open up new paths to solving the problem of the demanding situations and its ability to enable studies on practices in the field was considered in the discussion. The results were interpreted as promising enough to encourage the conduction of further studies on ExId. This dissertation proposes especially contribution to supporting the workers in recognising the changing demands and their possibilities for growing with them when aiming to support human performance in complex socio-technical systems, both in designing the systems and solving the existing problems.

Structural and functional characterization of dendritic arbors and GABAergic synaptic inputs on interneurons and principal cells in the rat basolateral amygdala

The basolateral amygdala (BLA) is a complex brain region associated with processing emotional states, such as fear, anxiety, and stress. Some aspects of these emotional states are driven by the network activity of synaptic connections, derived from both local circuitry and projections to the BLA from other regions. Although the synaptic physiology and general morphological characteristics are known for many individual cell types within the BLA, the combination of morphological, electrophysiological, and distribution of neurochemical GABAergic synapses in a three-dimensional neuronal arbor has not been reported for single neurons from this region. The aim of this study was to assess differences in morphological characteristics of BLA principal cells and interneurons, quantify the distribution of GABAergic neurochemical synapses within the entire neuronal arbor of each cell type, and determine whether GABAergic synaptic density correlates with electrophysiological recordings of inhibitory postsynaptic currents. We show that BLA principal neurons form complex dendritic arborizations, with proximal dendrites having fewer spines but higher densities of neurochemical GABAergic synapses compared with distal dendrites. Furthermore, we found that BLA interneurons exhibited reduced dendritic arbor lengths and spine densities but had significantly higher densities of putative GABAergic synapses compared with principal cells, which was correlated with an increased frequency of spontaneous inhibitory postsynaptic currents. The quantification of GABAergic connectivity, in combination with morphological and electrophysiological measurements of the BLA cell types, is the first step toward a greater understanding of how fear and stress lead to changes in morphology, local connectivity, and/or synaptic reorganization of the BLA.

Representation of functional dependencies in relational databases using linear graphs

Functional dependencies in relational databases are investigated. Eight binary relations, viz., (1) dependency relation, (2) equipotence relation, (3) dissidence relation, (4) completion relation, and dual relations of each of them are described. Any one of these eight relations can be used to represent the functional dependencies in a database. Results from linear graph theory are found helpful in obtaining these representations. The dependency relation directly gives the functional dependencies. The equipotence relation specifies the dependencies in terms of attribute sets which functionally determine each other. The dissidence relation specifies the dependencies in terms of saturated sets in a very indirect way. Completion relation represents the functional dependencies as a function, the range of which turns out to be a lattice. Depletion relation which is the dual of the completion relation can also represent functional dependencies and similarly can the duals of dependency, equipotence, and dissidence relations. The class of depleted sets, which is the dual of saturated sets, is defined and used in the study of depletion relations.

Feminism and identity in the work of contemporary Iranian female artists

This practice-led project focuses on the Iranian context and the role of female Iranian artists using digital mediums to influence the social, political and environmental life of Iranian women. The exegetical component presents a discussion on the intersection between three theoretical areas of artistic practice in Iran; feminism, cross-cultural practice and digital image making. Particular concern to this study is the growing role of female Iranian artists in challenging the social status quo. This is conducted through an investigation of a number of Iranian female artists in the form of case studies and interviews and a discussion on the impacts of their work on the resulting creative practice portion of this study.