The present invention reduces the compile time in a top-down rule based system by identifying the complexity of a query prior to applying a rule to an expression. If the complexity of the query is above a threshold, the present invention determines whether the rule should be applied based upon several factors including the type of rule and the position of the node in the search space. Those rules that need not be applied are randomly pruned at a determined rate that prevents search space explosion and prevents the elimination of large contiguous portions of the search space. Pruned rules are not applied, while those rules that are not pruned are applied.

Η παρούσα εφεύρεση μειώνει συντάσσει το χρόνο σε ένα από επάνω προς τα κάτω βασισμένο στον κανόνα σύστημα με τον προσδιορισμό της πολυπλοκότητας μιας ερώτησης πριν από την εφαρμογή ενός κανόνα σε μια έκφραση. Εάν η πολυπλοκότητα της ερώτησης είναι επάνω από ένα κατώτατο όριο, η παρούσα εφεύρεση καθορίζει εάν ο κανόνας πρέπει να εφαρμοστεί βασισμένος σε διάφορους παράγοντες συμπεριλαμβανομένου του τύπου κανόνα και της θέσης του κόμβου στο διάστημα αναζήτησης. Εκείνοι οι κανόνες που δεν χρειάζονται να εφαρμοστούν κλαδεύονται τυχαία σε ένα καθορισμένο ποσοστό που αποτρέπει τη διαστημική έκρηξη αναζήτησης και αποτρέπει την αποβολή των μεγάλων παρακείμενων μερίδων του διαστήματος αναζήτησης. Οι κλαδευμένοι κανόνες δεν εφαρμόζονται, ενώ εκείνοι οι κανόνες που δεν κλαδεύονται εφαρμόζονται.