Katerina Opocenska

Learn More
Presently, there is no specialized language for complex integrity constraints description in XML documents. In this paper we present a language that combines first-order logic together with XPath language to achieve needed expressive power. Standard quantifiers of first-order logic were extended to allow us to specify (either by count or by percentage) how(More)
The paper deals with the problem of multi-master setup for clusters running PROOF, which is a master-worker based framework used at CERN, preferably for analysis of high energy physics data. The goal is to determine an optimal number of masters for the given task in order to make the task execution time as short as possible. Based on the analysis of PROOF(More)
  • 1