Abstrakcyjne dziedziny do modelowania tablic

Przedstawię swoje prace nad dziedzinami do reprezentowania zawartości tablic. Zaprezentuję dwa rozwiązania:
 - wydajne, ale mało precyzyjne, oparte o dziedzinę przedziałową (wykorzystujące drzewa przedziałowe),
 - mniej wydajne, ale dokładniejsze, oparte o pentagony.