COMPUTfR SClfNCf. Applications

Transcription

1 COMPUTfR SClfNCf H e s e a ar n c ~ Applications

2 COMPUlfR SClfNCf R e s e a ar n c Applications ~ f ~ i tby e ~ Ricardo Daeza-Yates University of Chile Santiago, Chile a n ~ Udi Manber University of Arizona Tucson, Arizona Springer Science+Business Media, LLC

3 Library of Congress Cataloging in Publication Data Computer science: research and applications / edited by Ricardo Baeza-Yates and Udi Manber. p. cm. "Proceedings of the Eleventh International Conference of the Chilean Computer Science Society, held October 15-18, 1991, in Santiago, Chile" - T.p. verso. IncJudes bibliographical references (p. ) and index. ISBN ISBN (ebook) DOI / Computer science-research-congresses. 1. Baeza-Yates, R. (Ricardo) II. Manber, Udi. III. Chilean Computer Science Society. International Conference (1lth: 1991: Santiago, Chile) QA76.27.C '.072-dc20 CIP Proceedingsof the Eleventh International Conference of the Chilean Computer Science Society, held October 15-18, 1991, in Santiago, Chile ISBN Springer Science+Business Media New York Originally published by Plenum Press, New York in 1992 Softcover reprint of the hardcover 1 st edition 1992 Ali rights reserved No part of this book may. be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming, recording, or otherwise, without written permission from the Publisher

4 Preface The articles in this collection were presented at the 11th International Conference of the Chilean Computer Science Society held in Satiago, Chile on October 15-18, A record number of 85 submissions were received this year in response to the call for papers. They came from 19 countries in four continents. The articles presented here were selected by the program committee whose members were Jose Balcazar (Polytechnic University of Catalunya) Francois Bancilhon (ALTAIR/INRIA) Marcos R.S. Borges (Universidade Federal do Rio de Janeiro) Ignacio Casas (Universidad Cat6lica de Chile) J.L. E n c a r (Zentrum n a ~ a o fuer Grafische Datenverarbeitung) Hector Garcia-Molina (Princeton University) Michael Langston (University of Tennessee) Raphael Finkel (University of Kentucky) Tom Maibaum (Imperial College) Udi Manber, Chairman (University of Arizona) Michael Robson (Australian National University) The criteria for selection was based primarily on quality; we also considered relevance, clarity and the potential benefit to the community. In a time of great specialization, it is refreshing to see a conference devoted not to particular narrow fields but to all areas of computer science. Included are papers in algorithms, artificial intelligence, computer architecture, computer networks, databases, data structures, distributed systems, graphics and user interface, object-oriented systems, operating systems, programming languages, and the theory of computing. It was a pleasure reading high-quality papers in so many different areas of computer science. The purposes of every scientific conference are to foster cooperation between scientists and to advance the state of the art. This conference, being one of the oldest and highest quality computer science conference in Latin America, is serving many facets of these purposes: It helps to bring the work done in Latin America to the attention of computer scientists from around the world; it helps to keep Latin American scientists and computer professionals up to date with major advances in the field; and it helps the cross fertilization between different areas of computer science. The latter is essential to the growth of our field, which, even though it is already so important in the lives of so many, is still a very young field. I wish to thank the organizing conference chairman, Ricardo Baeza-Yates, the program committee, and the other anonymous reviewers for their work and dedication. Tucson, Arizona, USA September 1991 Udi Manber v

5 Contents Introduction 1 Historical Overview 3 Databases Office Information Systems Engineering J. Palazzo M. de Oliveira and D.D. Alcoba Ruiz. 9 Update Languages vs. Query Languages R.A. Hasson and J.A. Makowsky OPUS: An Extensible OPtimizer for Up-to-Date Database Systems R.S.G. Lanzelotte, R.N. Melo and A. Ribenboim Artificial Intelligence, Logic and Functional Programming A Hyperlcon Interface to a Blackboard System for Planning Research Projects P. Charlton and C. Burdorf Chusaurus: A Writing Tool Resource for Non-Native Users of English O.N. Oliveira Jr., S.M.A. Caldeira and N. Fontana Trends in Representing the Semantics of Natural Language Sentences: A Comparative Study H. J. Paredes-Frigolett Extending Partial Evaluation in Logic Programming D.A. Fuller and S.A. Bocic Modules, Macros and Lisp C. Queinnec and J. Padget Using Filters to Improve the Efficiency of Game-Playing Learning Procedures R.A. Hasson, S. Markovitch and Y. Sella Algorithms and Data Structures An O( n 2. 5 ) Time Heuristic Algorithm for a Class of Large Weighted Edge Colouring Problems R.E. Campello.... Randomized Sorting of Shuffled Monotone Sequences V. Estivill-Castro and D. Wood..... A Classification of Quadratic Algorithms for Multiplying Polynomials of Small Degree Over Finite Fields A. Averbuch, N.H. Bshouty and M. Kaminski.... An Algorithm for Computing Multivariate Polynomial Resultants J. Llovet, J.R. Sendra, J.A. Jaen and R. Martinez vii

6 New Absorbing and Ergodic Doubly-Linked List Reorganizing Heuristics R.S. Valiveti and B.J. Oommen Skip Sort-An Adaptive Randomized Algorithm or Expected Time Adaptivity is Best V. Estivill-Castro and D. Wood Data Structures and Access Methods for Read-Only Optical Disks E.F. Barbosa and N. Ziviani. 189 Mixed-Radix Huffman Codes K.-C. Chu and J. Gill. 209 Object-Oriented Systems A Schema Manipulation Mechanism for an OODB Model R. Motz and R. Ruggia.... Versions in the Context of Object-Oriented Database Systems L. G. Golendziner and C.S. dos Santos Ddraw: An Object-Oriented Design Tool M. Glaser..... A Graphical Interactive Object-Oriented Development System M. Adar, E. Kantorowitz and E. Bar-On A Concurrent Object-Oriented Paradigm for Attribute Grammars L. Thomas and S. Cruz-Lara Distributed Systems Preserving Distributed Data Coherence Using Asynchronous Broadcasts J.M. Piquer An Implementation of Service Rebalancing E.H. Herrin II and R.A. Finkel Bit Optimal Distributed Consensus P. Berman, J.A. Garay and K.J. Perry. 313 An Efficient Distributed Termination E.L. Lozinskii Allocating Modules to Processors in a Distributed System with Limited Memory D. Fernandez-Baca and A. Medepalli Complexity and Parallel Algorithms The Complexity of Algorithmic Problems on Succint Instances (Invited paper) J.L. Balcazar, A. Lozano and J. Toran Parallel Algorithms for NP-Complete Problems (Invited paper) J.M. Robson... ' Parallel Search in Sorted Multisets, and NP-Complete Problems A.G. Ferreira Towards Understau'ding the Effective Parallelization of Sequential Algorithms R. Greenlaw On the Density of the Probabilistic Polynomial Classes J.D.P. Rolim Computer Architecture and Networks Modelling and Simulation of a Pseudosystolic Processor for Matrix Algorithms M.E. Figueroa and J.H. Moreno The Caracas Multiprocessor System M. Campo, J.S. Carrizales, J.H. Gonr;alves R. and F. Landaeta R viii

7 A New Communication Systems Architecture Supporting Migration to OSI a.m. Solvie Modelling and Analysis of Time Critical Applications on Local Area Networks M.A.a. Brasileiro, J.A. Field and J.A.B. Moura Matrix Multiplication on Digital Signal Processors and Hierarchical Memory Systems I. Palacios, M. Medina and J. Moreno..473 Author Index.485 Subject Index.487 ix