XML-verkkotietokantojen suorituskykyvertailu

XML:n kasvava suosio dokumenttiformaattina sekä sen alati monipuolistuva käyttö ovat lisänneet XML-tiedonhallintajärjestelmien tarvetta. Yksi tapa XML-dokumenttien hallintaan on edelleen tiedostopohjainen järjestelmä. Erilaisiin tietokantoihin perustuvat XML-tiedonhallintajärjestelmät ovat kuitenkin viime vuosina kasvattaneetsuosiotaan monipuolisempien ominaisuuksien ja paremman suorituskyvyn takia. Lisäksi XML-dokumenttien hallinta tiedostopohjaisessa järjestelmässä käy lähes mahdottomaksi suurilla datamäärillä. Suhteellisen uutena tulokkaana XML-dokumenttienhallintaan ovat tulleet natiivit XML -tietokannat, jotka ovat suunniteltu juuriXML:ää silmälläpitäen. Tässä diplomityössä esitellään erilaisia XML-tiedonhallintajärjestelmiä. Erityisesti relaatiotietokantoihin ja natiiveihin XML -tietokantoihin perustuvien ratkaisujen taustoihin ja teknisiin yksityiskohtiin yritetään luoda syvällinen katsaus. Neljälle XML-tiedonhallintaratkaisulle - Binary Approachille, Edge Approachille, eXistille ja Xindicelle - suoritetaan XMach-1 suorituskykytesti. Lisäksi testattavien ratkaisujen teknistä toimivuutta arvioidaan sekä analyyttisen että käytännön tarkastelun kautta. Suorituskykytestien ja teknisen toimivuuden arvioiden perusteella on tarkoitus valita XML-tiedonhallintaratkaisu Javalla toteutetulle Web-sovellukselle, joka käyttää XML:ää tietojen tallennusformaattina.

A mathematical study of fuzzy logic; an algebraic approach

Fuzzy set theory and Fuzzy logic is studied from a mathematical point of view. The main goal is to investigatecommon mathematical structures in various fuzzy logical inference systems and to establish a general mathematical basis for fuzzy logic when considered as multi-valued logic. The study is composed of six distinct publications. The first paper deals with Mattila'sLPC+Ch Calculus. THis fuzzy inference system is an attempt to introduce linguistic objects to mathematical logic without defining these objects mathematically.LPC+Ch Calculus is analyzed from algebraic point of view and it is demonstratedthat suitable factorization of the set of well formed formulae (in fact, Lindenbaum algebra) leads to a structure called ET-algebra and introduced in the beginning of the paper. On its basis, all the theorems presented by Mattila and many others can be proved in a simple way which is demonstrated in the Lemmas 1 and 2and Propositions 1-3. The conclusion critically discusses some other issues of LPC+Ch Calculus, specially that no formal semantics for it is given.In the second paper the characterization of solvability of the relational equation RoX=T, where R, X, T are fuzzy relations, X the unknown one, and o the minimum-induced composition by Sanchez, is extended to compositions induced by more general products in the general value lattice. Moreover, the procedure also applies to systemsof equations. In the third publication common features in various fuzzy logicalsystems are investigated. It turns out that adjoint couples and residuated lattices are very often present, though not always explicitly expressed. Some minor new results are also proved.The fourth study concerns Novak's paper, in which Novak introduced first-order fuzzy logic and proved, among other things, the semantico-syntactical completeness of this logic. He also demonstrated that the algebra of his logic is a generalized residuated lattice. In proving that the examination of Novak's logic can be reduced to the examination of locally finite MV-algebras.In the fifth paper a multi-valued sentential logic with values of truth in an injective MV-algebra is introduced and the axiomatizability of this logic is proved. The paper developes some ideas of Goguen and generalizes the results of Pavelka on the unit interval. Our proof for the completeness is purely algebraic. A corollary of the Completeness Theorem is that fuzzy logic on the unit interval is semantically complete if, and only if the algebra of the valuesof truth is a complete MV-algebra. The Compactness Theorem holds in our well-defined fuzzy sentential logic, while the Deduction Theorem and the Finiteness Theorem do not. Because of its generality and good-behaviour, MV-valued logic can be regarded as a mathematical basis of fuzzy reasoning. The last paper is a continuation of the fifth study. The semantics and syntax of fuzzy predicate logic with values of truth in ana injective MV-algerba are introduced, and a list of universally valid sentences is established. The system is proved to be semanticallycomplete. This proof is based on an idea utilizing some elementary properties of injective MV-algebras and MV-homomorphisms, and is purely algebraic.

Diseño e implementación de la base de datos de un sistema centralizado de control del gasto público de los parlamentos europeos

Diseño e implementación de la base de datos de un sistema centralizado de control del gasto público de los parlamentos europeos.

Disseny i implementació d'una base de dades relacional per a la gestió d'apostes de futbol

Memòria del projecte final de carrera on es desenvolupen la planificació de les tasques, la definició i anàlisi dels requeriments, l'enumeració dels casos d'ús, el disseny de la base de dades operacional i de data warehouse, implementació dels esquemes, realització de proves unitàries i procedimentació i tasques d'extracció, transformació i càrrega. L'usuari s'haurà de validar usant la funció login i per poder accedir a la informació haurà d'usar els paquets de la base de dades sense poder accedir directament a les dades de les taules.

Capitals, trajectòries i estratègies: la teoria general dels camps de P. Bourdieu

El model de classes de P. Bourdieu articula la dimensió objectiva —l’estructura de classe— i la dimensió subjectiva —l’acció de classe—. Aquesta anàlisi de classe forma part d’un debat al voltant de la naturalesa de la realitat social, en el qual el punt més important és la connexió del camp de la producció i del camp de la reproducció de subjectes. Bourdieu, en enfasitzar la condició relacional de l’àmbit social, defineix l’acció social com a dependent de l’estructura relacional, en existir una connexió lògica necessària entre la localització dels agents en un conjunt de relacions socials i els seus interessos, objectius i estratègies d’acció. Per tant, per a aquest autor, hi ha una eficàcia estructuradora de l’acció dels agents socials per l’estructura de classe, i es constitueix, així, en una matriu d’acció, o millor dit, en una estructura probabilística de l’acció. És, doncs, fonamental, considerar el paper de l’acció en la construcció de les classes en si, ja que les classes teòriques, agrupacions fictícies que només existeixen sobre el paper, estan predisposades a convertir-se en classes en el sentit marxista del terme. I sols es passa de la classe sobre el paper a clase real a costa d’una labor política de movilització. Així, l’existència de classes, tant en la teoria com en la realitat, és una aposta de lluites en existir un espai social, un espai de diferències, en el qual les classes existeixen en estat virtual, no com quelcom donat, sinó com quelcom que es tracta de construir.

EndoG links Bnip3-induced mitochondrial damage and caspase-independent DNA fragmentation in ischemic cardiomyocytes

Mitochondrial dysfunction, caspase activation and caspase-dependent DNA fragmentation are involved in cell damage in many tissues. However, differentiated cardiomyocytes repress the expression of the canonical apoptotic pathway and their death during ischemia is caspase-independent. The atypical BH3-only protein Bnip3 is involved in the process leading to caspase-independent DNA fragmentation in cardiomyocytes. However, the pathway by which DNA degradation ensues following Bnip3 activation is not resolved. To identify the mechanism involved, we analyzed the interdependence of Bnip3, Nix and EndoG in mitochondrial damage and DNA fragmentation during experimental ischemia in neonatal rat ventricular cardiomyocytes. Our results show that the expression of EndoG and Bnip3 increases in the heart throughout development, while the caspase-dependent machinery is silenced. TUNEL-positive DNA damage, which depends on caspase activity in other cells, is caspase-independent in ischemic cardiomyocytes and ischemia-induced DNA high and low molecular weight fragmentation is blocked by repressing EndoG expression. Ischemia-induced EndoG translocation and DNA degradation are prevented by silencing the expression of Bnip3, but not Nix, or by overexpressing Bcl-xL. These data establish a link between Bnip3 and EndoG-dependent, TUNEL-positive, DNA fragmentation in ischemic cardiomyocytes in the absence of caspases, defining an alternative cell death pathway in postmitotic cells.

Immigrant Families and the School in Spain: Dynamics and Factors that Influence their Relations

In Spain, academic debate and school administrations have evolved to the extent that relations between the school, the family and the surrounding environment are now considered as crucial to student achievement at school and to the good functioning of the educational system as a whole. Despite this development, change is slow in practice and often complicated due to the emerging resistance of families and schools, given that they have always maintained relations marked by an imbalance of power. Our theoretical and especially our empirical work has focused on the relations between immigrant families and the school system in Spain. In view of the above, the creation of what we call positive relational dynamics and communication in schools is conditioned by the attitudes and behaviour of the school administration, professionals and families. However, the physical space in which these relations take place must also be taken into consideration. Regarding school organisation, we have emphasised the role of the school’s administration. By differentiating the range of management models, we note the ones that facilitate more relations and communication with and among families (especially the one we have called the horizontal participative model) and those that discourage them. However, the multiple and complex range of attitudes among teachers and families must always be taken into account.

Sovellus meteorologisen tiedon tuotantojärjestelmän seurantaan

Työssä käsitellään selainkäyttöliittymää käyttävien oliopohjaisten tietokantasovellusten toteuttamista. Erityisesti keskitytään olio- ja relaatiomallien yhteensovittamiseen ja oliopohjaisten selainkäyttöliittymien toteutukseen Java-servlettien ja JSP-sivujen avulla. Myös hajautetut sovellusarkkitehtuurit käydään läpi ja niiden toteuttamista arvioidaan servlet-sovellusten näkökulmasta. Työssä on toteutettu selainkäyttöliittymän avulla hallittava kaksitasoarkkitehtuuria käyttävä oliopohjainen sovellus Ilmatieteen laitoksen tuotantojärjestelmän seurantaan. Sovellus mahdollistaa mm. tuotantoajojen ja laajempien tuotantoketjujen suoritusaikojen tilastollisen seurannan. Työn tuloksena todettiin Java-servlettien ja JSP-sivujen olevan suorituskykyinen ja monipuolinen ratkaisu selainkäyttöliittymien toteuttamiseen. Olio- ja relaatiomallien väliset erot sekä käyttöliittymän eriyttäminen toimintalogiikasta osoittautuivat ongelmakohdiksi.

Messaging Application Engine for Symbian Platform

Tämä diplomityö kuvaa viestintä sovelluksen ytimen kehitystyön Symbian-alustalle. Koko sovelluksen vaatimuksena oli vastaamattomiin puheluihin vastaaminen ennalta määritellyillä tekstiviesteillä käyttäjän määrittelemien sääntöjen mukaisesti. Ei-toiminnallisia vaatimuksia olivat resurssien käytön vähentäminen ja uudelleenkäytön mahdollistaminen. Täten tämän työn tavoitteena oli kehittää ydin, joka kapseloi sovelluksen sellaisen toiminnallisuuden, joka on käyttöliittymästä riippumatonta ja uudelleenkäytettävää. Kehitystyössä ohjasi Unified Process, joka on iteroiva, käyttötapauksien ohjaama ja arkkitehtuurikeskeinen ohjelmistoprosessi. Se kannusti käyttämään myös muita teollisuudenalan vakiintuneita menetelmiä, kuten suunnittelumalleja ja visuaalista mallintamista käyttäen Unified Modelling Languagea. Suunnittelumalleja käytettiin kehitystyön aikana ja ohjelmisto mallinnettiin visuaalisesti suunnittelun edistämiseksi ja selkiyttämiseksi. Alustan palveluita käytettiin hyväksi kehitysajan ja resurssien käytön minimoimiseksi. Ytimen päätehtäviksi määrättiin viestien lähettäminen sekä sääntöjen talletus ja tarkistaminen. Sovelluksen eri alueet, eli sovelluspalvelin ja käyttöliittymää, pystyivät käyttämään ydintä ja sillä ei ollut riippuvuuksia käyttöliittymätasolle. Täten resurssien käyttö väheni ja uudelleenkäytettävyys lisääntyi. Viestien lähettäminen toteutettiin Symbian-alustan menetelmin. Sääntöjen tallettamiseen tehtiin tallennuskehys, joka eristää sääntöjen sisäisen ja ulkoisen muodon. Tässä tapauksessa ulkoiseksi tallennustavaksi valittiin relaatiotietokanta. Sääntöjen tarkastaminen toteutettiin tavanomaisella olioiden yhteistoiminnalla. Päätavoite saavutettiin. tämä ja muut hyviksi arvioidut lopputulokset, kuten uudelleenkäytettävyys ja vähentynyt resurssien käyttö, arveltiin juontuvan suunnittelumallien ja Unified Processin käytöstä. Kyseiset menetelmät osoittivat mukautuvansa pieniinkin projekteihin. Menetelmien todettiin myös tukevan ja kannustavan kehitystyön aikaista oppimista, mikä oli välttämätöntä tässä tapauksessa.

Object-oriented development of client / server application: case study of service control software

Tässä työssä on esitetty sen ohjelmiston kehittämisen prosessi, joka on tarkoitettu annettavien palveluiden valvottavaksi käyttäen prototyyppimallia. Raportti sisältää vaatimusten, kohteisiin suunnatun analyysin ja suunnittelun, realisointiprosessien kuvauksen ja prototyypin testauksen. Ohjelmiston käyttöala – antavien palveluiden valvonta. Vaatimukset sovellukselle analysoitiin ohjelmistomarkkinoiden perusteella sekä ohjelmiston engineeringin periaatteiden mukaisesti. Ohjelmiston prototyyppi on realisoitu käyttäen asiakas-/palvelinhybridimallia sekä ralaatiokantaa. Kehitetty ohjelmisto on tarkoitettu venäläisille tietokonekerhoille, jotka erikoistuvat pelipalvelinten antamiseen.

Logististen palvelukonseptien kehittäminen

VALSSI- (Value Added Logistics Service Support) projektin tavoitteena on uusi varaosalogistiikan liiketoimintamuoto. Se tapahtuu tuomalla lisäarvopalveluita tilaustoimitusprosesseihin lisäämällä selkeitä tuotantoprosessiin liittyviä moduuleita palveluyrityksen toimintaan sekä hyödyntämällä tietojärjestelmiä teknologioina. Tämän diplomityön tavoitteena oli selvittää, kuvata ja kehittää VALSSI-projektiin osaa ottavan kohdeyrityksen, ValLog Oy:n palvelut modulaarisesti prosesseina. Muodostetuista prosesseista oli tavoitteena tehdä myös työkalu, jonka avulla voidaan esitellä asiakkaalle ValLog Oy:n palveluita myyntitilanteessa sekä selvittää asiakkaan palveluiden tarvekartoitusta. Lisäksi yhteistyössä Metso Paper Servicen kanssa oli tavoitteena kartoittaa vastaavatko ValLog Oy:n logistiikkaprosessit markkinoiden vaatimaa tarvetta sekä selvittää diplomityön perustyövaiheen, eli palveluprosessien kuvauksien tuloksia. ValLog Oy:n palvelukokonaisuus, 12 palvelukonseptia, avattiin prosesseiksi, jotka kuvataan vuokaavioina ja kirjallisena selostuksena. Niistä selviää palvelujen toimintojen väliset riippuvuudet eli koko toimintoketju sekä vuorovaikutussuhteet asiakkaan ja ValLog Oy:n välillä. Yhteistyössä Metso Oyj:n kanssa selvisi, että ValLog Oy:n palvelut ovat varaosalogistiikan tarpeisiin erittäin kattavat. Myyntityökaluksi tehdystä PowerPoint- prosessiesityksestä muodostui asiakkaalle selkeä käsitys palvelukokonaisuuksien kokoamisesta asiakastarvelähtöisesti. Uuden liiketoiminnan luomisessa kuvatut palveluprosessit toimivat peruskäsikirjana. Niissä palvelutoiminta muodostuu selkeistä tuotanto-prosessiin liittyvistä logistisista palvelukokonaisuuksista ja niiden analogia soveltuu myös muiden logistiikkayritysten liiketoiminnan selvittämiseen ja modulaariseen kuvaamiseen.

Oliotietokannan muuttaminen relaatiotietokannaksi

Diplomityön tavoitteena oli parantaa oliotietokantaan perustuvan mökkivarausjärjestelmän pitkiä vasteaikoja ja epävakaata toimintaa sekä luoda tietokantaperusta uusille toiminnoille. Ratkaisua etsittiin korvaamalla oliotietokanta relaatiotietokannalla. Diplomityö on osa koko varausjärjestelmän uusintaa. Työn teoreettinen osuus käsittelee sekä olio- että relaatiotietokannan rakennetta ja oliomallin muuttamista relaatiomalliksi. Käytännön osassa esitellään relaatiotietokannan luominen vaiheittain ja kerrotaan tietojen siirron periaatteesta. Relaatiotietokannan havaittiin olevan vakaampi ja tehokkaampi vasteajoiltaan. Samoin sen vaatima levytilan ja muistin määrä oli pienempi kuin oliotietokannalla. Lisäksi siihen todettiin uusien järjestelmien liittämisen olevan yksinkertaisempaa.

Evolutionary Games in Networked Populations: Models and Experiments

Cooperation and coordination are desirable behaviors that are fundamental for the harmonious development of society. People need to rely on cooperation with other individuals in many aspects of everyday life, such as teamwork and economic exchange in anonymous markets. However, cooperation may easily fall prey to exploitation by selfish individuals who only care about short- term gain. For cooperation to evolve, specific conditions and mechanisms are required, such as kinship, direct and indirect reciprocity through repeated interactions, or external interventions such as punishment. In this dissertation we investigate the effect of the network structure of the population on the evolution of cooperation and coordination. We consider several kinds of static and dynamical network topologies, such as Baraba´si-Albert, social network models and spatial networks. We perform numerical simulations and laboratory experiments using the Prisoner's Dilemma and co- ordination games in order to contrast human behavior with theoretical results. We show by numerical simulations that even a moderate amount of random noise on the Baraba´si-Albert scale-free network links causes a significant loss of cooperation, to the point that cooperation almost vanishes altogether in the Prisoner's Dilemma when the noise rate is high enough. Moreover, when we consider fixed social-like networks we find that current models of social networks may allow cooperation to emerge and to be robust at least as much as in scale-free networks. In the framework of spatial networks, we investigate whether cooperation can evolve and be stable when agents move randomly or performing Le´vy flights in a continuous space. We also consider discrete space adopting purposeful mobility and binary birth-death process to dis- cover emergent cooperative patterns. The fundamental result is that cooperation may be enhanced when this migration is opportunistic or even when agents follow very simple heuristics. In the experimental laboratory, we investigate the issue of social coordination between indi- viduals located on networks of contacts. In contrast to simulations, we find that human players dynamics do not converge to the efficient outcome more often in a social-like network than in a random network. In another experiment, we study the behavior of people who play a pure co- ordination game in a spatial environment in which they can move around and when changing convention is costly. We find that each convention forms homogeneous clusters and is adopted by approximately half of the individuals. When we provide them with global information, i.e., the number of subjects currently adopting one of the conventions, global consensus is reached in most, but not all, cases. Our results allow us to extract the heuristics used by the participants and to build a numerical simulation model that agrees very well with the experiments. Our findings have important implications for policymakers intending to promote specific, desired behaviors in a mobile population. Furthermore, we carry out an experiment with human subjects playing the Prisoner's Dilemma game in a diluted grid where people are able to move around. In contrast to previous results on purposeful rewiring in relational networks, we find no noticeable effect of mobility in space on the level of cooperation. Clusters of cooperators form momentarily but in a few rounds they dissolve as cooperators at the boundaries stop tolerating being cheated upon. Our results highlight the difficulties that mobile agents have to establish a cooperative environment in a spatial setting without a device such as reputation or the possibility of retaliation. i.e. punishment. Finally, we test experimentally the evolution of cooperation in social networks taking into ac- count a setting where we allow people to make or break links at their will. In this work we give particular attention to whether information on an individual's actions is freely available to poten- tial partners or not. Studying the role of information is relevant as information on other people's actions is often not available for free: a recruiting firm may need to call a job candidate's refer- ences, a bank may need to find out about the credit history of a new client, etc. We find that people cooperate almost fully when information on their actions is freely available to their potential part- ners. Cooperation is less likely, however, if people have to pay about half of what they gain from cooperating with a cooperator. Cooperation declines even further if people have to pay a cost that is almost equivalent to the gain from cooperating with a cooperator. Thus, costly information on potential neighbors' actions can undermine the incentive to cooperate in dynamical networks.

Genome sequence of the Drosophila melanogaster male-killing Spiroplasma strain MSRO endosymbiont.

Spiroplasmas are helical and motile members of a cell wall-less eubacterial group called Mollicutes. Although all spiroplasmas are associated with arthropods, they exhibit great diversity with respect to both their modes of transmission and their effects on their hosts; ranging from horizontally transmitted pathogens and commensals to endosymbionts that are transmitted transovarially (i.e., from mother to offspring). Here we provide the first genome sequence, along with proteomic validation, of an endosymbiotic inherited Spiroplasma bacterium, the Spiroplasma poulsonii MSRO strain harbored by Drosophila melanogaster. Comparison of the genome content of S. poulsonii with that of horizontally transmitted spiroplasmas indicates that S. poulsonii has lost many metabolic pathways and transporters, demonstrating a high level of interdependence with its insect host. Consistent with genome analysis, experimental studies showed that S. poulsonii metabolizes glucose but not trehalose. Notably, trehalose is more abundant than glucose in Drosophila hemolymph, and the inability to metabolize trehalose may prevent S. poulsonii from overproliferating. Our study identifies putative virulence genes, notably, those for a chitinase, the H2O2-producing glycerol-3-phosphate oxidase, and enzymes involved in the synthesis of the eukaryote-toxic lipid cardiolipin. S. poulsonii also expresses on the cell membrane one functional adhesion-related protein and two divergent spiralin proteins that have been implicated in insect cell invasion in other spiroplasmas. These lipoproteins may be involved in the colonization of the Drosophila germ line, ensuring S. poulsonii vertical transmission. The S. poulsonii genome is a valuable resource to explore the mechanisms of male killing and symbiont-mediated protection, two cardinal features of many facultative endosymbionts. IMPORTANCE: Most insect species, including important disease vectors and crop pests, harbor vertically transmitted endosymbiotic bacteria. These endosymbionts play key roles in their hosts' fitness, including protecting them against natural enemies and manipulating their reproduction in ways that increase the frequency of symbiont infection. Little is known about the molecular mechanisms that underlie these processes. Here, we provide the first genome draft of a vertically transmitted male-killing Spiroplasma bacterium, the S. poulsonii MSRO strain harbored by D. melanogaster. Analysis of the S. poulsonii genome was complemented by proteomics and ex vivo metabolic experiments. Our results indicate that S. poulsonii has reduced metabolic capabilities and expresses divergent membrane lipoproteins and potential virulence factors that likely participate in Spiroplasma-host interactions. This work fills a gap in our knowledge of insect endosymbionts and provides tools with which to decipher the interaction between Spiroplasma bacteria and their well-characterized host D. melanogaster, which is emerging as a model of endosymbiosis.

Action Dominates Valence in Anticipatory Representations in the Human Striatum and Dopaminergic Midbrain

The acquisition of reward and the avoidance of punishment could logically be contingent on either emitting or withholding particular actions. However,the separate pathways inthe striatumfor go and no-go appearto violatethis independence, instead coupling affect and effect. Respect for this interdependence has biased many studies of reward and punishment, so potential action- outcome valence interactions during anticipatory phases remain unexplored. In a functional magnetic resonance imaging study with healthy human volunteers, we manipulated subjects" requirement to emit or withhold an action independent from subsequent receipt of reward or avoidance of punishment. During anticipation, in the striatum and a lateral region within the substantia nigra/ventral tegmental area (SN/VTA), action representations dominated over valence representations. Moreover, we did not observe any representation associated with different state values through accumulation of outcomes, challenging a conventional and dominant association between these areas and state value representations. In contrast, a more medial sector of the SN/VTA responded preferentially to valence, with opposite signs depending on whether action was anticipatedto be emitted or withheld. This dominant influence of action requires an enriched notion of opponency between reward and punishment.