Constraints, Volume 2

Volume 2, Number 1, April 1997

Vijay A. Saraswat, Pascal Van Hentenryck: Introduction to the Special Issue. 5-6
Pascal Van Hentenryck, Vijay A. Saraswat: Constraint Programming: Strategic Directions. 7-33
Alexander Brodsky: Constraint Databases: Promising Technology or Just Intellectual Exercise? 35-44
Philippe Codognet: The Virtuality of Constraints and the Constraints of Virtuality. 45-49
Rina Dechter: Bucket Elimination: a Unifying Framework for Processing Hard and Soft Constraints. 51-55
Eugene C. Freuder: In Pursuit of the Holy Grail. 57-61
Manuel V. Hermenegildo: Some Challenges for Constraint Programming. 63-69
Joxan Jaffar, Roland H. C. Yap: Constraint Programming 2000: A Position Paper. 71-73
Simon Kasif: Towards a Constraint-Based Engineering Framework for Algorithm Design and Application. 75-82
Alan K. Mackworth: Constraint-Based Design of Embedded Intelligent Systems. 83-86
Ugo Montanari, Francesca Rossi: Constraint Solving and Programming: What Next? 87-91
Raghu Ramakrishnan: Constraints in Databases. 93-94
Vijay A. Saraswat: Compositional Computing. 95-97
Pascal Van Hentenryck: Constraint Programming for Combinatorial Search Problems. 99-101

Interval Constraints

Frédéric Benhamou, Pascal Van Hentenryck: Introduction to the Special Issue on Interval Constraints. 107-112
William J. Older: Involution Narrowing Algebra. 113-130
John G. Cleary: Constructive Negation of Arithmetic Constraints Using Dataflow Graphs. 131-162
Maarten H. van Emden: Value Constraints in the CLP Scheme. 163-183
Jianyang Zhou: A Permutation-Based Approach for Solving the Job-Shop Problem. 185-213
Shikharesh Majumdar: Application of Relational Interval Arithmetic to Computer Performance Analysis: a Survey. 215-235

Constraints and Databases

Raghu Ramakrishnan, Peter J. Stuckey: Introduction to the Special Issue on Constraints and Databases. 243
Alexander Brodsky, Victor E. Segal, Jia Chen, Pavel A. Exarkhopoulo: The CCUBE Constraint Object-Oriented Database System. 245-277
Alexander Brodsky, Joxan Jaffar, Michael J. Maher: Toward Practical Query Evaluation for Constraint Databases. 279-304
Laurent Fribourg, Hans Olsén: A Decompositional Approach for Computing Least Fixed-Points of Datalog Programs with Z-Counters. 305-335
David Toman: Memoing Evaluation for Constraint Extensions of Datalog. 337-359
Peter Z. Revesz: Refining Restriction Enzyme Genome Maps. 361-375
Nam Huyn: Maintaining Global Integrity Constraints in Distributed Databases. 377-399