Author: M. Gyssens (Marc)
Publisher: Springer Science & Business Media
ISBN: 9783540501718
Category : Computers
Languages : en
Pages : 420
Book Description
This volume is the proceedings of the second International Conference on Database Theory (ICDT) held in Bruges, Belgium, August 31 - September 2, 1988. ICDT intends to provide a European forum for the international research community working on theoretical issues related to database and knowledge base systems. The proceedings of this conference contain all invited and accepted papers, which represent the latest results obtained in ongoing research in database theory worldwide. Most major themes of research in database theory are covered in ICDT '88: the relational model, logic and databases, object-oriented databases, deductive databases, conceptual models, analysis and design of data structures, query languages, concurrency control and updates and transactions.
ICDT '88
Author: M. Gyssens (Marc)
Publisher: Springer Science & Business Media
ISBN: 9783540501718
Category : Computers
Languages : en
Pages : 420
Book Description
This volume is the proceedings of the second International Conference on Database Theory (ICDT) held in Bruges, Belgium, August 31 - September 2, 1988. ICDT intends to provide a European forum for the international research community working on theoretical issues related to database and knowledge base systems. The proceedings of this conference contain all invited and accepted papers, which represent the latest results obtained in ongoing research in database theory worldwide. Most major themes of research in database theory are covered in ICDT '88: the relational model, logic and databases, object-oriented databases, deductive databases, conceptual models, analysis and design of data structures, query languages, concurrency control and updates and transactions.
Publisher: Springer Science & Business Media
ISBN: 9783540501718
Category : Computers
Languages : en
Pages : 420
Book Description
This volume is the proceedings of the second International Conference on Database Theory (ICDT) held in Bruges, Belgium, August 31 - September 2, 1988. ICDT intends to provide a European forum for the international research community working on theoretical issues related to database and knowledge base systems. The proceedings of this conference contain all invited and accepted papers, which represent the latest results obtained in ongoing research in database theory worldwide. Most major themes of research in database theory are covered in ICDT '88: the relational model, logic and databases, object-oriented databases, deductive databases, conceptual models, analysis and design of data structures, query languages, concurrency control and updates and transactions.
Database Machines
Author: Haran Boral
Publisher: Springer Science & Business Media
ISBN: 9783540513247
Category : Computers
Languages : en
Pages : 404
Book Description
This volume contains 24 papers presented at the Sixth International Workshop on Database Machines. The papers cover a wide spectrum of topics including: system architectures, storage structures, associative memory architectures, memory resident systems, deduction and retrospectives on maturing projects. The nature of the papers is highly technical and presumes knowledge of database management systems and familiarity with database machines. The book is representative of the dual trend in the field towards (1) search for new functionability and (2) attention to detail, completeness and performance of prototype implementations.
Publisher: Springer Science & Business Media
ISBN: 9783540513247
Category : Computers
Languages : en
Pages : 404
Book Description
This volume contains 24 papers presented at the Sixth International Workshop on Database Machines. The papers cover a wide spectrum of topics including: system architectures, storage structures, associative memory architectures, memory resident systems, deduction and retrospectives on maturing projects. The nature of the papers is highly technical and presumes knowledge of database management systems and familiarity with database machines. The book is representative of the dual trend in the field towards (1) search for new functionability and (2) attention to detail, completeness and performance of prototype implementations.
Mathematics of Program Construction
Author: Jan L.A. van de Snepscheut
Publisher: Springer Science & Business Media
ISBN: 9783540513056
Category : Computers
Languages : en
Pages : 436
Book Description
The papers included in this volume were presented at the Conference on Mathematics of Program Construction held from June 26 to 30, 1989. The conference was organized by the Department of Computing Science, Groningen University, The Netherlands, at the occasion of the University's 375th anniversary. The creative inspiration of the modern computer has led to the development of new mathematics, the mathematics of program construction. Initially concerned with the posterior verification of computer programs, the mathematics have now matured to the point where they are actively being used for the discovery of elegant solutions to new programming problems. Initially concerned specifically with imperative programming, the application of mathematical methodologies is now established as an essential part of all programming paradigms - functional, logic and object-oriented programming, modularity and type structure etc. Initially concerned with software only, the mathematics are also finding fruit in hardware design so that the traditional boundaries between the two disciplines have become blurred. The varieties of mathematics of program construction are wide-ranging. They include calculi for the specification of sequential and concurrent programs, program transformation and analysis methodologies, and formal inference systems for the construction and analysis of programs. The mathematics of specification, implementation and analysis have become indispensable tools for practical programming.
Publisher: Springer Science & Business Media
ISBN: 9783540513056
Category : Computers
Languages : en
Pages : 436
Book Description
The papers included in this volume were presented at the Conference on Mathematics of Program Construction held from June 26 to 30, 1989. The conference was organized by the Department of Computing Science, Groningen University, The Netherlands, at the occasion of the University's 375th anniversary. The creative inspiration of the modern computer has led to the development of new mathematics, the mathematics of program construction. Initially concerned with the posterior verification of computer programs, the mathematics have now matured to the point where they are actively being used for the discovery of elegant solutions to new programming problems. Initially concerned specifically with imperative programming, the application of mathematical methodologies is now established as an essential part of all programming paradigms - functional, logic and object-oriented programming, modularity and type structure etc. Initially concerned with software only, the mathematics are also finding fruit in hardware design so that the traditional boundaries between the two disciplines have become blurred. The varieties of mathematics of program construction are wide-ranging. They include calculi for the specification of sequential and concurrent programs, program transformation and analysis methodologies, and formal inference systems for the construction and analysis of programs. The mathematics of specification, implementation and analysis have become indispensable tools for practical programming.
Proceedings / Parcella 1988
Author: Gottfried Wolf
Publisher: Springer Science & Business Media
ISBN: 9783540506478
Category : Computers
Languages : en
Pages : 386
Book Description
Proceedings -- Parallel Computing.
Publisher: Springer Science & Business Media
ISBN: 9783540506478
Category : Computers
Languages : en
Pages : 386
Book Description
Proceedings -- Parallel Computing.
Graph-Theoretic Concepts in Computer Science
Author: Manfred Nagl
Publisher: Springer Science & Business Media
ISBN: 9783540522928
Category : Computers
Languages : en
Pages : 388
Book Description
The aim of this workshop series is to contribute to integration in computer science by applying graph-theoretic concepts. Commonalities between various fields of specialization in computer science may be detected by applying graph-theoretic concepts. The workshops are unusual in that they combine theoretical aspects with practice and applications. Applications dealt with in this volume include the use of graph-theoretic concepts in distributed and parallel computation, VLSI, CAD, software engineering, computer graphics, data structures, and computational geometry.
Publisher: Springer Science & Business Media
ISBN: 9783540522928
Category : Computers
Languages : en
Pages : 388
Book Description
The aim of this workshop series is to contribute to integration in computer science by applying graph-theoretic concepts. Commonalities between various fields of specialization in computer science may be detected by applying graph-theoretic concepts. The workshops are unusual in that they combine theoretical aspects with practice and applications. Applications dealt with in this volume include the use of graph-theoretic concepts in distributed and parallel computation, VLSI, CAD, software engineering, computer graphics, data structures, and computational geometry.
Computer Aided Systems Theory - EUROCAST '89
Author: Franz Pichler
Publisher: Springer Science & Business Media
ISBN: 9783540522157
Category : Computers
Languages : en
Pages : 440
Book Description
Nonlinear Evolution Equations and Dynamical Systems (NEEDS) provides a presentation of the state of the art. Except for a few review papers, the 40 contributions are intentially brief to give only the gist of the methods, proofs, etc. including references to the relevant litera- ture. This gives a handy overview of current research activities. Hence, the book should be equally useful to the senior resercher as well as the colleague just entering the field. Keypoints treated are: i) integrable systems in multidimensions and associated phenomenology ('dromions'); ii) criteria and tests of integrability (e.g., Painlevé test); iii) new developments related to the scattering transform; iv) algebraic approaches to integrable systems and Hamiltonian theory (e.g., connections with Young-Baxter equations and Kac-Moody algebras); v) new developments in mappings and cellular automata, vi) applications to general relativity, condensed matter physics, and oceanography.
Publisher: Springer Science & Business Media
ISBN: 9783540522157
Category : Computers
Languages : en
Pages : 440
Book Description
Nonlinear Evolution Equations and Dynamical Systems (NEEDS) provides a presentation of the state of the art. Except for a few review papers, the 40 contributions are intentially brief to give only the gist of the methods, proofs, etc. including references to the relevant litera- ture. This gives a handy overview of current research activities. Hence, the book should be equally useful to the senior resercher as well as the colleague just entering the field. Keypoints treated are: i) integrable systems in multidimensions and associated phenomenology ('dromions'); ii) criteria and tests of integrability (e.g., Painlevé test); iii) new developments related to the scattering transform; iv) algebraic approaches to integrable systems and Hamiltonian theory (e.g., connections with Young-Baxter equations and Kac-Moody algebras); v) new developments in mappings and cellular automata, vi) applications to general relativity, condensed matter physics, and oceanography.
Advances in Database Technology - EDBT '90
Author: Francois Bancilhon
Publisher: Springer Science & Business Media
ISBN: 9783540522911
Category : Computers
Languages : en
Pages : 466
Book Description
Database technology is currently being pushed by the needs of new applications and pulled by the oppor- tunities of novel developments in hardware and systems architecture. The invited paper, two panel sessions and 27 papers in this volume report on how the technology is currently extending. One broad area covered is extended database semantics, including data models and data types, databases and logic, complex objects, and expert system approaches to databases. The other area covered is raw architectures and increased database systems support, including novel transaction models, data distribution and replication, database administration, and access efficiency.
Publisher: Springer Science & Business Media
ISBN: 9783540522911
Category : Computers
Languages : en
Pages : 466
Book Description
Database technology is currently being pushed by the needs of new applications and pulled by the oppor- tunities of novel developments in hardware and systems architecture. The invited paper, two panel sessions and 27 papers in this volume report on how the technology is currently extending. One broad area covered is extended database semantics, including data models and data types, databases and logic, complex objects, and expert system approaches to databases. The other area covered is raw architectures and increased database systems support, including novel transaction models, data distribution and replication, database administration, and access efficiency.
Design and Implementation of Symbolic Computation Systems
Author: Alfonso Miola
Publisher: Springer Science & Business Media
ISBN: 9783540525318
Category : Computers
Languages : en
Pages : 300
Book Description
The growing importance of the systems for symbolic computation has greatly influenced the decision of organizing DISCO '90 which is short for International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '90 focuses mainly on the most innovative methodological and technological aspects of hardware and software system design and implementation for Symbolic and Algebraic Computation, Automated Reasoning, Software Environments (Languages and User Interfaces), and Automatic Programming. In particular, it includes papers on the design and the development of significant running systems. The general objective of DISCO '90 is to present an up-to-date view of the field, while encouraging the scientific exchange among academic, industrial and user communities of the development of systems for symbolic computation.
Publisher: Springer Science & Business Media
ISBN: 9783540525318
Category : Computers
Languages : en
Pages : 300
Book Description
The growing importance of the systems for symbolic computation has greatly influenced the decision of organizing DISCO '90 which is short for International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '90 focuses mainly on the most innovative methodological and technological aspects of hardware and software system design and implementation for Symbolic and Algebraic Computation, Automated Reasoning, Software Environments (Languages and User Interfaces), and Automatic Programming. In particular, it includes papers on the design and the development of significant running systems. The general objective of DISCO '90 is to present an up-to-date view of the field, while encouraging the scientific exchange among academic, industrial and user communities of the development of systems for symbolic computation.
CSL'88
Author: Egon Börger
Publisher: Springer Science & Business Media
ISBN: 9783540516590
Category : Computers
Languages : en
Pages : 412
Book Description
This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g. in complexity, data base theory, logic programming, artificial intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields.
Publisher: Springer Science & Business Media
ISBN: 9783540516590
Category : Computers
Languages : en
Pages : 412
Book Description
This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g. in complexity, data base theory, logic programming, artificial intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields.
ICDT '90
Author: Serge Abiteboul
Publisher: Springer Science & Business Media
ISBN: 9783540535072
Category : Computers
Languages : en
Pages : 540
Book Description
The emergence of new paradigms for data management raises a variety of exciting challenges. An important goal of database theory is to answer these challenges by providing sound foundations for the development of the field. This volume contains the papers selected for the third International Conference on Database Theory, ICDT'90. The conferences in this series are held biannually in beautiful European cities, Rome in 1986 and Bruges in 1988 with proceedings published as volumes 234 and 326 in the same series. ICDT'90 was organized in Paris by the Institut National de Recherche en Informatique et Automatique. The conference features 2 invited presentations and 31 papers selected from 129 submissions. The papers describe original ideas and new results on the foundations of databases, knowledge bases, object-oriented databases, relational theory, transaction management, data structures and deductive databases. The volume offers a good overview of the state of the art and the current trends in database theory. It should be a valuable source of information for researchers interested in the field.
Publisher: Springer Science & Business Media
ISBN: 9783540535072
Category : Computers
Languages : en
Pages : 540
Book Description
The emergence of new paradigms for data management raises a variety of exciting challenges. An important goal of database theory is to answer these challenges by providing sound foundations for the development of the field. This volume contains the papers selected for the third International Conference on Database Theory, ICDT'90. The conferences in this series are held biannually in beautiful European cities, Rome in 1986 and Bruges in 1988 with proceedings published as volumes 234 and 326 in the same series. ICDT'90 was organized in Paris by the Institut National de Recherche en Informatique et Automatique. The conference features 2 invited presentations and 31 papers selected from 129 submissions. The papers describe original ideas and new results on the foundations of databases, knowledge bases, object-oriented databases, relational theory, transaction management, data structures and deductive databases. The volume offers a good overview of the state of the art and the current trends in database theory. It should be a valuable source of information for researchers interested in the field.