The effects of information request ambiguity and construct incongruence on query development

This paper examines the effects of information request ambiguity and construct incongruence on end user's ability to develop SQL queries with an interactive relational database query language. In this experiment, ambiguity in information requests adversely affected accuracy and efficiency. Incongruities among the information request, the query syntax, and the data representation adversely affected accuracy, efficiency, and confidence. The results for ambiguity suggest that organizations might elicit better query development if end users were sensitized to the nature of ambiguities that could arise in their business contexts. End users could translate natural language queries into pseudo-SQL that could be examined for precision before the queries were developed. The results for incongruence suggest that better query development might ensue if semantic distances could be reduced by giving users data representations and database views that maximize construct congruence for the kinds of queries in typical domains. (C) 2001 Elsevier Science B.V. All rights reserved.

Regulation of yeast acetohydroxyacid synthase by valine and ATP

The first step in the common pathway for the biosynthesis of branched-chain amino acids is catalysed by acetohydroxyacid synthase (AHAS; EC 4.1.3.18). The enzyme is found in plants, fungi and bacteria, and is regulated by controls on transcription and translation, and by allosteric modulation of catalytic activity. It has long been known that the bacterial enzyme is composed of two types of subunit, and a similar arrangement has been found recently for the yeast and plant enzymes. One type of subunit contains the catalytic machinery, whereas the other has a regulatory function. Previously, we have shown [Pang and Duggleby (1999) Biochemistry 38, 5222-5231] that yeast AHAS can be reconstituted from its separately purified subunits. The, reconstituted enzyme is inhibited by valine, and ATP reverses this inhibition. In the present work, we further characterize the structure and the regulatory properties of reconstituted yeast AHAS. High phosphate concentrations are required for reconstitution and it is shown that these conditions are necessary for physical association between the catalytic and regulatory subunits. It is demonstrated by CD spectral changes that ATP binds to the regulatory subunit alone, most probably as MgATP. Neither valine nor MgATP causes dissociation of the regulatory subunit from the catalytic subunit. The specificity of valine inhibition and MgATP activation are examined and it is found that the only effective analogue of either regulator of those tested is the non-hydrolysable ATP mimic, adenosine 5 '-[beta,gamma -imido]triphosphate. The kinetics of regulation are studied in detail and it is shown that the activation by MgATP depends on the valine concentration in a complex manner that is consistent with a proposed quantitative model.

Temperature variation within and between nests of the green sea turtle, Chelonia mydas (Chelonia : Cheloniidae) on Heron Island, Great Barrier Reef

Four temperature data-loggers were placed in each of five green sea turtle nests on Heron Island in the 1998-99 nesting season. Temperatures in all nests increased as incubation progressed due to general sand heating and increased metabolic heat production of the developing embryos. Even at the top of nests no daily diurnal fluctuation in temperature was evident. The temperature of eggs in the middle of the nest increased above those in the nest periphery during the last third of incubation. However, this metabolic nest heating would have little effect on hatchling sex ratio because it occurred after the sex-determining period. Small differences in temperature between regions of a nest persisted throughout incubation and may be important in ensuring the production of at least some individuals of the opposite sex in nests that have temperatures close to either the all-male or all-female determining temperatures. Location and degree of shading of nests had little effect on mean nest temperature, but deeper nests were generally cooler and therefore were predicted to produce a higher proportion of males than were shallower nests. Nest temperature profile data indicated that the 1998-99 nesting season on Heron Island would have produced a strongly female-biased sex ratio amongst hatchlings.

Incubation temperature, energy expenditure and hatchling size in the green turtle (Chelonia mydas), a species with temperature-sensitive sex determination

Eggs from the Heron Island, Great Barrier Reef, nesting population of green turtles (Chelonia mydas) were incubated at all-male-determining (26 degreesC) and all-female-determining (30 degreesC) temperatures. Oxygen consumption and embryonic growth were monitored throughout incubation, and hatchling masses and body dimensions were measured from both temperatures. Eggs hatched after 79 and 53 days incubation at 26 degreesC and 30 degreesC respectively. Oxygen consumption at both temperatures increased to a peak several days before hatching, a pattern typical of turtle embryos, and the rate of oxygen was higher at 30 degreesC than 26 degreesC. The total amount of energy consumed during incubation, and hatchling dimensions, were similar at both temperatures, but hatchlings from 26 degreesC had larger mass, larger yolk-free mass and smaller residual yolks than hatchlings from 30 degreesC. Because of the difference in mass of hatchlings, hatchlings from 30 degreesC had a higher production cost.

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.