Magic set computation with differential representation of facts

Takahiko Suzuki, Toshihisa Takagi, Kazuo Ushijima

研究成果: Chapter in Book/Report/Conference proceedingOther chapter contribution


We propose an implementation technique of a bottom-up computation in deductive database systems based on the Magic Set method. This technique improves the performance of generate-and-test type programs which use function symbols. Our technique consists of SIPS that enable set-oriented computation and differential representation of sets. The cost of the set-oriented computation can be reduced by using a differential representation of sets. This technique, for example, is applicable to retrieval of paths between two nodes in a graph. When the two nodes are connected by a single path, the cost of computation using this technique is O(N), while the cost with a naive application of the Magic Set method is O(N2).

ホスト出版物のタイトルMemoirs of the Kyushu University, Faculty of Engineering
出版社Publ by Kyushu Univ
出版ステータス出版済み - 12 1991

All Science Journal Classification (ASJC) codes

  • Engineering(all)

フィンガープリント 「Magic set computation with differential representation of facts」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。