Dept. of Computer Science & Engineering, Czech Technical University, Prague Department of Computer Science, VSBˇ – Technical University of Ostrava Department of Software Engineering, Charles University, Prague Czech Society for Cybernetics and Informatics, Workgroup on Computer Science & Informatics, Prague Proceedings of the Dateso 2005 Workshop Databases, Texts Specifications,200 and Objects5 http://www.cs.vsb.cz/dateso/2005/ Group Amphor Sc. A R G AMPHORA RESEARCH GROUP April 13 – 15, 2005 Desn´a– Cern´aˇ R´ıˇckaˇ DATESO 2005 c K. Richta, V. Sn´aˇsel,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] Faculty of Electrical Engineering and Computer Science, VSBˇ – Technical University of Ostrava Page count: 150 Impression: 150 Edition: 1st First published: 2005 This proceedings was typeset by PDFLATEX. Cover design by Tom´aˇsSkopal (
[email protected]) and Pavel Moravec (
[email protected]). Printed and bound in Ostrava, Czech Republic by TiskServis Jiˇr´ıPustina. Published by Faculty of Electrical Engineering, Czech Technical University in Prague Preface DATESO 2005, the international workshop on current trends on Databases, In- formation Retrieval, Algebraic Specification and Object Oriented Programming, was held on April 13 – 15, 2005 in Desn´a– Cern´aˇ R´ıˇcka.ˇ This was the 5th annual workshop organized by FEL CVUTˇ Praha, Department of Computer Science and Engineering, MFF UK Praha, Department of Software Engineering, and VSB-Technicalˇ University Ostrava, Department of Computer Science. The DATESO aims for strengthening the connection between this various areas of informatics.