In this article we define a new type of integrity constraint in XML, called an XML inclusion
constraint (XIND), and show that it extends the semantics of a relational inclusion …

Fine-grained lock protocols with lock modes and lock granules adjusted to the various XML
processing models, allow for highly concurrent transaction processing on XML trees, but …

We consider parameterised verification problem, where parameters are sets and relations
over these sets, typically used to denote sets of identities of replicated components and …

Due to increasing amount of concurrency, systems have become difficult to design and
analyse. In this effort, formal verification, which means proving the correctness of a system …

We consider the multi-parameterised process algebraic verification of safety properties.
There is a cut-off result for such verification tasks, but it cannot be naturally applied to …

As a multi-layered XML database management system, we have designed, implemented,
and optimized over the recent five years our prototype system XTC, a native XDBMS …

Fine-grained lock protocols should allow for highly concurrent transaction processing on
XML document trees, which is addressed by the taDOM lock protocol family enabling …

To meet the measurement demand of injection character in electronic controlled injector,
study on measurement method of needle displacement of electronic controlled injector is …

In this paper we deal with a particular type of database systems–native XML database
systems. For this category of systems we discuss potential application of the taDOM locking …

Based on loosely coupled services in an XML engine, we describe how to realize fine-
grained lock protocols, which can guarantee transaction isolation for applications using …