• Asia pacific journal of information systems
• /
• 제12권2호
• /
• pp.99-118
• /
• 2002

In this paper, we propose a visual relational database query language, VRQL, by modifying and extending the recently proposed $VOQL^*$. Like $VOQL^*$, VRQL, based on ven Diagram and graph, naturally reflects the structure of schemas in queries and has recursive formal semantics. However, VRQL has relationally complete expressiveness, while $VOQL^*$ is only a conjunctive query language. In the logical definition part of VRQL, which is the relational version of $VOQL^*$, most features of $VOQL^*$ are retained, and the semantics of queries are based on the tuple relational calculus. In the procedural definition part of VRQL, by introducing the concept of VRQL view and set operations, the expressiveness of VRQL is increased to the level equivalent to that of the relational algebra. Due to the introduction of VRQL views, existing queries or temporary queries used in the process of creating queries can be represented with views, so that complex queries may be represented more conveniently. Set operations, used with VRQL views, enable us to represent various queries, beyond the expressiveness of conjunctive query languages.

• 호남수학학술지
• /
• 제31권1호
• /
• pp.125-136
• /
• 2009

After the introduction of fuzzy sets by Zadeh, there have been a number of generaizations of this fundamental concept. The notion of bipolar-valued fuzzy sets introduced by Lee is one among them. In this paper, we apply the concept of a bipolar-valued fuzzy set to quasi-associative ideals in BCI-algebras. The notion of a bipolar fuzzy quasi-associative ideal of a BCI-algebra is introduced, and some related properties are investigated. Characterizations of a bipolar fuzzy quasi-associative ideal are given. Extension property for a bipolar fuzzy QA-ideal is established.

• 대한수학회보
• /
• 제54권4호
• /
• pp.1373-1386
• /
• 2017

In this paper, we introduce and explore suggested notions of 'above', 'below' and 'between' in general groupoids, Bin(X), as well as in more detail in several well-known classes of groupoids, including groups, semigroups, selective groupoids (digraphs), d/BCK-algebras, linear groupoids over fields and special cases, in order to illustrate the usefulness of these ideas. Additionally, for groupoid-classes (e.g., BCK-algebras) where these notions have already been accepted in a standard form, we look at connections between the several definitions which result from our introduction of these ideas as presented in this paper.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제10권6호
• /
• pp.2835-2850
• /
• 2016

RSA is a public key cryptosystem that is currently the most popularly used in information security. Development of RSA variants has attracted many researchers since its introduction in 1978 by Ron Rivest, Adi Shamir, and Leonard Adleman. In this paper, we propose an algebraic structure for RSA and show that the proposed structure covers all known RSA variants. The usefulness of the proposed structure is then proved by showing that, following the structure we can construct a RSA variant based on the Bergman ring. We compare the original RSA and its variants from the point of view of factoring the modulus to determine why the original RSA is widely used than its variants.

• 한국학교수학회논문집
• /
• 제22권1호
• /
• pp.81-94
• /
• 2019

본 연구에서는 수학교수학습에서 CAS를 활용이 갖는 의미와 CAS의 도입으로 야기된 수학 교수 학습 상의 변화를 살펴보고, 이에 따라 변화하게 되는 평가의 방향을 논하였다. 특히, CAS를 도입했을 때 평가 문항의 몇 가지 분류에 대해 고찰하고 대안적 평가 방향을 제시한 후 그것이 갖는 의미를 논하였다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제50권2호
• /
• pp.135-148
• /
• 2011

We can say that the history of mathematics is the history on the development of the number system. The number starts from Natural number and is constructed to Integer number and Rational number. The Rational number is not the complete number analytically so that Real number is completed by the idea of the nested interval method. Real number is completed analytically, however, is not by algebra, so the algebraically completed type of the rational number, through the way that similar to the process of completing real number, is Complex number. The purpose of this study is to show the most appropriate way for the development of the human being thinking about the teaching and leaning of Complex number. To do this, We have to consider the proof of the existence of Complex number, the background of the introduction of Complex number and the background knowledge that the teachers to teach Complex number should have. Also, this study analyzes the knowledge to be taught of Complex number based on the anthropological theory of didactics and finally presents the teaching method of Complex number based on this theory.

• 대한수학교육학회지:수학교육학연구
• /
• 제15권2호
• /
• pp.215-232
• /
• 2005

컴퓨터 대수 체계(CAS) 계산기는 점차 학교와 대학에서 보편화되어가고 있다 이 계산기는 교사와 학생들에게 꽤 정교한 수학적 기능을 제공하지만, 현재로서는 어떻게 잘 활용될 수 있는지에 대해서 명확하지 않다. 특히 학생들의 학습과 문제 해결의 통합은 문제로 남아있다. 본 논문에서 우리는 TI-89 CAS 계산기를 대학에 입학하려는 학생들에게 도입하는 연구에서 이러한 문제를 제기하고 학생들이 그들의 학습에서 CAS 계산기를 조작하면서 형성하는 협력 관계의 여러 측면을 기술하였다.

• 대한수학교육학회지:학교수학
• /
• 제5권1호
• /
• pp.59-76
• /
• 2003

학교수학에서 학생들이 수학을 학습하고 문제해결을 하는 데에는 기호가 중요한 역할을 한다. 본 연구는 기호학의 분야인 구문론, 의미론, 화용론의 관점에서 수학 7-가 문자와 식 영역의 교과서 내용을 분석하고, 교수학적으로 대수 기호가 도입되고 전개하는 과정을 살펴보았다. 또한 기호학 관점에서 교과서의 대수 기호를 분류하고 문제 구성 분포에 대해서도 조사하였다. 그 결과 교과서의 대수 개념 설명과 문제들은 주로 구문론과 의미론의 관점이 많았으며, 화용론적 관점의 언급은 거의 없었다. 마지막으로, 대수 기호에 의한 학습을 통해 학생들의 문제해결을 예측하기 위하여 회귀 분석을 실시한 결과, 구문론과 화용론의 점수가 대수적 문제해결 점수의 예측 변수였다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제36권1호
• /
• pp.139-170
• /
• 2022

수준별 수학교육과 관련하여 러시아는 우리나라보다 오랜 연구와 실천의 경험을 가지고 있다. 현재 러시아에서 사용 중인 10-11학년 수학과 교육과정은 수준별 교육과정으로 기본수준과 심화수준으로 구성되어 있으며, 기본수준과 심화수준은 다루는 최소필수내용, 학생들에게 요구되는 수준 등에서 차이를 보인다. 그리고 10-11학년의 수학교과서도 수준별 교과서이다. 본 연구에서는 러시아의 10학년 '대수와 해석의 기초'의 교과서들 중에서 같은 저자 그룹에 의해 집필된 기본수준 교과서, 심화수준 교과서를 분석 대상으로 삼았다. 심화수준 교과서에만 있는 '실수', '복소수' 단원의 내용을 조사하여 심화의 성격으로 추가된 주요 학습 내용과 교과서 기술의 특징을 분석하였다. 그리고 기본수준 교과서와 심화수준 교과서에 모두 포함된 단원인 '함수', '삼각함수', '삼각방정식', '삼각함수 식들의 변환', '도함수'에 대해서는 기본수준과 심화수준 교과서의 주요 학습 내용을 비교, 분석하였고, 두 수준의 교과서에 제시된 정의와 정리의 서술상 특징도 비교, 분석하였다.