The Computer Journal, Volume 33, 1990

Volume 33, Number 1, 1990

K. H. Baik, L. L. Miller: Topological Approach for Testing Equivalence in Heterogeneous Relational Databases. 2-10 BibTeX
Nandlal L. Sarda: Algebra and Query Language for A Historical Data Model. 11-18 BibTeX
Mark Levene, George Loizou: The Nested Relation Type Model: An Application of Domain Theory to Databases. 19-30 BibTeX
Manoochehr Azmoodeh: BRMQ: A Database Interface Facility Based on Graph Traversals and Extended Relationships on Groups of Entities. 31-39 BibTeX
David A. Bell, J. Shao, M. Elizabeth C. Hull: Integrated Deductive Database System Implementation: A Systematic Study. 40-48 BibTeX
Malcolm C. Taylor: Logical Optimisation of Distributed Knowledge Base Queries. 49-60 BibTeX
Patrick Martin, K. H. Lam, Judy I. Russel: An Evaluation of Site Selection Algorithms for Distributed Query Processing. 61-70 BibTeX
Divyakant Agrawal, Amr El Abbadi: Integrating Security with Fault-Tolerant Distributed Databases. 71-78 BibTeX
Ravi Mukkamala, Steven C. Bruell: Efficient Schemes to Evaluate Transaction Performance in Distributed Database Systems. 79-89 BibTeX

Ralph E. Griswold: String Scanning in the Icon Programming Language. 98-107 BibTeX
Paul Philbrow, Malcolm P. Atkinson: Events and Exception Handling in PS-Algol. 108-125 BibTeX
R. Geoff Dromey, T. A. Chorvat: Structure Clashes - An Alternative to Program Inversion. 126-132 BibTeX
Matti O. Jokinen: Parameter Transmission Abstractions. 133-139 BibTeX
G. Whale: Indentification of Program Similarity in Large Populations. 140-146 BibTeX
Gordon Davies, Alan Burns: The Teaching Language Pascal-FC. 147-154 BibTeX
C. F. Reynolds: CODIL: The Architecture of an Information Language. 155-163 BibTeX
G. D. P. Dueck, Gordon V. Cormack: Modular Attribute Grammars. 164-172 BibTeX
Marian Petre, Russel L. Winder: On Languages, Models and Programming Styles. 173-180 BibTeX
Hal Berghel, Richard Rankin: A Proposed Standard for Measuring Crossword Compilation Efficiency. 181-184 BibTeX

Short Note

R. Govindarajan, Lalit M. Patnaik: Lenient Execution and Concurrent Execution of Re-Entrant Routines: Efficient Implementation in Data Flow Systems. 185-187 BibTeX

Oscar G. Plata, Javier D. Bruguera, Francisco F. Rivera, Ramon Doallo, Emilio L. Zapata: ACLE: A Software Package for SIMD Computer Simulation. 194-203 BibTeX
Sandeep Gulati, S. Sitharama Iyengar, Jacob Barhen: The Pebble-Crunching Model for Fault-Tolerant Load Balancing in Hypercube Ensembles. 204-214 BibTeX
K. W. Ng, Ho-Fung Leung: Competition: A Model of AND-Parallel Execution of Logic Programs. 215-218 BibTeX
Camille C. Price, M. A. Salama: Scheduling of Precedence-Constrained Tasks on Multiprocessors. 219-229 BibTeX
David Abramson, Gregory K. Egan: The RMIT Data Flow Computer: A Hybrid Architecture. 230-240 BibTeX
Sujit Dey, Pradip K. Srimani: A New Parallel Sorting Algorithm and its Efficient VLSI Implementation. 241-246 BibTeX
P. Chaudhuri: Finding and Updating Depth-First Spanning Trees of Acyclic Digraphs in Parallel. 247-251 BibTeX
Ferng-Ching Lin, Kung Chen: On the Design of an Integrated Systolic Array for Solving Simultaneous Linear Equations. 252-260 BibTeX
Graham M. Megson: An Efficient Double Pipe Systolic Array for Matrix Product. 261-265 BibTeX
H. Wills: Fundamentals of Pricing and Scheduling Computer Services and Investment in Computer Equipment. 266-273 BibTeX
Jeffrey S. Rohl: Reversing is Not Inherent in Lexiocographical Permutation Generation. 274-278 BibTeX

Short Note

F. Warren Burton, John G. Kollias, D. G. Matsakis, V. G. Kollias: Implementation of Overlapping B-Trees for Time and Space Efficient Representation of Collections of Similar Files. 279-280 BibTeX
Gu Xunrang, Zhu Yuzhang: A New HEAPSORT Algorithm and the Analysis of Its Complexity. 281-282 BibTeX

Chris J. Mitchell, D. Rush, Michael Walker: A Secure Messaging Architecture Implementing the X.400-1988 Security Features. 290-295 BibTeX
Aviezri S. Fraenkel, Shmuel T. Klein: Bidirectional Huffman Coding. 296-307 BibTeX
R. L. Bailey, Ravi Mukkamala: Pipelining Data Compression Algorithms. 308-313 BibTeX
Peter M. Fenwick: Performance Measurements on a 39 km Extended Ethernet. 314-322 BibTeX
Yi Pan, Rami G. Melhem: Short Circuits in Buffered Multi-Stage Interconnection Networks. 323-329 BibTeX
F. Warren Burton, Geoff P. McKeown, Victor J. Rayward-Smith: Applications of UET Scheduling Theory to the Implementation of Declarative Languages. 330-336 BibTeX
D. Alcock, D. Brown: PRAXIS: A Program for Reproducing Proforma Design Calculations. 337-343 BibTeX
Massimo Ancona, Leila De Floriani, Jitender S. Deogun: Structured Spanning Trees. 344-355 BibTeX
Ronen Feldman, Martin Charles Golumbic: Optimization Algorithms for Student Scheduling via Constraint Satisfiability. 356-364 BibTeX
Bruce K. Haddon: Cycle-Sort: A Linear Sorting Method. 365-367 BibTeX
B. John Oommen, David T. H. Ng: On Generating Random Permutations with Arbitrary Distributions. 368-374 BibTeX
H. Miyakoshi: A Literal Code Method For Minimizing Boolean Functions. 375-380 BibTeX

Short Note

Sarah B. M. Bell, David C. Mason: Tesseral Quaternions for the Octtree. 386-397 BibTeX
Andrew Hunter, Philip J. Willis: A Note on the Optimal Labelling of Quadtree Nodes. 398-401 BibTeX
Kevin G. Suffern: Quadtree Algorithms for Contouring Functions of Two Variables. 402-407 BibTeX
L. R. Neal, Michael L. V. Pitteway: Yet More Circle Generators. 408-411 BibTeX
Binh Pham: Algorithms for Calculating Cubic Beta-Splines. 412-416 BibTeX
Paolo Puliti, Guido Tascini: Interpreting Technical Drawings. 417-423 BibTeX
Frank K. H. A. Dehne, L. Ficocelli: An Efficient Computational Geometry Method for Detecting Dotted Lines in Noisy Images. 424-428 BibTeX
Laura Moltedo, A. Noferini: An Implementation of 7-Bit Character Encoding for Standard Computer Graphics Environments. 429-436 BibTeX
Francis Neelamkavil, O. Mullarney: Separating Graphics from Application in the Design of User Interfaces. 437-443 BibTeX
M. Bilodeau, D. L. Laguitton: Development of Screen Management Subroutines Compatible with Microsoft FORTRAN Compiler. 444-452 BibTeX
K. Bowden: Kron's Method of Tearing on a Transputer Array. 453-459 BibTeX
Lloyd Allison: Continuations Implement Generators and Streams. 460-465 BibTeX
Tom Axford: Reference Counting of Cyclic Graphs for Functional Programs. 466-470 BibTeX

Short Note

Arne Andersson: A Note on the Expected Behaviour of Binary Tree Traversals. 471-472 BibTeX
Giuseppe Alia, Enrico Martinelli: VLSI Binary-Residue Converters for Pipelined Processing. 473-475 BibTeX

Keith L. Clark: Parallel Logic Programming. 482-493 BibTeX
Kazunori Ueda, Takashi Chikayama: Design of the Kernel Language for the Parallel Inference Machine. 494-500 BibTeX
Ian T. Foster, Carl Kesselman, Stephen Taylor: Concurrency: Simple Concepts and Powerful Tools. 501-507 BibTeX
I. Shizgal: The Amoeba-Prolog System. 508-517 BibTeX
J. Gerard Wolff: Simplicity and Power - Some Unifying Ideas in Computing. 518-534 BibTeX
K. G. Waugh, M. Howard Williams, Quinzheng Kong, S. Salvini, G. Chen: Designing SQUIRREL: An Extended SQL for a Deductive Database System. 535-546 BibTeX
Norman W. Paton, Peter M. D. Gray: Optimising and Executing DAPLEX Queries Using Prolog. 547-555 BibTeX
H. J. Roberts: Expert Systems. Clubs: Design Methods. 556-561 BibTeX
Graham M. Megson, David J. Evans: A Systolic Array Solution for the Assignment Problem. 562-569 BibTeX
T. Y. Chen: On the Consistency of Multi-Valued Functions. 570-572 BibTeX