yu wang - Academia.edu (original) (raw)
Uploads
Papers by yu wang
Sigmod Record, 1990
Forward-chammg rule systems must test each newly asserted fact agamst a collection of predlcates ... more Forward-chammg rule systems must test each newly asserted fact agamst a collection of predlcates to find those rules that match the fact Expert system rule engines use a simple combmatlon of hashmg and sequential search for this matching We introduce an algorithm for findmg the matching predicates that IS more efficient than the standard algorithm when the number of predlcates 1s large We focus on equahty and mequahty predicates on totally ordered domams This algorithm 1s well-suited for database rule systems, where predicate-testing speed 1s crltlcal A key component of the algorithm 1s the rnterval bznary search tree (IBS-tree)
Sigmod Record, 1990
Forward-chammg rule systems must test each newly asserted fact agamst a collection of predlcates ... more Forward-chammg rule systems must test each newly asserted fact agamst a collection of predlcates to find those rules that match the fact Expert system rule engines use a simple combmatlon of hashmg and sequential search for this matching We introduce an algorithm for findmg the matching predicates that IS more efficient than the standard algorithm when the number of predlcates 1s large We focus on equahty and mequahty predicates on totally ordered domams This algorithm 1s well-suited for database rule systems, where predicate-testing speed 1s crltlcal A key component of the algorithm 1s the rnterval bznary search tree (IBS-tree)