Computer Science: Research and Applications PDF
Preview Computer Science: Research and Applications
COMPUTfR 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
The list of books you might like
