This paper describes an execution time estimating model for nested transactions running on locally distributed database systems. At rst the model of nested transactions and the model of a locally distributed database system are established. The performance evaluation model of nested transactions is then built in three steps. The rst step describes a nondeterministic algorithm that evaluates the...

Secure Nested Transactions are an adaptation of traditional nested transactions to support the synergy of language-based security and multi-level database security. They have application in security for enterprise applications, where transactional semantics are a critical feature in middleware systems. This article considers correctness in terms of transactional properties for secure nested tra...

DIAPLAN is a language for programming with graphs representing diagrams that is currently being developed. The computational model of the languages, nested graph transformation, supports nested structuring of graphs, and graph variables, but is—hopefully—still intuitive. This paper is about structural typing of nested graphs and nested graph transformation systems by shape rules. We extend the ...

In an effort to address the limitations on high power accelerator target performance prompted by the elevated dose levels and the associated irradiation damage, an experimental study has been undertaken to evaluate the potential applicability of super alloys characterized by low thermal expansion over certain thermal regimes. The intriguing properties associated with materials such as super-Inv...

J.B. Murphy, I. Ben-Zvi, N. Towne, J.M. Wang, X.J. Wang, J.H. Wu, V. Yakimenko NSLS, BNL, Upton, NY 11973 Abstract The Photoinjected Energy Recovery Linac (PERL) design study at the NSLS is considering the feasibility of a new synchrotron light source based on a 3-7 GeV energy recovering superconducting linac initiated by a photoinjected RF gun [1]. To be a competitive light source the photoinj...

Compensation is the process b y which a committed transaction in a database is undone b y running the semantic inverse o f that transaction on the database. Compensation has been proposed as a technique for undoing committed work in various situations where strict atomicity cannot be maintained [GS87, MR91]. In this paper, we discuss compensation i n longrunning multidatabase transactions. W e ...

Nested transactions[6, 5] provide fine grain atomicity, efficient recovery control, and structural modularity. In distributed environments, they provide a natural and semantically clean way of modelin g computations . However, the characteristics of nested transactions are sufficiently different from those o f traditional single-level transactions that concurrency control for nested transaction...

We see how nested sequents, a natural generalisation of hypersequents, allow us to develop a systematic proof theory for modal logics. As opposed to other prominent formalisms, such as the display calculus and labelled sequents, nested sequents stay inside the modal language and allow for proof systems which enjoy the subformula property in the literal sense. In the first part we study a system...

Nested relations are an important subclass of object-relational systems that are now being widely used in industry. Also, a subclass of nested relations, partitioned normal form (PNF) relations, is important because the semantics and manipulation of these relations are more transparent than general nested relations. In this paper we address the question of determining when every PNF relation st...

The Luar template processing system used in authoring NCL documents, has development concepts based on reuse of descriptions through document templates. These development concepts can be used in the authorship of other XML-based documents through the analysis, adequacy, design and creation of a new reuse infrastructure based on Luar system. This view shows the processing system of models Luar-X...