질의 최적화를 위한 복합객체 대수 설계 및 항등변환