본문 바로가기
반응형

IT 이론239

[오토마타] 귀납법을 이용한 증명(Proof by mathematical induction) Proof by mathematical induction For some n0≥1, Pn0 is true For any k≥n0, turth of Pk → truth of P(k+1). If 1& 2 are satisfied, then all P1, P2, ... are true. 귀납법에 의한 증명은 아래 3단계로 진행된다. [basis] P1이 사실임을 증명한다. (P를 구하는 식에 직접 1을 넣어서 계산 해 보인다.) [inductive assumption] P1, P2, ...,Pn는 사실이라고 가정한다. [inductive step] 1보다 큰 n을 하나 잡고 Pn은 사실인 경우 하나를 보인다. P1이 사실이고, Pn이 true일때, P(n+1)이 true이라면 모든 경우가 true이라는 가정이.. 2012. 11. 16.
[데이터베이스] SELECT Statement SELECT (ALL | DISTINCT) target_list (INTO host_var_list) FROM table_expression WHERE 조건 (GROUP BY 집단화 애트리뷰트 (HAVING 집단 조건)) (ORDER BY 애트리뷰트 목록) (LIMIT {count (OFFSET offset) | offset, count}) LIMIT과 OFFSET은 SQL 표준 키워드는 아니다. 하지만 Mysql, Oracle을 비롯한 대부분의 상용 DBMS에서 사용되고 있다. 아래는 각 절별 실행 우선순위 이다. SELECT 문의 실행 순서 SELECT 5 FROM 1 WHERE 2 GROUP BY 3 HAVING 4 ORDER BY 6 LIMIT 7 FROM에 있는 테이블선택 WHERE절에 있는 조.. 2012. 11. 12.
[데이터베이스] INSERT, DELETE, UPDATE Statement INSERT Statement 테이블에 있는 칼럼의 순서와 데이터형식에 맞는 값을 차례로 적어 주어야 한다. INSERT INTO EMPLOYEE VALUES ('','Raisonde','','25','3000','1000','3'); 또는 INSERT문에 있는 값에 대응하는 칼럼 이름을 명시적으로 지정 할 수 있다. 이렇게 할 경우 명시되지 않은 칼럼에는 NULL또는 DEFAULT 값을 가진다. DEFAULT값이 없고 NOT NULL인 경우 오류 발생. INSERT INTO EMPLOYEE(NAME, MANAGER, SALARY, BONUS, DNO) VALUES('Raisonde','25','3000','1000','3'); 서브쿼리 또한 사용 가능하다. INSERT INTO EMPLOYEE VALU.. 2012. 11. 11.
[데이터베이스] Table Statement and Constraint CREATE TABLE EMPLOYEE ( empno INTEGER NOT NULL, empname CHAR(10) UNIQUE, title CHAR(10) DEFAULT '대기사원', manager INTEGER, salary INTEGER CONSTRAINT limit_sal CHECK (salary bonus), CONSTRAINT check_sal CHECK (salary + bonus 2012. 11. 11.
[데이터베이스] User and Schema Management 사용자 등록 CREATE USER user_id IDENTIFIED BY password; 사용자 삭제 DROP USER user_id; 등록된 사용자의 password (암호) 변경 ALTER USER user_id IDENTIFIED BY new_password; Schema 생성 CREATE SCHEMA dbname AUTHORIZATION user_id; Schema 삭제 DROP SCHEMA dbname (CASCADE); 옵션 : CASCADE . 스키마 내의 모든 테이블들, 도메인들, 기타 요소들을 제거. RESTRICT. 아무 요소도 갖지 않는 스키마만을 제거. 테이블이 존재 할 경우 오류 현재 session의 schema 설정 SET SCHEMA dbname; 위는 일반적인 DBMS의 S.. 2012. 11. 11.
반응형

티스토리툴바