| 1 |
1
XQuery 질의를 입력으로 하여, 질의의 문법적인 오류를 분석하고, 오류가 없는 경우에 XQuery 파스 트리를 출력하는 XQuery 파서;
XML 스키마 정의들을 입력으로 하여, 문법적인 검사를 수행하고, 오류가 없는 스키마 정의에 대하여 접근 가능한 스키마 그래프를 출력하는 XML 스키마 파서; 및
상기 XQuery 파서로부터 입력받은 XQuery 파스 트리에 대한 정적 검사를 수행하며, 상기 정적 검사 수행에 있어서 상기 XML 스키마 파서로부터 입력받은 스키마 그래프를 이용하는 스키마 기반 질의 정적 검사 엔진을 포함하는 것을 특징으로 하는 XQuery 질의를 위한 스키마 기반 정적 검사 시스템
|
| 2 |
2
제1항에 있어서, 상기 스키마 기반 질의 정적 검사 엔진은,
XQuery 파스 트리를 순회하면서 검사를 수행하는 파스 트리 순회기;
상기 XQuery 파스 트리 내 임의 토큰이 검증 항목일 경우에 호출되는 검증 항목 판별기; 및
해당 검사 항목의 유형에 따라 호출되는 항목별 검증 모듈을 포함하되,
상기 항목별 검증 모듈은, XQuery 질의의 적정 검사를 수행하기 위해 필요한 스키마 인덱스와 주해 정보가 메모리 상에 적재되어 있는지를 검사하고, 검사 결과에 따라 이후 검증 동작을 상이하게 수행하는 것을 특징으로 하는 XQuery 질의를 위한 스키마 기반 정적 검사 시스템
|
| 3 |
3
제2항에 있어서, 상기 항목별 검증 모듈은,
상기 검사 결과 적재되어 있는 경우에, 이를 참조하여 검증을 수행한 후 검사 결과를 상기 검증 항목 판별기에 출력하는 것을 특징으로 하는 XQuery 질의를 위한 스키마 기반 정적 검사 시스템
|
| 4 |
4
제2항에 있어서, 상기 항목별 검증 모듈은,
상기 검사 결과 적재되어 있지 않은 경우에, 상기 XML 스키마 파서에 스키마 그래프의 입력을 요구하는 것을 특징으로 하는 XQuery 질의를 위한 스키마 기반 정적 검사 시스템
|
| 5 |
5
제4항에 있어서,
상기 XML 스키마 파서로부터 입력받은 스키마 그래프를 스키마 트리로 변환하는 스키마 트리 생성기; 및
상기 스키마 트리 생성기로부터 입력받은 스키마 트리를 이용하여 스키마 인덱스 및 주해 정보를 생성하여 메모리 상에 적재시키는 스키마 인덱스와 주해 생성기를 더 포함하는 것을 특징으로 하는 XQuery 질의를 위한 스키마 기반 정적 검사 시스템
|
| 6 |
6
제5항에 있어서, 상기 생성된 스키마 인덱스는,
경로 표현식에 따른 스키마 정의 상의 빠른 노드 검색을 위해 인덱스 값, 영역 종료 값, 경로 요약을 포함하는 것을 특징으로 하는 XQuery 질의를 위한 스키마 기반 정적 검사 시스템
|
| 7 |
7
제5항에 있어서, 상기 생성된 주해 정보는,
XQuery 질의 처리 결과로 얻어지는 데이터의 타입 정보를 추출하기 위하여, 상기 생성된 스키마 인덱스와 같이 부여되어 타입 이름, 기본 타입, 노드 유형 중 적어도 하나를 포함하는 것을 특징으로 하는 XQuery 질의를 위한 스키마 기반 정적 검사 시스템
|
| 8 |
8
제2항에 있어서, 상기 항목별 검증 모듈은,
XQuery 질의 내에 선언되고 참조되는 변수들에 대하여 선언 및 참조가 바르게 이루어졌는지를 검사하는 변수 검증 모듈;
스키마 기반 유효성 검증을 수행하는 구조 검증 모듈;
XQuery 질의 내에 참조되는 연산자와 함수들의 유효성을 판정하는 연산자와 함수 검증 모듈; 및
각 항목들의 타입이 바르게 이용되는지를 판별하는 데이터 타입 검증 모듈을 포함하는 것을 특징으로 하는 XQuery 질의를 위한 스키마 기반 정적 검사 시스템
|
| 9 |
9
XQuery 파스 트리를 입력받아, 각 XQuery 파스 트리 내의 노드들을 순회하면서 검증 항목을 추출하는 단계;
상기 추출된 검증 항목에 대한 스키마 참조가 필요한 경우에, 참조 스키마가 메모리에 적재되어 있는지를 판단하는 단계;
상기 판단 결과 적재되어 있지 않은 경우에, 스키마를 입력받아, 스키마 트리를 생성하면서, 스키마 인덱스와 주해 정보를 생성하는 단계; 및
상기 판단 결과 적재되어 있는 경우에, 질의 검증을 수행하는 단계를 포함하는 것을 특징으로 하는 XQuery 질의를 위한 스키마 기반 정적 검사 방법
|
| 10 |
10
제9항에 있어서,
상기 생성된 스키마 인덱스와 주해 정보를 이용하여, 항목별로 질의 검증의 성공 여부를 검사하는 단계;
상기 검사 결과 실패한 경우에, 검증 실패 표시 및 오류 항목 포인터를 출력하는 단계; 및
상기 검사 결과 성공한 경우에, XQuery 파스 트리 내 마지막 토큰인지를 확인하는 단계를 더 포함하는 것을 특징으로 하는 XQuery 질의를 위한 스키마 기반 정적 검사 방법
|
