From: Marcin K. <Mar...@so...> - 2007-02-22 13:15:22
|
(just peeking randomly on some posts) > The real difference is that we either do: > > forall (tags_to_be_checked) > forall (games_to_be checked) > check() > > or > > forall (games_to_be checked) > forall (tags_to_be_checked) > check() > I am not sure whether I am in context here, but the second version seems to be significantly more promising in case of large databases (when you are not able to have all tags of all games in memory simultaneously). |