Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11. ILPS 1994, Workshop 2: Constraints and Databases
- Peter Z. Revesz, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan:
ILPS 1994, Workshop 2: Constraints and Databases, Ithaca, New York, USA, November 17, 1994. 1994
Preface
The Post-ILPS'94 Workshop on Constraints and Databases was organized with the aim of bringing together researchers in constraint logic programming and constraint databases to discuss the state-of-the-art in each field and how they can contribute to each other. Applications with increasingly large collections of complex constraints are being proposed and techniques to manipulate such collections of constraints are rapidly improving as a result of the incorporation of database technology. We hope that progress in the area will be fostered by interactions generated in workshops such as this one.
There were a total of 16 submissions to the workshop, all of high quality. We were able to select only 10 papers due to time constraints. The papers accepted for presentation have been compiled into an informal proceedings which is available as Technical Report UNL-CSE-94-025, Department of Computer Science and Engineering, University of Nebraska-Lincoln, November 1994.
This workshop was held in conjunction with the 1994 International Logic Programming Symposium (ILPS'94), which took take place in Ithaca, NY from November 13 to November 17, 1994. The workshop was made possible by the organizing committee of ILPS'94. In particular we would like to thank Howard Blair, the Workshop Chair of ILPS'94, for his support. We would also like to thank all the people who submitted papers to the workshop since they, more than others, are responsible for the success of this workshop. Finally, we would like to thank David Kemp for serving as an external referee.
Session 1: Constraint Databases
- Jan Chomicki, Gabriel M. Kuper:
Measuring Infinite Relations. - Roman Gross, Robert W. Marti:
Compile Time Constraint Solving in a Constraint Database System. - Stéphane Bressan:
Database Query Optimization and Evaluation as Constraint Satisfaction Problem Solving. - Alexander Brodsky, Yoram Kornatzky:
The LyriC Language: Querying Constraint Objects.
Session 2: Invited Talk
- Raghu Ramakrishnan:
Constraints And Databases: Creating The Right Image.
Session 3: Integrity Constraints
- Michael J. Maher:
Constrained Dependencies. - Xubo Zhang, Z. Meral Özsoyoglu:
Reasoning with Implication and Referential Constraints in Semantic Query Optimization. - Alon Y. Levy, Yehoshua Sagiv:
Semantic Query Optimization in Datalog Programs.
Session 4: Constraints
- Laurent Fribourg, Marcos Veloso Peixoto:
Bottom-Up Evaluation of Datalog Programs with Incremental Arguments and Linear Arithmetic Constraints. - V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
On Logical Constraints in Logic Programming. - Sandro Etalle, Maurizio Gabbrielli:
Modular Transformations of CLP Programs.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
