relational calculus 에는
(1) tuple relational calculus
(2) domain relational
calculus 가 있다.
관계 해석은 관계 대수와는 다르게 원하는 데이터를 어떻게 얻을 수 있는지는 설명 안하고 원하는 데이터만 설명하면 얻어온다.
(1) tuple relational calculus:
1. tuple variable: range variable 이라고도 불리움.
" 언제 어느 때라도, 어떤 지정된 relation 의 한 tuple 만을 그 값으로 취할 수 있는 변수이다"
(2) qualified attribute:
t.A ( 튜플 변수 t 가 나타내는 어떤 attribute 의 값을 표현하기 위한 경우)
(2) atom :
가장 기본적인 원자식
1. R(t): t tuple variable R: range relation of t
2. t.A theta u.B
t , u: tuple variable
A, B: qualified attribute of tuple variable t, u
theta: comparable operator
ex) >, < <=, >= , - , != ( partial attribute satisfied)
-
t.A theta c
A: qualified attribute
c: constant
result of this atom is true or false.(4) well formed formula
아래 규칙에 따라 결합된 식을 wff 라고 한다. -
모든 atom ㅑㄴ wff 이다.
-
f 가 wff 이면 (f) 와 ~f 도 wff 이다.
-
f, g is wff -> f and g, f or g are also wff.
-
f 가 wff 이고, if t is free variable in wff
(exist t)(F) and (For all t) (F) is also wff.definition of free vraible is not occured in (exist ~~) (for all !!).
-
1~4 의 규칙만을 반복적으로 적용해서 만들어진 식은 wff 이다.
