| 摘要 |
본 발명은 로컬 갱신 문장들에 대한 블록들을 입력받아 글로벌 갱신 문장으로 조합하며 로컬 갱신 문장들 간의 간섭이 발생하지 않도록 검증하는 것인 갱신 문장을 조합 및 검증하는 장치에 관한 것이다. 하나 이상의 프로세서; 메모리; 및 상기 메모리에 저장되며 상기 하나 이상의 프로세서에 의해서 실행되도록 구성되는 하나 이상의 프로그램을 포함하고, 상기 하나 이상의 프로그램은, 복잡한 뷰(complex view)를 루트, 제1 베이스 뷰 내지 제k 베이스 뷰(단 k는 2 이상의 자연수) 및 제1 베이스 테이블 내지 제m 베이스 테이블(단 m은 1이상의 자연수)을 포함하도록 치환한 DAG(directed acyclic graph) 구조를 입력받는 제1 인스트럭션; 상위 갱신 문장(단 상기 상위 갱신 문장의 초기값은 상기 루트에 대한 갱신 문장임)에 대한 코드 블록을 입력받는 제2 인스트럭션; 상기 코드 블록에 포함된 적어도 하나의 하위 갱신 문장을 추출하는 제3 인스트럭션; 상기 적어도 하나의 하위 갱신 문장 모두가 상기 제1 베이스 테이블 내지 상기 제m 베이스 테이블 중 적어도 하나만을 베이스로 하는 지 확인하는 제4 인스트럭션; 및 상기 제4 인스트럭션을 수행한 후에, 상기 적어도 하나의 하위 갱신 문장 모두가 상기 제1 베이스 테이블 내지 상기 제m 베이스 테이블 중 적어도 하나만을 베이스로 하는 것이 아니라고 판단되면, 상기 적어도 하나의 하위 갱신 문장에 대한 적어도 하나의 코드 블록을 입력받고, 상기 상위 갱신 문장을 상기 적어도 하나의 하위 갱신 문장으로 갱신하고 상기 코드 블록을 상기 적어도 하나의 코드 블록으로 갱신한 후, 상기 제2 인스트럭션 내지 상기 제4 인스트럭션을 수행하는 제5 인스트럭션을 포함하는 갱신 문장을 조합 및 검증하는 장치가 제공된다. |
