데이터베이스 의미론을 위한 한국어 피동형의 전산적 처리