It is well known that faithful (i.e. dependency preserving) decompositions of relational database schemas into Boyce-Codd Normal Form (BCNF) do not always exist, depending on the set of functional dependencies given, and that the corresponding decision problem is NPhard. The only algorithm to guarantee both faithfulness and BCNF (if possible) proposed so far in [Os79] is a brute-force approach ...

A design is given for a quadratic interpolator needed by the Logarithmic Number System (LNS). Unlike previous LNS designs that have attempted to produce results consistently better than a oating-point representation of the same word size (32 bits), the design goal here is to minimize memory requirements and system complexity, at the expense of a slight increase in approximation error. Simulatio...

We consider a code to be a subset of the vertex set of a Hamming graph. The set of s-neighbours of a code is the set of vertices, not in the code, at distance s from some codeword, but not distance less than s from any codeword. A 2-neighbour transitive code is a code which admits a group X of automorphisms which is transitive on the s-neighbours, for s = 1, 2, and transitive on the code itself...