Title: A study of parallel deductive database systems