Sökning: "Rewrite rules"

Hittade 5 avhandlingar innehållade orden Rewrite rules.

  1. 1. A Uniform Query Processing Approach for Integrating Data from Heterogeneous Resources

    Författare :Merja Karjalainen; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Query processing; Functional data model; Rewrite rules; Data integration;

    Sammanfattning : Scientists who need to explore several different databases in theirresearch can find it difficult and tedious to extract and combineinformation from various heterogeneous data sources manually.This is a particular problem for researchers in the life sciences,since technical advances in the last decade have resulted in a dramaticincrease in the quantity and variety of data. LÄS MER

  3. 2. A System for Integrating Heterogeneous, Autonomous Databases

    Författare :Merja Karjalainen; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; rewrite rules; functional data model; database federation; query processing; Database integration;

    Sammanfattning : .... LÄS MER

  4. 3. Main-Memory Query Processing Utilizing External Indexes

    Författare :Thanh Truong; Tore Risch; Martin Kersten; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Database indexing; query processing; index structures; main-memory; index validation; Datavetenskap med inriktning mot databasteknik; Computer Science with specialization in Database Technology;

    Sammanfattning : Many applications require storage and indexing of new kinds of data in main-memory, e.g. color histograms, textures, shape features, gene sequences, sensor readings, or financial time series. LÄS MER

  5. 4. Automatic Verification of Petri Netsin a CLP framework

    Författare :Hans Olsén; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis presents an approach to automatic verification of Petri Nets. The method is formulated in a CLP framework and the class of systems we consider is characterized syntactically as a special class of Constraint Logic Programs. The state space of the system in question coincides with the least fixpoint of the program. LÄS MER

  7. 5. Bo Widerbergs tv-teater / Bo Widerbergs's TV-Theatre

    Författare :Niklas Persson Webjörn; Göteborgs universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Acting; method acting; realism; auteur; Verfremdungseffekt; Nouvelle Vague; Arthur Miller; Albert Camus; Tennessee Williams; August Strindberg; Henrik Ibsen; Lars Norén; Bengt Bratt; Roland Janson; Elia Kazan; Bertholt Brecht; Jean-Luc Godard; Pierre Bourdieu;

    Sammanfattning : The dissertation analyzes the seven studio produced TV-plays made (1979-1992) by the renown Swedish filmmaker Bo Widerberg. The main focus regards Widerberg’s work method, here referred to as ”The Widerberg method”, which can be described as an acting oriented work method influenced by the American method acting tradition from Hollywood in the fifties, especially the films by Elia Kazan. LÄS MER