Table Of ContentCOMPUTfR SClfNCf
Applications
Hesearc~ an~
COMPUlfR SClfNCf
Researc~ an~ Applications
f~ite~ by
Ricardo Daeza-Yates
University of Chile
Santiago, Chile
an~
Udi Manber
University of Arizona
Tucson, Arizona
Springer Science+Business Media, LLC
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 978-1-4613-6513-6 ISBN 978-1-4615-3422-8 (eBook)
DOI 10.1007/978-1-4615-3422-8
1. 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.C673 1992 92-13842
004'.072-dc20 CIP
Proceedingsof the Eleventh International Conference of the
Chilean Computer Science Society, held October 15-18, 1991,
in Santiago, Chile
ISBN 978-1-4613-6513-6
© 1992 Springer Science+Business Media New York
Originally published by Plenum Press, New York in 1992
Softcover reprint of the hardcover 1s t 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
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, 1991. 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. Encarna~ao (Zentrum 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.
Udi Manber
Tucson, Arizona, USA
September 1991
v
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 . .......................... 23
OPUS: An Extensible OPtimizer for Up-to-Date Database Systems
R.S.G. Lanzelotte, R.N. Melo and A. Ribenboim ........ 35
Artificial Intelligence, Logic and Functional Programming
A Hyperlcon Interface to a Blackboard System for Planning Research Projects
P. Charlton and C. Burdorf . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
Chusaurus: A Writing Tool Resource for Non-Native Users of English
O.N. Oliveira Jr., S.M.A. Caldeira and N. Fontana. . . . . . .. ........ 63
Trends in Representing the Semantics of Natural Language Sentences:
A Comparative Study
H. J. Paredes-Frigolett . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
Extending Partial Evaluation in Logic Programming
D.A. Fuller and S.A. Bocic . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 95
Modules, Macros and Lisp
C. Queinnec and J. Padget . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
Using Filters to Improve the Efficiency of Game-Playing Learning Procedures
R.A. Hasson, S. Markovitch and Y. Sella . . . . . . . . . . . . . . . . . . . 123
Algorithms and Data Structures
An O( n2.5) Time Heuristic Algorithm for a Class of Large Weighted Edge
Colouring Problems
R.E. Campello .............................. . · 137
Randomized Sorting of Shuffled Monotone Sequences
V. Estivill-Castro and D. Wood . ........ . · 143
A Classification of Quadratic Algorithms for Multiplying Polynomials of Small Degree
Over Finite Fields
A. Averbuch, N.H. Bshouty and M. Kaminski ....... . · 153
An Algorithm for Computing Multivariate Polynomial Resultants
J. Llovet, J.R. Sendra, J.A. Jaen and R. Martinez ..... . · 159
vii
New Absorbing and Ergodic Doubly-Linked List Reorganizing Heuristics
R.S. Valiveti and B.J. Oommen. . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
Skip Sort-An Adaptive Randomized Algorithm or Expected Time Adaptivity is Best
V. Estivill-Castro and D. Wood. . . . . . . . . . . . . . . . . . 179
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 ............... . .221
Versions in the Context of Object-Oriented Database Systems
L. G. Golendziner and C.S. dos Santos .239
Ddraw: An Object-Oriented Design Tool
M. Glaser . .............. . .251
A Graphical Interactive Object-Oriented Development System
M. Adar, E. Kantorowitz and E. Bar-On. . . . . . .... .259
A Concurrent Object-Oriented Paradigm for Attribute Grammars
L. Thomas and S. Cruz-Lara . . . . . . . . . . . . ..... . .271
Distributed Systems
Preserving Distributed Data Coherence Using Asynchronous Broadcasts
J.M. Piquer . . . . . . . . . . . . . . . .287
An Implementation of Service Rebalancing
E.H. Herrin II and R.A. Finkel. . . . .295
Bit Optimal Distributed Consensus
P. Berman, J.A. Garay and K.J. Perry . 313
An Efficient Distributed Termination
E.L. Lozinskii. . . . . . . . . . . . . . . . 323
Allocating Modules to Processors in a Distributed System with Limited Memory
D. Fernandez-Baca and A. Medepalli . . . . . . . . . . . . . . . . . . . . . .. .335
Complexity and Parallel Algorithms
The Complexity of Algorithmic Problems on Succint Instances (Invited paper)
J.L. Balcazar, A. Lozano and J. Toran ... . . . . . . . . . 351
Parallel Algorithms for NP-Complete Problems (Invited paper)
J.M. Robson . .. '. . . . . . . . . . . . . . . . . . . . . . . . .379
Parallel Search in Sorted Multisets, and NP-Complete Problems
A.G. Ferreira. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .383
Towards Understau'ding the Effective Parallelization of Sequential Algorithms
R. Greenlaw. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 395
On the Density of the Probabilistic Polynomial Classes
J.D.P. Rolim .................... . ........... 407
Computer Architecture and Networks
Modelling and Simulation of a Pseudosystolic Processor for Matrix Algorithms
M.E. Figueroa and J.H. Moreno .................... .419
The Caracas Multiprocessor System
M. Campo, J.S. Carrizales, J.H. Gonr;alves R. and F. Landaeta R. . 431
viii
A New Communication Systems Architecture Supporting Migration to OSI
a.M. Solvie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 441
Modelling and Analysis of Time Critical Applications on Local Area Networks
M.A.a. Brasileiro, J.A. Field and J.A.B. Moura . . . . . . . . . . . . . . .459
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
Introduction
The International Conference of the Chilean Computer Science Society (SCCC) is an annual
event which is held in Santiago, Chile. Since its inception in 1981 it has grown to become one of
the most important events of its type in Latin America. The official language of the conference
is English. During 1991, the SCCC became a sister society ofthe ACM and the IEEE Computer
Society.
The SCCC seeks to facilitate the interchange of knowledge and experience among academics
and professionals who work in the field of computing. This year 85 papers were received from 19
countries on 4 continents. From these the program committee selected only 35 for presentation,
which indicates the conference's selectivity and the high quality demanded of participants.
The accepted papers were selected by the following program committee:
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.1. Encarnac;ao (Zentrum 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 proceedings are organized in seven areas (number of papers in parentheses):
Databases (3)
Artificial Intelligence, Logic and Functional Programming (6)
Algorithms and Data Structures (8)
Object-Oriented Systems (5)
Distributed Systems (5)
Complexity and Parallel Algorithms (3 plus 2 invited)
Computer Architecture and Networks (5)
The conference also included six tutorials:
• Expert Systems, Miguel Nussbaum, Pontijicia Universidad Cat6lica, Chile (in Spanish).
• Design of Algorithms, Udi Manbel', Univ. of Arizona, USA (in English).
• Hypertext and Applications, Marcos Borges, Univ. Fed. de Rio de Janeiro (in Spanish).
• Distributed Operating Systems and Software, Raphael Finkel, Univ. of Kentucky, USA
(in English).
• Distributed Databases, Hector Garcia-Molina, Princeton Univ., USA (in Spanish).
• Automatic VLSI Design, Raul Camposano, Univ. of Paderborn/GMD, Germany (in
Spanish).
Three talks were invited (the first two are included in the proceedings):
• Complexity of Algorithmic Problems on Succinct Instances, Jose Balcazar, Univ.
Politecnica de Cataluiia, Spain.
• Parallel Algorithms for NP-Complete Problems, Michael Robson, Australian National
Univ., Canberra, Australia.
• Categoric Aspects of Computer Science, Jose Luis Freire, Universidad de La Coruiia,
Spain.
A panel discussion regarding the software industry in Chile was also organized, as well as one
dealing with the ACM/IEEE 1991 CS curriculum.
This year the conference was organized by the Department of Computer Science of the
University of Chile and took place at the central campus of the university. The organizing
committee was composed of the following:
Juan Alvarez
Ricardo Baeza-Yates, Chairman
Andres Pavez
Jose A. Pino
Patricio V. Poblete
The SCCC conference was held jointly with the Ibero-American Congress on Computer Science
in Higher Education, the first of its type in Latin America.
These events are jointly sponsored by the Chilean Software Association (ACS), the Latin
American Center for Studies in Informatics (CLEI), the National Council of Research in Sci
ence and Technology (CONICYT), the IEEE Computer Society, and SONDA (Digital repre
sentative). Collaborating sponsors include the British Council, the Chile-France cooperation
program, and the Andes Foundation.
Underwriting these events are Apple Chile, Cientec S.A. (Sun distributor), the Chilean Tele
phone Company (CTC), IBM Chile, UNISYS, XXI magazine of El Mercurio, Informatica mag
azine, Difusi6n Publishing (Addison-Wesley), and Ciencia and Tecnica Distributors (McGraw
Hill).
About 140 people attended the conference (50% of them students), mainly from Chile, but
also about 50 from Argentina, Australia, Brasil, Canada, Colombia, England, France, Germany,
Israel, Mexico, Panama, Paraguay, Spain, Switzerland, USA, Uruguay and Venezuela.
Finally, I wish to acknowledge the staff at the Computer Science Department of the Univer
sity of Chile, as well as David Fuller of the Pontifical Catholic University of Chile, the organizing
chairman of the 1990 conference.
Ricardo Baeza-Yates
Santiago de Chile
December 1991
2
Historical Overview
The International Conference of the Chilean Co1nputer Science Society started more than
10 years ago as an ambitious project for developing computer science research in Chile. This
conference has also provided a way to meet researchers from Latin America and the rest of the
world.
During this time we have been sponsored by many international computer companies (or
their representatives) such as IBM, Digital, NCR, Vnysis, and Xerox, as well as institutions
such as IEEE, ACM, CREI (Regional Centre for Computer Science Studies, Spain), and CLEI
(Latin American Center for Studies on Informatics).
We strongly believe that our conference is one ofthe most important computer science events
in Latin America, and has the highest technical level in the region. This belief is supported by
several facts:
• A fully international program committee. Among the persons that have participated in
the program commitee or as invited speaker, we can mention:
Prof. Ernst Leiss, University of Houston, 1979, 1982, 1983, 1984, 1986, 1990.
Prof. Daniel Berry, University of California at Los Angeles, 1982.
Prof. Larry Kerschberg, University of South Carolina, 1982.
Dr. David Smallberg, University of California at Los Angeles, 1982.
Prof. Domenico Ferrari, University of California at Berkeley, 1983.
Prof. J. Ian Munro, University of Waterloo, 1983, 1987, 1990.
Prof. Eduardo Fernandez, University of Miami, 1983.
Prof. Raul Camposano, Paderborn, 1983, 1991.
Dr. Luis Felipe Cabrera, IBM Almaden Research Center, 1983, 1989, 1990.
Dr. Agustin Araya, Corporate Technology Center, Santa Barbara, 1983, 1984, 1990.
Prof. Gaston Gonnet, ETH Zurich, 1984, 1985, 1986, 1988, 1989.
Prof. Alberto Mendelzon, University of Toronto, 1984, 1988, 1990.
Dr. Ernest Chang, University of Victoria, 1984.
Dr. Luis Osin, Centre for Educational Technology, Israel, 1984.
Prof. Malcolm Atkinson, Glasgow University, 1985.
Prof. Hector Garda-Molina, Princeton University, 1985, 1987, 1991.
Dr. Philippe Flajolet, INRIA, France, 1986, 1987,1989.
Prof. Jurg Nievergelt, ETH Zurich, 1986.
Dr. Edward Coffman Jr., Bell Laboratories, 1986.
Prof. Richard Bartels, University of Waterloo, 1987.
Dr. Jorge Vidart, ESLAI, Argentina, 1987, 1989, 1990.
Prof. Jean Villemin, INRIA, France, 1987.
Prof. D. Jensen, Carnegie Mellon Univ., 1987.
Prof. A. L. Furtado, Catholic University of Rio de Janeiro, 1987.
Prof. Ugo Montanari, Universita di Pisa, 1988.
Prof. Don Batory, Univerity of Texas at Austin, 1988.
Dr. Jorge Bocca, European Computer Research Center, Munich, 1988.
Dr. Alfred Pietrasanta, IBM Hawthorne, 1988.
Dr. Jorge Sanz, IBM Almaden, 1988.
Prof. Hugo Scolnick, Universidad de Buenos Aires, 1988.
Prof. Ken Sevcik, University of Toronto, 1988.
3
