• 융합정보논문지
• /
• 제9권5호
• /
• pp.7-13
• /
• 2019

클라우드 환경이나 빅데이터 환경에서의 역할기반 또는 속성기반의 접근제어에는 계층적 모델을 표현하는 적당한 수학적 구조가 필요하다. 본 논문에서는 역할기반 또는 속성기반의 접근제어의 계층적 모델을 구현할 수 있는 격자함의 대수에서 멀티플라이어와 단순 멀티플라이어의 개념을 정의하고, 모든 멀티플라이어는 단순 멀티플라이어임을 증명한다. 또한 격자함의대수 L의 멀티플라이어와 준동형사상의 관계를 조사하고, 각각의 $u{\in}L$에 대하여 격자 [0, u]와 격자 $[u^{\prime},1]$이 동치임과 $u{\vee}u^{\prime}=1$인 $u{\in}L$에 대하여 L과 $[u,1]{\times}[u^{\prime},1]$이 격자함의대수로써 동치임을 보인다.

• 한국농공학회지
• /
• 제44권1호
• /
• pp.14-19
• /
• 2002

• 한국농공학회지
• /
• 제56권3호
• /
• pp.10-16
• /
• 2014

• 한국농공학회:학술대회논문집
• /
• 한국농공학회 1999년도 학술발표회 논문집
• /
• pp.169-178
• /
• 1999

• 한국해안해양공학회:학술대회논문집
• /
• 한국해안해양공학회 2004년도 학술발표논문집 Proceedings of Coastal and Ocean Engineering in Korea
• /
• pp.7-12
• /
• 2004

• 한국농공학회:학술대회논문집
• /
• 한국농공학회 2004년도 학술발표논문집
• /
• pp.81-81
• /
• 2004

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.99-101
• /
• 1998

대용량 공간 데이터를 포함하는 공간 데이터베이스에서 검색성능의 향상을 위해 공간 질의어가 최적화가 중요한 과제이다. 본 논문에서는 공간 데이터베이스에서 속성/공간 조건이 혼합된 질의에 적합한 질의 최적화 기법을 제시한다. 제안된 기법은 기존의 변환 규칙을 이용해서 대수 트리를 변환해 나가는 방법과는 달리 혼합된 질의어에 대한 질의 그래프로부터 동적 프로그래밍 기법으로 탐색 알고리즘을 실행함으로써 탐색 공간을 줄일 수 있고, 더욱 효율적으로 최소 비용의 실행 전략들 수립할 수 있다.

• 논리연구
• /
• 제18권3호
• /
• pp.437-456
• /
• 2015

이 글에서 우리는 연관 논리 R의 두 버전을 위한 루트리-마이어 의미론을 다룬다. 이를 위하여 먼저 R의 두 버전 $R^t$와 $R^T$를 그리고 그것들에 상응하는 대수적 의미론을 소개한다. 다음으로 이 체계들을 위한 루트리-마미어 의미론을 제공한다.

• 한국관개배수논문집
• /
• 제6권1호
• /
• pp.39-47
• /
• 1999

One of the important features of a beach face is the dynamic response to the ever-changing waves and tides imposed from the body of water. Furthermore, human activities at or near the beach can enforce the characteristic changes on tidal motions and wave

• 정보처리학회논문지D
• /
• 제11D권1호
• /
• pp.39-50
• /
• 2004

지리정보의 상호 운용성을 제공하기 위해 제안된 GML은 무선 환경에서의 응용을 위해 다양한 동적 객체 스키마를 명세하고 있다. 이러한 GML 동적 객체 스키마는 시간의 변화에 따라 그 위치와 모양이 연속적으로 변화하는 이동객체의 표현을 지원하여, 이동객체의 위치 정보를 기반으로 다양한 응용 서비스를 제공하는 위치기반서비스에서 GML 활용도가 증대되고 있다. 특히, GML 질의어는 지리정보의 통합, 공간 연산자의 지원 등을 중심으로 많은 연구가 수행되었다. 그러나, 기존의 GML 질의어는 이동객체에 대한 질의를 고려하지 않고 있다. 따라서 이 논문에서는 GML 문서에 대한 이동객체 질의를 지원하기 위해 표준 XML 질의어인 XQuery를 확장한 이동객체 질의어를 제안한다. 또한, 제안질의를 위한 데이터 모델 및 대수 연산 그리고 다양한 이동객체 연산자를 설계하고, 제안 질의어를 돌풍 관제 시스템에 적용하여 제안 질의어가 다양한 위치기반서비스에 효과적으로 사용될 수 있음을 보인다.