Search for dissertations about: "Rewrite rules"
Found 4 swedish dissertations containing the words Rewrite rules.
-
1. A Uniform Query Processing Approach for Integrating Data from Heterogeneous Resources
Abstract : 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. READ MORE
-
2. A System for Integrating Heterogeneous, Autonomous Databases
Abstract : .... READ MORE
-
3. Main-Memory Query Processing Utilizing External Indexes
Abstract : 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. READ MORE
-
4. Automatic Verification of Petri Netsin a CLP framework
Abstract : 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. READ MORE