This paper presents a logical model for an active object oriented dntahaae. The main idea is to use standard concepts of OODB such aa encapsulation and inheritance, In particular triggers are special met,hods encapsulated in the appropriate object. The execution model uses nested transactions. The model is shown to he flexihle and to generalize previous proposals,

A transaction is a set of read and write comnands surrounded by BEGIN and END, and these structured commands are sent by a client to the file system. To ensure successful transaction update, it should have an atomic property and be processed in serially ordered fashion. The purpose of this paper is to develop a file system which has realtime attributes and wkich can support nested transaction s...

The exibility of nested transactions is generally provided at the expense of a more complex locking mechanism which must deal with expensive lock inheritance. In this paper, we give a solution for eecient lock inheritance. Our solution does not change the original nested transactions model but does revisit its locking rules using set-oriented semantics. This allows us to trade the cost of lock ...

The first search for the decay K + → π + π 0 ν ¯ ν has been performed with the E787 detector at BNL. Based on zero events observed in the kinematical search region defined by 90 MeV/c < P π + < 188 MeV/c and 135 MeV < E π 0 < 180 MeV, an upper limit B(K + → π + π 0 ν ¯ ν) < 4.3 × 10 −5 at 90% confidence level is established.

Bacteria of the genus Bartonella are emerging pathogens detected in lymph node biopsies and aspirates probably caused by increased concentration of bacteria. Twenty-three samples of 18 patients with clinical, laboratory and/or epidemiological data suggesting bartonellosis were subjected to three nested amplifications targeting a fragment of the 60-kDa heat shock protein (HSP), the internal tran...

We report on work in progress on ‘nested term graphs’ for formalizing higher-order terms (e.g. finite or infinite λ -terms), including those expressing recursion (e.g. terms in the λ -calculus with letrec). The idea is to represent the nested scope structure of a higher-order term by a nested structure of term graphs. Based on a signature that is partitioned into atomic and nested function symb...

1. Nested Block Designs Heterogeneity in the experimental material is the most important problem to be reckoned within the statistical design of scientific experiments. If it is not suitably taken care of, in designing of an experiment, is likely to over shadow the real treatment differences making them remain undetected, unless they are large enough. Occasionally, one can find a certain factor...

We currently see a convergence of module systems and type systems for object-oriented programming. This convergence is driven by the demands of large scale component systems. Objectoriented languages for medium-scale systems such as Eiffel or Sather still worked with an unstructured set of classes, but as systems grow this becomes less practical. Consequently, more recent languages such as Beta...

An active DBMS is expected to support concurrent as well as sequential rule execution in an efficient manner. Nested transaction model is a suitable tool to implement rule execution as it can handle nested rule firing and concurrent rule execution well. In this paper, we describe a concurrent rule execution model based on parallel nested transactions. We discuss implementation details of how th...

We study the nuclear stopping in high energy nuclear collisions using the constituent quark model. It is assumed that wounded nucleons with different number of interacted quarks hadronize in different ways. The probabilities of having such wounded nucleons are evaluated for proton-proton, protonnucleus and nucleus-nucleus collisions. After examining our model in protonproton and proton-nucleus ...