Dirk van Gucht's Books

ICDT '88

2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988. Proceedings

By: M. Gyssens (Marc),Jan Paredaens

Write a review Read reviews Take a Quiz Solve Book Puzzle

ICDT '88

2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988. Proceedings

By: M. Gyssens (Marc),Jan Paredaens

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.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

420

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540501711

ISBN 13

9783540501718

The Structure of the Relational Database Model

By: Jan Paredaens,Paul De Bra,Marc Gyssens,Dirk van Gucht

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Structure of the Relational Database Model

By: Jan Paredaens,Paul De Bra,Marc Gyssens,Dirk van Gucht

This book presents an overview of the most fundamental aspects of the theory that underlies the Relational Database Model. As such it is self-contained though experience with formal models and abstract data manipulating on the one hand and with the practical use of a relational system on the other hand can help the reader. Such experience will offer the reader a better understanding of and a motivation for the different concepts, theories and results mentioned in the book. We have focussed on the most basic concepts and aspects of the relational model, without trying to give a complete overview of the state of the art of database theory. Recently a lot of books on databases in general and on the relational model in particular have been published. Most of them describe the use of database systems. 'Some clarify how information has to be structured and organized before it can be used to build applications. Others help the user in writing down his applications or in finding tricky ways to optimize the running time or the necessary space. Another category of books treat more fundamental and more general aspects such as the description of the relational model, independent of any implementation, the decomposition in normal forms or the global design of distributed databases. Few, however, are the books that describe in a formal way some of the subjects mentioned above.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

242

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3642699561

ISBN 13

9783642699566

Evolutionary Search and the Job Shop

Investigations on Genetic Algorithms for Production Scheduling

By: Dirk C. Mattfeld

Write a review Read reviews Take a Quiz Solve Book Puzzle

Evolutionary Search and the Job Shop

Investigations on Genetic Algorithms for Production Scheduling

By: Dirk C. Mattfeld

Production scheduling dictates highly constrained mathematical models with complex and often contradicting objectives. Evolutionary algorithms can be formulated almost independently of the detailed shaping of the problems under consideration. As one would expect, a weak formulation of the problem in the algorithm comes along with a quite inefficient search. This book discusses the suitability of genetic algorithms for production scheduling and presents an approach which produces results comparable with those of more tailored optimization techniques.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

162

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3662117126

ISBN 13

9783662117125

Finite Representations of CCS and TCSP Programs by Automata and Petri Nets

By: Dirk A. Taubner

Write a review Read reviews Take a Quiz Solve Book Puzzle

Finite Representations of CCS and TCSP Programs by Automata and Petri Nets

By: Dirk A. Taubner

This work relates different approaches for the modelling of parallel processes. On the one hand there are the so-called "process algebras" or "abstract programming languages" with Milner's Calculus of Communicating Systems (CCS) and the theoretical version of Hoare's Communicating Sequential Processes (CSP) as main representatives. On the other hand there are machine models, i.e. the classical finite state automata (transition systems), for which, however, more discriminating notions of equivalence than equality of languages are used; and secondly, there are differently powerful types of Petri nets, namely safe and general (place/transition) nets respectively, and predicate/transition nets. Within a uniform framework the syntax and the operational semantics of CCS and TCSP are explained. We consider both, Milner's well-known interleaving semantics, which is based on infinite transition systems, as well as the new distributed semantics introduced by Degano et al., which is based on infinite safe nets. The main part of this work contains three syntax-driven constructions of transition systems, safe nets, and predicate/transition nets respectively. Each of them is accompanied by a proof of consistency. Due to intrinsic limits, which are also investigated here, neither for transition systems and finite nets, nor for general nets does a finite consistent representation of all CCS and TCSP programs exist. However sublanguages which allow finite representations are discerned. On the other hand the construction of predicate/transition nets is possible for all CCS programs in which every choice and every recursive body starts sequentially.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

184

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540515259

ISBN 13

9783540515258

The Structure of the Relational Database Model

By: Jan Paredaens,Paul De Bra,Marc Gyssens,Dirk van Gucht

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Structure of the Relational Database Model

By: Jan Paredaens,Paul De Bra,Marc Gyssens,Dirk van Gucht

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

242

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3642699561

ISBN 13

9783642699566

ICDT '88

2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988. Proceedings

By: M. Gyssens (Marc),Jan Paredaens

Write a review Read reviews Take a Quiz Solve Book Puzzle

ICDT '88

2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988. Proceedings

By: M. Gyssens (Marc),Jan Paredaens

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

420

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540501711

ISBN 13

9783540501718

Book's by Dirk van Gucht

ICDT '88

ICDT '88

The Structure of the Relational Database Model

The Structure of the Relational Database Model

Evolutionary Search and the Job Shop

Evolutionary Search and the Job Shop

Finite Representations of CCS and TCSP Programs by Automata and Petri Nets

Finite Representations of CCS and TCSP Programs by Automata and Petri Nets

The Structure of the Relational Database Model

The Structure of the Relational Database Model

ICDT '88

ICDT '88

Username

Password

Username

Password

Password again

Birthday

Email