공간 레이어에서 상접한 공간 객체의 무결성 지원을 위한 능동적인 공간연산 크리거의 실체

초록

공간 데이터베이스 시스템에서 데이터베이스의 일관성 유지를 위해 의미적 무결성을 지원해야 한다. 예를들어, 실세계의 구경계 레이어에서 공간 객체인 구는 주위의 구들과 항상 접해 있어야만 하는 상접(Meet) 한 성질과 두개이상이 다른 구가 동일한 이름을 가질 수 없는 성질을 가진다. 이 서질은 실세계에서 묵시적으로인지되는 개념이다. 따라서 공간객체의 갱신으로 인해 레이어에 대한 묵시적인 개념이 위배될 경우 무결성 유지가 필요하다. 본문에서는 이 레이어에 대한 공간 객체의 무결성을 유지하기 위한 능동적 공간 연산 트리거를 제안한다.