• Aucun résultat trouvé

First Pages

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "First Pages"

Copied!
5
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

VˇSB–TU Ostrava, FEECS, Department of Computer Science

Czech Technical University in Prague, FEE, Dept. of Computer Science & Eng.

Charles University in Prague, MFF, Department of Software Engineering Czech Society for Cybernetics and Informatics

Proceedings of the Dateso 2008 Workshop Databases, Texts

Specifications, and Objects

2008

http://www.cs.vsb.cz/dateso/2008/

http://www.ceur-ws.org/Vol-330/

Sc.

Group

AMPHORA RESEARCH GROUP

A R G

Amphor

April 16 – 18, 2008

Desn´ a – ˇ Cern´ a ˇ R´ıˇ cka

(2)

DATESO 2008

c V. Sn´aˇsel, K. Richta, J. Pokorn´y, editors

This work is subject to copyright. All rights reserved. Reproduction or publication of this material, even partial, is allowed only with the editors’ permission.

Technical editor:

Pavel Moravec,[email protected]

Page count: 84 Impression: 100 Edition: 1st First published: 2008

This proceedings was typeset by PDFLATEX.

Cover design by Pavel Moravec ([email protected]) and Tom´aˇs Skopal.

Printed and bound in Ostrava, Czech Republic by TiskServis Jiˇr´ı Pustina.

Published by VˇSB – Technical University of Ostrava Faculty of Electrical Engineering and Computer Science Department of Computer Science

(3)

Preface

DATESO 2008, the international workshop on current trends on Databases, In- formation Retrieval, Algebraic Specification and Object Oriented Programming, was held on April 16 – 18, 2008 in Desn´a – ˇCern´a ˇR´ıˇcka. This was the 8th an- nual workshop organized by VˇSB-Technical University Ostrava, Department of Computer Science, FEL ˇCVUT Praha, Department of Computer Science and Engineering and MFF UK Praha, Department of Software Engineering. The DATESO aims for strengthening the connection between this various areas of informatics. The proceedings of DATESO 2008 are also available at DATESO Web sitehttp://www.cs.vsb.cz/dateso/2008/and shortly after the workshop will appear athttp://www.ceur-ws.org/Vol-330/.

The Program Committee selected 6 papers from 8 submissions, based on three independent reviews.

We wish to express our sincere thanks to all the authors who submit- ted papers, the members of the Program Committee, who reviewed them on the basis of originality, technical quality, and presentation. We are also thankful to the Organizing Committee and Amphora Research Group (ARG, http://www.cs.vsb.cz/arg/) for preparation of workshop and its proceedings.

March, 2008 V. Sn´aˇsel, K. Richta, J. Pokorn´y (Eds.)

(4)

Steering Committee

V´aclav Sn´aˇsel VˇSB-Technical University of Ostrava, Ostrava Jaroslav Pokorn´y Charles University, Prague

Karel Richta Czech Technical University, Prague

Program Committee

V´aclav Sn´aˇsel (chair) VˇSB-Technical University of Ostrava, Ostrava Jaroslav Pokorn´y Charles University, Prague

Karel Richta Czech Technical University, Prague Vojtˇech Sv´atek University of Economics, Prague Peter Vojt´aˇs Charles University, Prague Tom´aˇs Skopal Charles University, Prague

Duˇsan H´usek Inst. of Computer Science, Academy of Sciences, Prague Michal Kr´ak´y VˇSB-Technical University of Ostrava, Ostrava

Pavel Moravec VˇSB-Technical University of Ostrava, Ostrava Irena Ml´ynkov´a Charles University, Prague

Michal Valenta Czech Technical University, Prague

Organizing Committee

Pavel Moravec VˇSB-Technical University of Ostrava Jan Platoˇs VˇSB-Technical University of Ostrava Yveta Geletiˇcov´a VˇSB-Technical University of Ostrava

(5)

Table of Contents

Full Papers

Incox – A language for XML Integrity Constraints Description. . . 1 Kateˇrina Opoˇcensk´a, Michal Kopeck´y

Conceptual Model Based Normalization of XML Views . . . 13 Martin Neˇcask´y

Using taDOM Locking Protocol in a Functional XML Update Language . 25 Pavel Strnad and Pavel Loupal

Database Engineering from the Category Theory Viewpoint . . . 37 David Toth

Tensor Decomposition for 3D Bars Problem . . . 49 Jan Platoˇs, Jana Koˇc´ıbov´a, Pavel Kr¨omer, Pavel Moravec, V´aclav

Sn´aˇsel

Developing Genetic Algorithms for Boolean Matrix Factorization. . . 61 V´aclav Sn´aˇsel, Jan Platoˇs, Pavel Kr¨omer

Invited Lectures

Towards Cost-based Optimizations of Twig Content-based Queries . . . 71 Michal Kr´atk´y and Radim Baˇca

Vector-Oriented Retrieval in XML Data Collections . . . 74 Jaroslav Pokorn´y

Decathlon, Conflicting Objectives and User Preference Querying . . . 76 Peter Vojt´aˇs

Author Index

. . . 80

Références

Télécharger maintenant ( PDF - 5 Page - 299.92 KB )

Documents relatifs

Department Of Computer Science Gulbarga University Gulbarga

 There are chances of Android may become the widely used operating system in world as it has found its application in many. appliances such as washing machine, microwave

IN ENGINEERING AND COMPUTER SCIENCE

Legendre sequences (Polyphase Legendre sequences), L-sequences (PL-sequences) for short, and modified Jacobi sequences (modifies polyphase Jacobi sequences),

First Pages

This was the 7 th an- nual workshop organized by Vˇ SB-Technical University Ostrava, Department of Computer Science, FEL ˇ CVUT Praha, Department of Computer Science and Engineering

First Pages

This was the 6 th an- nual workshop organized by Vˇ SB-Technical University Ostrava, Department of Computer Science, FEL ˇ CVUT Praha, Department of Computer Science and Engineering

On Bunched Typing Peter O’Hearn Department of Computer Science Queen Mary, University of London

The reading for the affine variant, which admits Weakening for the multiplicative combination “,”, is obtained by changing the interpretation of the additive function type to say

E

In Chapter 3, we will describe our incremental distance computation al- gorithm which utilizes the concept of Voronoi regions and the properties of convex polyhedra to perform

Department of Computer Science Stanford University

(Note, though, that the number of training patterns seen before this maximum number of mistakes is made might be much greater.) This theoretical (and very impractical!) result (due

EncyclopEdia of computEr sciEncE and tEchnology

Whenever a new applica- tion such as a communications controller (see embedded system ) was developed, it typically had its own special- ized programming language.