AMPHORA RESEARCH GROUP http://www.mirlabs.org/ http://www.cski.cz/
aDt abse, http://www.cs.vsb.cz/dateso/2010/ http://www.ceur-ws.org/Vol-567/
Sc.
Sponsored by A
R
G
This work is subject to copyright. All rights reserved. Reproduction or publication of this material, even partial, is allowed only with the editors' permission. Page count: Publication: Impression: 150 Edition: 1st First published: 2010 198 310th This proceedings was typeset by PDFLATEX.
Cover design by Pavel Moravec (pavel.moravec@vsb.cz) and Tomas Skopal. Printed and bound in Ostrava, Czech Republic by TiskServis Jir Pustina. Published by MATFYZPRESS publishing house of Faculty of Mathematics and Physics Charles University in Prague, Sokolovska 83, 186 75 Praha 8, Czech Republic as its 310th publication. DATESO 2010, the international workshop on current trends on Databases, Information Retrieval, Algebraic Speci cation and Object Oriented Programming, was held on April 21 { 23, 2010 in in pension Fousek, Stedron n - Plazy.
The 10th jubilee year was organized by Department of Software Engineering MFF UK Praha, Department of Computer Science and Engineering FEL CVUT Praha, Department of Computer Science VSB-Technical University Ostrava, and the Working group on Computer Science and Society of Czech Society for Cybernetics and Informatics. The DATESO workshops aim for strengthening connections between these various areas of Computer science. The proceedings of DATESO 2010 are also available at DATESO Web site: http://www.cs.vsb.cz/dateso/2010/ and CEUR Workshop Proceeding site: http://www.ceur-ws.org/Vol-567/ (ISSN 1613-0073). The Program Committee selected 15 papers (11 full papers and 4 posters) from 26 submissions, based on two independent reviews.
The workshop program also included 2 invited lectures: Database Trends and Directions: Current Challenges and Opportunities by George Feuerlicht, and Content-based Retrieval of Compressed Images by Gerald Schaefer.
We wish to express our sincere thanks to all the authors who submitted 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 for preparation of workshop and its proceedings as well as the Czech Society for Cybernetics and Informatics and MIR Labs for their support of publishing this issue.
Special thanks go to P. Moravec who, as copy editor of DATESO Proceedings, prepared this volume.
April, 2010 J. Pokorny, V. Snasel, K. Richta (Eds.)
Jaroslav Pokorny (chair) Charles University, Prague Vaclav Snasel VSB-Technical University of Ostrava, Ostrava Karel Richta Czech Technical University, Prague
Jaroslav Pokorny (chair) Charles University, Prague Karel Richta Czech Technical University, Prague Vojtech Svatek University of Economics, Prague Peter Vojtas Charles University, Prague Dusan Husek Inst. of Computer Science, Academy of Sciences, Prague Michal Kratky VSB-Technical University of Ostrava, Ostrava Tomas Skopal Charles University, Prague Pavel Moravec VSB-Technical University of Ostrava, Ostrava Irena Mlynkova Charles University, Prague Michal Valenta Czech Technical University, Prague Pavel Loupal Czech Technical University, Prague Martin Necasky Charles University, Prague Jir Dvorsky VSB-Technical University of Ostrava, Ostrava Radim Baca VSB-Technical University of Ostrava, Ostrava Petr Gajdos VSB-Technical University of Ostrava, Ostrava
VSB-Technical University of Ostrava, Ostrava Charles University, Prague Charles University, Prague
Charles University, Prague Parametrised Hausdor Distance as a Non-Metric Similarity Model for Tandem Mass Spectrometry : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : Jir Novak, David Hoksza Two-step Modi ed SOM for Parallel Calculation : : : : : : : : : : : : : : : : : : : : : : Petr Gajdos, Pavel Moravec Answering Metric Skyline Queries by PM-tree : : : : : : : : : : : : : : : : : : : : : : : : Tomas Skopal, Jakub Lokoc A Framework for E cient Design, Maintaining, and Evolution of a System of XML Applications : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : Martin Necasky, Irena Mlynkova Reconstructing Social Networks from Emails : : : : : : : : : : : : : : : : : : : : : : : : : Marcel Kvassay, Michal Laclav k, Stefan Dlugolinsky E cient Implementation of XPath Processor on Multi-Core CPUs : : : : : : Martin Krulis, Jakub Yaghob Fast Fibonacci Encoding Algorithm : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : Jir Walder, Michal Kratky, Jan Platos iXUPT: Indexing XML Using Path Templates : : : : : : : : : : : : : : : : : : : : : : : : Tomas Bartos, Jan Kasarda Reverse-engineering of XML Schemas: A Survey : : : : : : : : : : : : : : : : : : : : : : Jakub Kl mek, Martin Necasky 1 13 22 38 50 60 72 84 96 Evolving Quasigroups by Genetic Algorithms : : : : : : : : : : : : : : : : : : : : : : : : : 108 Vaclav Snasel, Jir Dvorsky, Eliska Ochodkova, Pavel Kromer, Jan Platos, Ajith Abraham Using Spectral Clustering for Finding Students' Patterns of Behavior in Social Networks : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 118 Gamila Obadi, Pavla Drazdilova, Jan Martinovic, Katerina Slaninova, Vaclav Snasel
Deferred Node-copying Scheme for XQuery Processors : : : : : : : : : : : : : : : : : 131 Jan Kurs, Jan Vrany Denotational Semantics of the XML- Query Language : : : : : : : : : : : : : : : : 139 Pavel Loupal, Karel Richta Modeling and Veri cation of Priority Assignment in Real-Time Databases Using Uppaal : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 147 Martin Kot Testing Quasigroup Identities using Product of Sequence : : : : : : : : : : : : : : : 155 Eliska Ochodkova, Jir Dvorsky, Vaclav Snasel, Ajith Abraham
Database Trends and Directions: Current Challenges and Opportunities : : 163 George Feuerlicht Content-based Retrieval of Compressed Images : : : : : : : : : : : : : : : : : : : : : : : 175 Gerald Schaefer Author Index : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 186