테이블이란 레코드로 이루어진 집합(SET)이다. 테이블에는 집합의 조건에 부합하는 레코드들만 저장될 수 있다. 집합의 표현법에는 여러가지가 있다. 원소나열법, 벤다이어그램 그리고 조건제시법. Oracle DBMS나 MYSQL DBMS는 원소나열법처럼 테이블의 레코드가 쭉 나열해서 보여준다. 관계질의어를 통해 테이블을 표현할 수도 있다. 관계질의어는 관계대수와 관계해석이 있다. 관계대수는 이전 포스팅에서 다루었다. 관계해석 (Relational Calculus) 관계해석은 조건제시법을 사용하여 테이블을 표현한다. 여기서 명제와 조건의 개념을 구분해야 한다. 명제는 참과 거짓이 구분되는 문장이다. 그리고 조건은 항상 참인 문장이다. 그러므로 명제가 참이 되면 조건이 된다. 관계해석은 명제를 참으로 만드는 레..