Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model

Compensation plays an important role in advanced transaction models, cooperative work and workflow systems. A schema designer is typically required to supply for each transaction another transaction to semantically undo the effects of . Little attention has been paid to the verification of the desirable properties of such operations, however. This paper demonstrates the use of a higher-order logic theorem prover for verifying that compensating transactions return a database to its original state. It is shown how an OODB schema is translated to the language of the theorem prover so that proofs can be performed on the compensating transactions

PRONOMINA DALAM BAHASA DAYAK BIDAYUH LAWANG DI KABUPATEN BENGKAYANG

AbstractThis research deals with the field of morphology, especially regarding pronouns in BDBL in Bengkayang Regency. This research was motivated by the ins and outs of word structure and the influence of changes in word structure on word classes and meaning of words in the Dayak Bidayuh Lawang language. This research used descriptive linguistic method with a qualitative form. The data source in this research was Dayak Bidayuh Lawang language in Bengkayang Regency in the types of pronouns in Dayak Bidayuh language. The data collection technique used was the recording and note taking technique with data collection tools in the form of a list of types of pronouns in Indonesian, and then translated into the Dayak Bidayuh Lawang language. Based on the analysis results, it can be concluded that in BDBL there were six types of pronouns namely, personal pronouns, possessive, demonstrative, interrogative, relative, and in determinative. The forms of pronouns in BDBL consist of free forms and bound forms, and the functions of pronouns in BDBL in Bengkayang Regency generally occupy functions as subjects, objects, and predicates.Keywords: Pronouns in Dayak Bidayuh Lawang Language (BDBL) inBengkayang Regenc

Investment-Specific Technology Shocks and Labor Market Frictions

This paper studies the implications of technical progress through investment-specific technical change in a business cycle model with search and matching frictions and endogenous job destruction. The interaction between the capital formation needed to reap the benefits of an investment-specific technology shock and gradual labor-market matching, generates hump-shaped, persistent responses in output, vacancies, and unemployment. The endogenous job destruction decision also leads to small but persistent endogenous fluctuations in total factor productivity. Simulations suggest a limited role for investment-specific technology shocks as a source of business cycle fluctuations compared to a standard real business cycle model.LaborMarket Frictions, Investment-specific Technology Shocks, Business Cycles

A Bi-Polar Theory of Nominal and Clause Structure and Function

It is taken as axiomatic that grammar encodes meaning. Two key dimensions of meaning that get grammatically encoded are referential meaning and relational meaning. The key claim is that, in English, these two dimensions of meaning are typically encoded in distinct grammatical poles—a referential pole and a relational pole—with a specifier functioning as the locus of the referential pole and a head functioning as the locus of the relational pole. Specifiers and heads combine to form referring expressions corresponding to the syntactic notion of a maximal projection. Lexical items and expressions functioning as modifiers are preferentially attracted to one pole or the other. If the head of an expression describes a relation, one or more complements may be associated with the head. The four grammatical functions specifier, head, modifier and complement are generally adequate to represent much of the basic structure and function of nominals and clauses. These terms are borrowed from X-Bar Theory, but they are motivated on semantic grounds having to do with their grammatical function to encode referential and relational meaning

Business Intelligence Approach In A Business Performance Context

Subordinated to performance management, Business Intelligence approaches help firms to optimize business performance. Key performance indicators will be added to the multidimensional model grounding the performance perspectives. With respect to the Business Intelligence value chain, a theoretical approach was introduced and a practice example, based on Microsoft SQL Server specific services, for the customer perspective was implemented.business intelligence, performance management, key performance indicators