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.

Leveraging Lean Production Philosophy for Rationalising a Non-Linear Representation of Construction Specifications

This paper presents an approach, based on Lean production philosophy, for rationalising the processes involved in the production of specification documents for construction projects. Current construction literature erroneously depicts the process for the creation of construction specifications as a linear one. This traditional understanding of the specification process often culminates in process-wastes. On the contrary, the evidence suggests that though generalised, the activities involved in producing specification documents are nonlinear. Drawing on the outcome of participant observation, this paper presents an optimised approach for representing construction specifications. Consequently, the actors typically involved in producing specification documents are identified, the processes suitable for automation are highlighted and the central role of tacit knowledge is integrated into a conceptual template of construction specifications. By applying the transformation, flow, value (TFV) theory of Lean production the paper argues that value creation can be realised by eliminating the wastes associated with the traditional preparation of specification documents with a view to integrating specifications in digital models such as Building Information Models (BIM). Therefore, the paper presents an approach for rationalising the TFV theory as a method for optimising current approaches for generating construction specifications based on a revised specification writing model.

Wipert von Blücher und Finnland : Alternativpolitik und Diplomatie im 'Dritten Reich'

This dissertation explores the role of the German minister to Helsinki, Wipert von Blücher (1883-1963), within the German-Finnish relations of the late 1930s and the Second World War. Blücher was a key figure – and certainly one of the constants – within German Finland policy and the complex international diplomacy surrounding Finland. Despite representing Hitler’s Germany, he was not a National Socialist in the narrower sense of the term, but a conservative civil servant in the Wilhelmine tradition of the German foreign service. Along with a significant number of career diplomats, Blücher attempted to restrict National Socialist influence on the exercise of German foreign policy, whilst successfully negotiating a modus vivendi with the new regime. The study of his political biography in the Third Reich hence provides a highly representative example of how the traditional élites of Germany were caught in an cycle of conformity and, albeit tacit, opposition. Above all, however, the biographical study of Blücher and his behaviour offers an hitherto unexplored approach to the history of the German-Finnish relations. His unusually long tenure in Helsinki covered the period leading up to the so-called Winter War, which left Blücher severely distraught by Berlin’s effectively pro-Soviet neutrality and brought him close to resigning his post. It further extended to the German-Finnish rapprochement of 1940/41 and the military cooperation of both countries from mid-1941 to 1944. Throughout, Blücher developed a diverse and ambitious set of policy schemes, largely rooted in the tradition of Wilhelmine foreign policy. In their moderation and commonsensical realism, his designs – indeed his entire conception of foreign policy – clashed with the foreign political and ideological premises of the National Socialist regime. In its theoretical grounding, the analysis of Blücher’s political schemes is built on the concept of alternative policy and indebted to A.J.P. Taylor’s definition of dissent in foreign policy. It furthermore rests upon the assumption, introduced by Wolfgang Michalka, that National Socialist foreign policy was dominated by a plurality of rival conceptions, players, and institutions competing for Hitler’s favour (‘Konzeptionen-Pluralismus’). Although primarily a study in the history of international relations, my research has substantially benefited from more recent developments within cultural history, particularly research on nobility and élites, and the renewed focus on autobiography and conceptions of the self. On an abstract level, the thesis touches upon some of the basic components of German politics, political culture, and foreign policy in the first half of the 20th century: national belonging and conflicting loyalties, self-perception and representation, élites and their management of power, the modern history of German conservatism, the nature and practice of diplomacy, and, finally, the intricate relationship between the ethics of the professional civil service and absolute moral principles. Against this backdrop, the examination of Blücher’s role both within Finnish politics and the foreign policy of the Third Reich highlights the biographical dimension of the German-Finnish relationships, while fathoming the determinants of individual human agency in the process.

Society by Numbers : Studies on Model-Based Explanations in the Social Sciences

The aim of this dissertation is to provide conceptual tools for the social scientist for clarifying, evaluating and comparing explanations of social phenomena based on formal mathematical models. The focus is on relatively simple theoretical models and simulations, not statistical models. These studies apply a theory of explanation according to which explanation is about tracing objective relations of dependence, knowledge of which enables answers to contrastive why and how-questions. This theory is developed further by delineating criteria for evaluating competing explanations and by applying the theory to social scientific modelling practices and to the key concepts of equilibrium and mechanism. The dissertation is comprised of an introductory essay and six published original research articles. The main theses about model-based explanations in the social sciences argued for in the articles are the following. 1) The concept of explanatory power, often used to argue for the superiority of one explanation over another, compasses five dimensions which are partially independent and involve some systematic trade-offs. 2) All equilibrium explanations do not causally explain the obtaining of the end equilibrium state with the multiple possible initial states. Instead, they often constitutively explain the macro property of the system with the micro properties of the parts (together with their organization). 3) There is an important ambivalence in the concept mechanism used in many model-based explanations and this difference corresponds to a difference between two alternative research heuristics. 4) Whether unrealistic assumptions in a model (such as a rational choice model) are detrimental to an explanation provided by the model depends on whether the representation of the explanatory dependency in the model is itself dependent on the particular unrealistic assumptions. Thus evaluating whether a literally false assumption in a model is problematic requires specifying exactly what is supposed to be explained and by what. 5) The question of whether an explanatory relationship depends on particular false assumptions can be explored with the process of derivational robustness analysis and the importance of robustness analysis accounts for some of the puzzling features of the tradition of model-building in economics. 6) The fact that economists have been relatively reluctant to use true agent-based simulations to formulate explanations can partially be explained by the specific ideal of scientific understanding implicit in the practise of orthodox economics.

Linear time geometrical design rule checker based on quadtree representation of VLSI mask layouts

An efficient geometrical design rule checker is proposed, based on operations on quadtrees, which represent VLSI mask layouts. The time complexity of the design rule checker is O(N), where N is the number of polygons in the mask. A pseudoPascal description is provided of all the important algorithms for geometrical design rule verification.

Vilijonkka ikkunassa - Tove Janssonin muumiteosten kuva, sana ja liike

Tove Jansson (1914--2001) was a Finnish illustrator, author, artist, caricaturist and comic artist. She is best known for her Moomin Books, written in Swedish, which she illustrated herself, and published between 1945 and 1977. My study focuses on the interweaving of images and words in Jansson s picturebooks, novels and short stories situated in the fantasy world of Moomin Valley. In particular, it concentrates on Jansson s development of a special kind of aesthetics of movement and stasis, based upon both illustration and text. The conventions of picturebook art and illustration are significant to both Jansson s visual art and her writing, and she was acutely conscious of them. My analysis of Jansson s work begins by discussing her first published picturebooks and less familiar illustrations (before she began her Moomin books) and I then proceed to discuss her three Moomin picturebooks, The Book about Moomin, Mymble and Little My; Who Will Comfort Toffle?, and The Dangerous Journey. The discussion moves from images to words and from words to images: Barthes s (1982) concept of anchoring and, in particular, what he calls relaying , form a point of reading and viewing Moomin texts and illustrations in a complementary relation, in which the message s unity occurs on a higher level: that of the story, the anecdote, the diegesis . The eight illustrated Moomin novels and one collection of short stories are analysed in a similar manner, taking into account the academic discourse about picturebooks which was developed in the last decade of the 20th century and beginning of the 21st century by, among others, scholars such as Nodelman, Rhedin, Doonan, Thiele, Stephens, Lewis, Nikolajeva and Scott. In her Moomin books, Jansson uses a wide variety of narrative and illustrative styles which are complementary to each other. Each book is different and unique in its own way, but a certain development or progression of mood and representation can be seen when assessing the series as a whole. Jansson s early stories are happy and adventurous but her later Moomin novels, beginning from Moominland Midwinter, focus more on the interiority of the characters, placing them in difficult situations which approximate social reality. This orientation is also reflected in the representation of movement and space. The books which were published first include more obviously descriptive passages, exemplifying the tradition of literary pictorialism. Whereas in Jansson s later work, the space develops into something that is alive which can have an enduring effect on the characters personalities and behaviour. This study shows how the idea of an image a dynamic image -- forms a holistic foundation for Jansson s imagination and work. The idea of central perspective, or frame, for instance, provided inspiration for whole stories or in the way that she developed her characters, as in the case of the Fillyjonk, who is a complex female figure, simultaneously frantic and prim. The idea of movement is central to the narrative art of picturebooks and illustrated texts, particularly in relation to the way that action is depicted. Jansson, however, also develops a specific choreography of characters in which poses and postures signify action, feelings and relationships. Here, I use two ideas from modern dance, contraction and release (Graham), to characterise the language of movement which is evident in Jansson s words and images. In Jansson s final Moomin novels and short stories, the idea of space becomes more and more dynamic and closely linked with characterisation. My study also examines a number of Jansson s early sketches for her Moomin novels, in which movement is performed much more dramatically than in those illustrations which appeared in the last novels to be published.

Le naturalisme finlandais : Une conception entropique du quotidien

Le naturalisme finlandais. Une conception entropique du quotidien. Finnish Naturalism. An Entropic Conception of Everyday Life. Nineteenth century naturalism was a strikingly international literary movement. After emerging in France in the 1870s, it spread all over Europe including young, small nations with a relatively recent literary tradition, such as Finland. This thesis surveys the role and influence of French naturalism on the Finnish literature of the 1880s and 1890s. On the basis of a selection of works of six Finnish authors (Juhani Aho, Minna Canth, Kauppis-Heikki, Teuvo Pakkala, Ina Lange and Karl August Tavaststjerna), the study establishes a view of the main features of Finnish naturalism in comparison with that of French authors, such as Zola, Maupassant and Flaubert. The study s methodological framework is genre theory: even though naturalist writers insisted on a transparent description of reality, naturalist texts are firmly rooted in general generic categories with definable relations and constants on which European novels impose variations. By means of two key concepts, entropy and everyday life , this thesis establishes the parameters of the naturalist genre. At the heart of the naturalist novel is a movement in the direction of disintegration and confusion, from order to disorder, from illusion to disillusion. This entropic vision is merged into the representation of everyday life, focusing on socially mediocre characters and discovering their miseries in all their banality and daily grayness. By using Mikhail Bakhtin s idea of literary genres as a means of understanding experience, this thesis suggests that everyday life is an ideological core of naturalist literature that determines not only its thematic but also generic distinctions: with relation to other genres, such as to Balzac s realism, naturalism appears primarily to be a banalization of everyday life. In idyllic genres, everyday life can be represented by means of sublimation, but a naturalist novel establishes a distressing, negative everyday life and thus strives to take a critical view of the modern society. Beside the central themes, the study surveys the generic blends in naturalism. The thesis analyzes how the coalition of naturalism and the melodramatic mode in the work of Minna Canth serves naturalisms ambition to discover the unconscious instincts underlying daily realities, and how the symbolic mode in the work of Juhani Aho duplicates the semantic level of the apparently insignificant, everyday naturalist details. The study compares the naturalist novel to the ideological novel (roman à these) and surveys the central dilemma of naturalism, the confrontation between the optimistic belief in social reform and the pessimistic theory of determinism. The thesis proposes that the naturalist novel s contribution to social reform lies in its shock effect. By means of representing the unpleasant truth the entropy of everyday life it aims to scandalize the reader and make him aware of the harsh realities that might apply also to him.

Reflexive Incidence Matrx (RIM) Representation of Petr Nets

Although incidence matrix representation has been used to analyze the Petri net based models of a system, it has the limitation that it does not preserve reflexive properties (i.e., the presence of selfloops) of Petri nets. But in many practical applications self-loops play very important roles. This paper proposes a new representation scheme for general Petri nets. This scheme defines a matrix called "reflexive incidence matrix (RIM) c which is a combination of two matrices, a "base matrix Cb,,, and a "power matrix CP." This scheme preserves the reflexive and other properties of the Petri nets. Through a detailed analysis it is shown that the proposed scheme requires less memory space and less processing time for answering commonly encountered net queries compared to other schemes. Algorithms to generate the RIM from the given net description and to decompose RIM into input and output function matrices are also given. The proposed Petri net representation scheme is very useful to model and analyze the systems having shared resources, chemical processes, network protocols, etc., and to evaluate the performance of asynchronous concurrent systems.

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.

Concepts and Object-Oriented Knowledge Representation

Tutkielma käsittelee nykyisiä kognitiotieteen teorioita käsitteistä ja niiden mallintamista oliokeskeisillä tietämyksen esittämisen menetelmillä. Käsiteteorioista käsitellään klassinen, määritelmäteoria, prototyyppiteoria, duaaliteoriat, uusklassinen teoria, teoria-teoria ja atomistinen teoria. Oliokeskeiset menetelmät ovat viime aikoina jakautuneet kahden tyyppisiin kieliin: oliopohjaisiin ja luokkapohjaisiin. Uudet olio-pohjaiset olio-ohjelmointikielet antavat käsitteiden representointiin mahdollisuuksia, jotka puuttuvat aikaisemmista luokka-pohjaisista kielistä ja myös kehysmenetelmistä. Tutkielma osoittaa, että oliopohjaisten kielten uudet piirteet tarjoavat keinoja, joilla käsitteitä voidaan esittää symbolisessa muodossa paremmin kuin perinteisillä menetelmillä. Niillä pystytään simuloimaan kaikkea mitä luokkapohjaisilla kielillä voidaan, mutta ne pystyvät lisäksi simuloimaan perheyhtäläisyyskäsitteitä ja mahdollistavat olioiden dynaamisen muuttamisen ilman, että siinä rikotaan psykologisen essentialismin periaatetta. Tutkielma osoittaa lisäksi vakavia puutteitta, jotka koskevat koko oliokeskeistä menetelmää. Avainsanat: käsitteet, käsiteteoriat, tekoäly, komputationaalinen psykologia, olio-ohjelmointi, tiedon esittäminen

A new formalism for representation of binary thermodynamic data

The applicability of a formalism involving an exponential function of composition x1 in interpreting the thermodynamic properties of alloys has been studied. The excess integral and partial molar free energies of mixing are expressed as: $$\begin{gathered} \Delta F^{xs} = a_o x_1 (1 - x_1 )e^{bx_1 } \hfill \\ RTln\gamma _1 = a_o (1 - x_1 )^2 (1 + bx_1 )e^{bx_1 } \hfill \\ RTln\gamma _2 = a_o x_1^2 (1 - b + bx_1 )e^{bx_1 } \hfill \\ \end{gathered} $$ The equations are used in interpreting experimental data for several relatively weakly interacting binary systems. For the purpose of comparison, activity coefficients obtained by the subregular model and Krupkowski’s formalism have also been computed. The present equations may be considered to be convenient in describing the thermodynamic behavior of metallic solutions.