Chain-Split Evaluation in Deductive Databases.pdfVIP

Chain-Split Evaluation in Deductive DatabasesJiawei HanyAbstractMany popularly studied recursions in deductive databases can be compiled into one or a set of highly regularchain generating paths, each of which consists of one or a set of connected predicates. Previous studies onchain-based query evaluation in deductive databases take a chain generating path as an inseparable unit in theevaluation. However, some recursions, especially many functional recursions whose compiled chain consists ofinnitely evaluable function(s), should be evaluated by chain-split evaluation, which splits a chain g