A multi-set extended relational algebra: a formal approach to a practical issue

The relational data model is based on sets of tuples, i.e. it does not allow duplicate tuples an a relation. Many database languages and systems do require multi-set semantics though, either because of functional requirements or because of the high costs of duplicate removal in database operations. Several proposals have been presented that discuss multi-set semantics. As these proposals tend to be either rather practical, lacking the formal background, or rather formal, lacking the connection to database practice, the gap between theory and practice has not been spanned yet. This paper proposes a complete extended relational algebra with multi-set semantics, having a clear formal background and a close connection to the standard relational algebra. It includes constructs that extend the algebra to a complete sequential database manipulation language that can either be used as a formal background to other multi-set languages like SQL, or as a database manipulation language on its own. The practical usability of the latter option has been demonstrated in the PRISMA/DB database project, where a variant of the language has been used as the primary database languag

Exploiting CAFS-ISP

In the summer of 1982, the ICLCUA CAFS Special Interest Group defined three subject areas for working party activity. These were: 1) interfaces with compilers and databases, 2) end-user language facilities and display methods, and 3) text-handling and office automation. The CAFS SIG convened one working party to address the first subject with the following terms of reference: 1) review facilities and map requirements onto them, 2) "Database or CAFS" or "Database on CAFS", 3) training needs for users to bridge to new techniques, and 4) repair specifications to cover gaps in software. The working party interpreted the topic broadly as the data processing professional's, rather than the end-user's, view of and relationship with CAFS. This report is the result of the working party's activities. The report content for good reasons exceeds the terms of reference in their strictest sense. For example, we examine QUERYMASTER, which is deemed to be an end-user tool by ICL, from both the DP and end-user perspectives. First, this is the only interface to CAFS in the current SV201. Secondly, it is necessary for the DP department to understand the end-user's interface to CAFS. Thirdly, the other subjects have not yet been addressed by other active working parties

A Database Interface for Complex Objects

We describe a formal design for a logical query language using psi-terms as data structures to interact effectively and efficiently with a relational database. The structure of psi-terms provides an adequate representation for so-called complex objects. They generalize conventional terms used in logic programming: they are typed attributed structures, ordered thanks to a subtype ordering. Unification of psi-terms is an effective means for integrating multiple inheritance and partial information into a deduction process. We define a compact database representation for psi-terms, representing part of the subtyping relation in the database as well. We describe a retrieval algorithm based on an abstract interpretation of the psi-term unification process and prove its formal correctness. This algorithm is efficient in that it incrementally retrieves only additional facts that are actually needed by a query, and never retrieves the same fact twice

Inflation, Money Demand, and Purchasing Power Parity in South Africa

This empirical study for South Africa indicates that there exists a stable money demand type of relationship among domestic prices, broad money, real income, and interest rates, as well as a long-run relationship among domestic prices, foreign prices, and the nominal exchange rate. In the short run, shocks to the nominal exchange rate affect domestic prices but have virtually no impact on real output, while shocks to broad money have a temporary impact on real output before becoming inflationary. Both types of shocks seem to trigger a monetary policy response, as the short-term interest rate adjusts quickly. Copyright 2001, International Monetary Fund

Income Inequality: Does Inflation Matter?

This paper contributes to the income inequality literature that is based on the traditional Kuznets model. Level of development, state employment, fiscal redistribution, and price stability are found to improve income inequality in a given country. The positive impact of price stability on income distribution is nonlinear. The reduction in inflation from hyperinflationary levels significantly lowers income inequality, while further reduction toward a very low level of inflation seems to bring about negligible additional gains in the Gini coefficient. Copyright 2001, International Monetary Fund

Aditional Ultra-High-Resolution Observations of Ca+ Ions in the Local Insterstellar Medium

We present ultra-high-resolution (0.35 km s−1 FWHM) observations of the interstellar Ca K line towards seven nearby stars. The spectral resolution was sufficient to resolve the line profiles fully, thereby enabling us to detect hitherto unresolved velocity components, and to obtain accurate measurements of the velocity dispersions (b values). Absorption components with velocities similar to those expected for the Local Interstellar Cloud (LIC) and the closely associated ‘G cloud’ were identified towards six of the seven stars. However, in most cases the b values deduced for these components were significantly larger than the b ≈ 2.2 km s−1 (i.e. Tk ≈ 7000 K, vt ≈ 1 km s−1) expected for the LIC, and it is argued that this results from the presence of additional, spectrally unresolved, components having similar velocities and physical conditions. For two stars (δ Vel and α Pav) we detect interstellar components with much smaller b values (1.1 ± 0.3 and 0.8 ± 0.1 km s−1, respectively) than are expected for low-density clouds within the Local Bubble. In the case of the narrow α Pav component, we also find an anomalously large Na i/Ca ii column density ratio, which is indicative of a relatively high density. Thus it is possible that, in addition to LIC-type clouds, the local interstellar medium contains a population of previously undetected cooler and denser interstellar clouds