Search

We present an automata-based method for the static analysis of user-defined XML document adaptations, expressed as sequences of update primitives of XQuery Update. The key feature of the method is the use of an automatic inference algorithm for extracting the type, expressed as a Hedge Automaton, of a sequence of document updates. The type is computed starting from the original schema S and from rewriting rules that formally define the operational semantics of a sequence of document updates. Type inclusion can then be used as a conformance test w.r.t. the type extracted from the target schema S ' .

In this study, a workshop production management system supporting decision making is designed for use in small and medium-sized machine workshops. Small and medium sized companies’ quality, price, and delivery time issues are in a tough competitive environment. Especially such as the orders which cannot be delivered to customers in time, disruptions in production schedules and low production performance seem to be the major problems facing in this type of sector. Through this research it is aimed to design software to keep all the needed information in a suitable database and give the customers fast and accurate information. In order to support future implementation of decision support system, the software is designed such that it will enable the user to easily analyze its production parameters such as efficiency, cost deviation of production from planned cost, cost estimation of new production, etc. Due to the natural structure of this project Object Oriented database is chosen for implementation. These databases can be constructed through object-oriented language and in the scope of this work .NET based db4o is used. For software development, Unified Modelling Language (UML) is used since by using UML the database system is well defined, visualized, generated and specified considering complete project. The user interfaces are designed by using ASP.NET for easy access of the user location independently. It is seen that without using so much coding load, an effective object-oriented database can be designed. It is possible to use the same language for both application and object-oriented databases in contrast to relational databases. The designed database can be used in different machine workshops with small modifications depending on the specifications of workshops.

In this paper we propose a matching algorithm for measuring the structural similarity between an XML document and a DTD. The matching algorithm, by comparing the document structure against the one the DTD requires, is able to identify commonalities and differences. Differences can be due to the presence of extra elements with respect to those the DTD requires and to the absence of required elements. The evaluation of commonalities and differences gives raise to a numerical rank of the structural similarity. Moreover, in the paper, some applications of the matching algorithm are discussed. Specifically, the matching algorithm is exploited for the classification of XML documents against a set of DTDs, the evolution of the DTD structure, the evaluation of structural queries, the selective dissemination of XML documents, and the protection of XML document contents.

This paper describes the implementation of active rules in the Chimera object-oriented database system. The Chimera active rule language is very rich, since it provides alternative semantics for active rules and combines several innovative features. We show how a run-time support for that active rule language is designed and implemented through the necessary data structures, functional components and algorithms. The paper also compares Chimera active rule implementation with other active database system implementations.