“…(1995) study the use of well-known techniques from the area of constraint logic programming such as forward checking for optimizing queries. Gaede and Giinther (1995a) show how to use constraints for processing userdefined functions as they occur in object-oriented databases. By means of additional user-defined functions, which are defined with respect to the query predicate, they dynamically precompute constraints on query attributes.…”