Enlarge front size of axes label and legend of experimental graphs.
New reocrd-based pruning skyline algorithm to consider other branches.
New index-based pruning skyline algorithm to consider other branches.
New theorem type: property.