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.

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.

Health and physical education in middle schooling

The middle years of schooling are receiving increased attention. This paper gives some background to 'middle schooling' and begin discussion if physical education is to be involved in the shift that an increasing number of schools are attempting to make in order to enhance student learning. It addresses findings, innovations and changes to the field of physical education. A set of questions are posed about the relationship between the middle years of schooling, health and physical education.