[논문 리뷰] Conceptual Schema Optimisation -- Database Optimisation before sliding down the Waterfall

Henderik A. Proper, Terry Halpin|arXiv (Cornell University)|2021. 05. 26.

Advanced Database Systems and Queries참고 문헌 48인용 수 12

한 줄 요약

이 논문은 객체역할모델링(ORM) 기반의 형식적 프레임워크 내에서 전환 시퀀스를 적용하여, 구현 이전에 개념적 데이터베이스 스키마를 최적화하는 방법을 제안한다. 수학적 동치성과 인간의 선호를 유지함으로써, 플랫폼에 종속되지 않는 초기 최적화를 가능하게 하여, 후속 성능 문제를 줄이고 설계 품질을 향상시키며, 스키마 전환과 그 의미를 지정하기 위한 메타언어를 제공한다.

ABSTRACT

In this article we discuss an approach to database optimisation in which a conceptual schema is optimised by applying a sequence of transformations. By performing these optimisations on the conceptual schema, a large part of the database optimisation can be done before actually sliding down the software development waterfall. When optimising schemas, one would like to preserve some level of equivalence between the schemas before and after a transformation. We distinguish between two classes of equivalence, one based on the mathematical semantics of the conceptual schemas, and one on conceptual preference by humans. As a medium for the schema transformations we use the universe of all (correct) conceptual schemas. A schema transformation process can then be seen as a journey (a schema-time worm) within this universe. The underlying theory is conveyed intuitively with sample transformations, and formalised within the framework of Object-Role Modelling. A metalanguage is introduced for the specification of transformations, and more importantly their semantics. While the discussion focusses on the data perspective, the approach has a high level of generality and is extensible to process and behaviour perspectives.

연구 동기 및 목표

• 구현 이전에 물리적 스키마로의 매핑 이전에 개념적 스키마 수준에서 데이터베이스 최적화를 가능하게 하기 위해.
• 스키마 전환 과정에서 수학적 동치성과 인간의 선호를 유지하기 위해.
• 스키마 전환과 그 의미를 지정하기 위한 형식적 메타언어를 개발하기 위해.
• 개발 생명주기의 조기 단계에서 설계 결함을 해결하여, 실행 수준의 성능 문제를 줄이기 위해.
• 재작성 시스템과 전환 규칙을 통해 반자동화된 스키마 최적화를 지원하기 위해.

제안 방법

• 스키마 전환를 모든 올바른 개념적 스키마의 세계를 통해 이동하는 일종의 여정으로 모델링하며, 스키마-시간 웜 메타포를 사용한다.
• 전환는 객체역할모델링(ORM) 프레임워크 내에서 형식화되어 의미 일致성을 보장한다.
• 스키마 전환와 그 의미를 지정하기 위해 메타언어가 도입되며, 이는 정확성, 타입 유지, 중복 제거를 구분한다.
• 세 가지 전환 해석이 정의된다: 대체(동치 스키마 변형), 확장(새로운 타입 추가), 최적화(내부 효율성 향상).
• 정확성을 보장하기 위한 형식적 규칙: 스키마 유효성은 유지되며, 새로운 타입은 기존에 존재하지 않으며, 파생 타입은 제거되지 않는다.
• 변환된 스키마를 정규화하고 일관성을 확보하기 위해 청소 기능이 사용된다.

실험 결과

연구 질문

• RQ1 소프트웨어 개발 워터폴 모델로 떨어지기 전에 개념적 스키마 최적화는 어떻게 수행할 수 있는가?
• RQ2 스키마 전환 과정에서 수학적 동치성과 사용자 선호를 보장하는 형식적 기준은 무엇인가?
• RQ3 스키마 전환와 그 의미를 지정하기 위한 메타언어는 어떻게 설계할 수 있는가?
• RQ4 정확성을 훼손하지 않으면서 개념적 스키마 향상을 지원하는 핵심 전환 유형은 무엇인가?
• RQ5 수동 설계 노력 감소를 위해 전환 프로세스는 어떻게 반자동화할 수 있는가?

주요 결과

• 제안된 방법은 데이터베이스 최적화를 개념적 스키마 수준에서 수행할 수 있게 하여, 매핑 후 성능 튜닝의 필요성을 줄였다.
• 수학적 동치성은 형식적 전환 규칙을 통해 유지되어 의미 일치성이 보장된다.
• 사용자 선호도를 수학적으로 모델링하고 최적화 과정에서 존중함으로써 사용성 향상이 가능하다.
• 메타언어와 전환 규칙은 새로운 타입의 중복을 방지하고, 파생 타입이 의도치 않게 제거되지 않도록 보장한다.
• 이 프레임워크는 데이터 모델링을 초월해 처리 및 행동 관점까지도 확장 가능하다.
• 반자동화된 스키마 최적화를 위한 프로토타입 도구 개발 중이며, 제약 및 파생 규칙 전환을 위한 재작성 시스템 계획 중이다.