[php] Sumowanie zakresów wielu dat, Czyli ile miesięcy minęło między podanymi zakresami dat Opcje

[mlodyno]

Witam,

chciałbym obliczyć ilość miesięcy jaka upłynęła między datami. Nie jest to standardowy przypadek ponieważ trzeba wziąć pod uwagę zazębianie się dat. Najłatwiej przedstawić to na przykładzie urlopów

1. Urlop między 2012-01-01 a 2012-06-31
2. Urlop między 2012-04-01 a 2012-07-31
3. Urlop między 2012-05-01 a 2012-05-31
4. Urlop między 2012-10-01 a 2012-11-31

Pytanie: ile miesięcy był na urlopie? (oczywiście zazębienie dat powinno być wykrywane na etapie dodawania urlopów, ale potrzebuje to do innego skryptu a na przykładzie urlopów najłatwiej wytłumaczyć).

Urlop 1,2 i 3 jest zazębiony. Oczywiście daty mogą być zazębione w różny inny sposób.
W wyniku powinienem dostać odpowiedź: 9 miesięcy, czyli nie jest to suma(urlop1;urlop2;urlop3;urlop4).


Do tej pory poradziłem sobie tak, że wpisuje do tablicy miesiące poszczególnych urlopów czyli:

[PHP] pobierz, plaintext 
$tab = array(2012-01-01, 2012-02-01, 2012-03-01, 2012-04-01.... , 2012-06-01),
array(2012-04-01, 2012-05-01, 2012-06-01, 2012-07-01),
array(2012-05-01),
array(2012-10-01, 2012-11-01) );
[PHP] pobierz, plaintext 

I teraz usuwam duplikaty i otrzymuje unikalne miesiące, których suma daje mi długość urlopów.
Problem w tym, że wykonuje się to bardzo długo, bo 7 minut dla 7000 rekordów (w końcu powyższe operacje wykonuje osobno dla każdego rekordu).

Może inne pomysły związane z operacjami na zakresach dat?