분산 XML 설계
안내: 본 포스트의 한글 요약 및 분석 리포트는 AI 기술을 통해 자동 생성되었습니다. 정보의 정확성을 위해 하단의 [원본 논문 뷰어] 또는 ArXiv 원문을 반드시 참조하시기 바랍니다.
초록
본 논문은 여러 서버에 걸쳐 존재하는 XML 문서의 구조적 검증을 위한 형식적 모델을 제시한다. 커널 문서와 외부 리소스가 연결되는 “도킹 포인트”를 기반으로, 전역 스키마를 로컬 스키마 집합으로 전파하는 Top‑Down 설계와, 로컬 스키마들로부터 전역 스키마를 유도하는 Bottom‑Up 설계를 정의하고, 각각의 타이핑 가능성, 완전성, 최적성 등을 복합적인 복잡도 분석을 통해 규명한다.
상세 분석
논문은 먼저 분산 XML 문서를 “커널‑문서 T
댓글 및 학술 토론
Loading comments...
의견 남기기