Abstract
Constraints are natural and convenient way of describing various types of relations between parameters. It's generally accepted that constraint systems can benefit to DB-systems. First they could be used for query optimization (by reducing the number of objects to be tested) both in traditional DB-systems and in databases with modern features like spatial or constraint indexes. In the former case the combination seems to be most reasonable since DB provides efficient way of handling and storing constraints which perfectly could be solved by ID-Library.
ID Library was tested on a lot of benchmarks for non-linear constraints solvers from different papers [DD96]. At present various engineering optimization problems are under development on the base of the ID library.
The integration of ID library into ECLiPSe was fulfilled in IC-PARC (Imperial College) and ICL, London. It was possible thanks to the support and help of W. O'Riordan, M. Rigg and M. Wallace. Our gratitude to all of them.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
F. Benhamou and W. Older. Applying interval arithmetic to real, integer and boolean constraints. Journal of Logic Programming, 1995.
S. K. Das and J. Dicker. Coupling ORACLE with ECLiPSe. The ICL Systems Journal, pages 123–144, May 1996.
ECRC. ECLiPSe 3.4: Extensions User Manual, 1994.
ECRC. ECLiPSe 3.4: Knowledge Base User Manual, 1994.
ECRC. ECLiPSe 3.5 ECRC Common Logic Programming System, 1995.
V. Gaede and O. Günther, Constraint-based query optimization and processing, volume 1034 of Lecture Notes in Computer Science, pages 84–102. Springer-Verlag, 1995.
V. Knueppel. PROFIL/BIAS — A Fast Interval Library. Computing, 53(3–4):323–335, 1994.
Gabriel Kuper and Mark Wallace, editors. Constraint Databases and Applications, volume 1034 of Lecture Notes in Computer Science. Springer-Verlag, 1995.
David Levin and Igor Shvetsov. A novel end user facilities based on Subdefinite Calculations. Technical Report 4, Russian Research Institute of Artificial Intelligence, 1996.
B. Mayoh, E. Tyugu, and J. Penjaam, editors. Constraint Programming: Proceedings 1993 NATO ASI Parnu, Estonia, NATO Advanced Science Institute Series. Springer-Verlag, 1994.
Alexander S. Narinyani. Subdefiniteness and basic means of knowledge representation. Computers and Artificial Intelligence, 2(5):443–452, 1983.
A. Semenov, A. Babichev, T. Kashevarova, and A. Leschenko. Unicalc, a novel approach to solving systems of algebraic equations. In Proc.of the International Conference on Numerical Analysis with Automatic Result Verification, pages 29–47, Lafayette, La, USA, February 1993.
Pascal Van Hentenryck. Helios: A modeling language for global optimization. In Proc.of PACT'96, pages 317–335, 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yakhno, T., Zilberfaine, S. (1996). Interval domain library for ECLiPSe and its application. In: Gaede, V., Brodsky, A., Günther, O., Srivastava, D., Vianu, V., Wallace, M. (eds) Constraint Databases and Applications. CDB 1997. Lecture Notes in Computer Science, vol 1191. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62501-1_41
Download citation
DOI: https://doi.org/10.1007/3-540-62501-1_41
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62501-8
Online ISBN: 978-3-540-68049-9
eBook Packages: Springer Book Archive