Authors:V. Vianu, D. Srivastava, O.P. Gunther, M. Wallace,
Publisher: Springer
Keywords: constraint, january, greece, papers, lecture, science, computer, notes, delphi, cdb, applications, databases, second, international, database, workshop, systems
Number of Pages: 345
Published: 1997-02-14
List price: $74.95
ISBN-10: 3540625011
ISBN-13: 9783540625018

This book presents the refereed proceedings of the Second International Workshop on Constraint Database Systems, CDB ’97, held in Delphi, Greece, in January 1997 together with some papers presented at the CP ’96 Workshop on Constraints and Databases, held in Cambridge, Massachussetts, in August 1996. The 18 revised full papers presented were carefully reviewed and selected for inclusion in the volume; also included are the extended abstract of an invited contribution and two survey papers. The papers are organized in sections on languages, expressiveness of spatial languages, syste

Authors:Brahim Hnich, Mats Carlsson, Francois Fages, Franc
Publisher: Springer
Keywords: constraint, uppsala, csclp, programming, lecture, notes, intelligence, artificial, logic, solving, ercim, joint, constraints, colognet, international, recent, workshop, advances
Number of Pages: 179
Published: 2006-07-06
List price: $58.00
ISBN-10: 354034215X
ISBN-13: 9783540342151

This book constitutes the thoroughly refereed and extended post-proceedings of the Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, held in Uppsala, Sweden in June 2005. Besides papers taken from the workshop, others are submitted in response to an open call for papers after the workshop. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on global constraints, search and heuristics, language and implementation issues, and modeling.

Authors:Philippe Baptiste, Claude Le Pape, Wim Nuijten,
Publisher: Springer
Keywords: research, constraint, management, science, operations, scheduling, amp, international, based, applying, programming, problems, series
Number of Pages: 216
Published: 2001-07-31
List price: $199.00
ISBN-10: 0792374088
ISBN-13: 9780792374084

Constraint Programming is a problem-solving paradigm that establishes a clear distinction between two pivotal aspects of a problem: (1) a precise definition of the constraints that define the problem to be solved and (2) the algorithms and heuristics enabling the selection of decisions to solve the problem. It is because of these capabilities that Constraint Programming is increasingly being employed as a problem-solving tool to solve scheduling problems. Hence the development of Constraint-Based Scheduling as a field of study. The aim of this book is to provide an overview of t

Author: Krzysztof Apt
Publisher: Cambridge University Pre
Keywords: programming, constraint, principles
Number of Pages: 420
Published: 2003-09-15
List price: $76.00
ISBN-10: 0521825830
ISBN-13: 9780521825832

Scheduling, vehicle routing and timetabling are all examples of constraint problems, and methods to solve them rely on the idea of constraint propagation and search. This book meets the need for a modern, multidisciplinary introduction to the field that covers foundations and applications. Written by Krzysztof Apt, an authority on the subject, it will be welcomed by graduate students and professionals. With the insertion of constraint techniques into programming environments, new developments have accelerated the solution process. Constraint programming combines ideas from artificial intellige

Author: Peter Revesz
Publisher: Springer
Keywords: databases, constraint, introduction
Number of Pages: 407
Published: 2002-01-15
List price: $95.00
ISBN-10: 0387987290
ISBN-13: 9780387987293

Differing from other books on the subject, this one uses the framework of constraint databases to provide a natural and powerful generalization of relational databases. An important theme running through the text is showing how relational databases can smoothly develop into constraint databases, without sacrificing any of the benefits of relational databases whilst gaining new advantages. Peter Revesz begins by discussing data models and how queries may be addressed to them. From here, he develops the theory of relational and constraint databases, including Datalog and the relational calculus,

Authors:Gabriel Kuper, Leonid Libkin, Jan Paredae,
Publisher: Springer
Keywords: databases, constraint
Number of Pages: 428
Published: 2000-05-25
List price: $139.00
ISBN-10: 3540661514
ISBN-13: 9783540661511

This book is the first comprehensive survey of the field of constraint databases, written by leading researchers. Constraint databases are a fairly new and active area of database research. The key idea is that constraints, such as linear or polynomial equations, are used to represent large, or even infinite, sets in a compact way. The ability to deal with infinite sets makes constraint databases particularly promising as a technology for integrating spatial and temporal data with standard relational databases. Constraint databases bring techniques from a variety of fields, such as logic and m

Authors:Slim Abdennadher, Thom Frühwirth,
Publisher: Springer
Keywords: programming, constraint, essentials
Number of Pages: 151
Published: 2003-04-28
List price: $69.95
ISBN-10: 3540676236
ISBN-13: 9783540676232

The book is a short, concise and complete presentation of constraint programming and reasoning. The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specify problems with uncertain, incomplete information and to solve combinatorial problems, as they are abundant in industry and commerce, such as scheduling, planning, transportation, resource allocation, layout, design and analysis. The theoretically well-founded presentation includes exercises with solutions and application examples from real life. It is