欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
JOSSO DDL SQL
来自开放百科 - 灰狐
				
								
				
				
																
				
				
								
CREATE TABLE JOSSO_ROLE (
      NAME                 VARCHAR2(16) NOT NULL,
      DESCRIPTION          VARCHAR2(64) NULL
);
ALTER TABLE JOSSO_ROLE
ADD ( PRIMARY KEY (NAME) ) ;
CREATE TABLE JOSSO_USER (
      LOGIN                VARCHAR2(16) NOT NULL,
      PASSWORD             VARCHAR2(20) NOT NULL,
      NAME                 VARCHAR2(64) NULL,
      DESCRIPTION          VARCHAR2(64) NULL
);
ALTER TABLE JOSSO_USER
ADD ( PRIMARY KEY (LOGIN) ) ;
CREATE TABLE JOSSO_USER_PROPERTY (
      LOGIN                VARCHAR2(16) NOT NULL,
      NAME                 VARCHAR2(255) NOT NULL,
      VALUE                VARCHAR2(255) NOT NULL
);
ALTER TABLE JOSSO_USER_PROPERTY
ADD ( PRIMARY KEY (LOGIN, NAME) ) ;
CREATE TABLE JOSSO_USER_ROLE (
      LOGIN                VARCHAR2(16) NOT NULL,
      NAME                 VARCHAR2(255) NOT NULL
);
ALTER TABLE JOSSO_USER_ROLE
ADD ( PRIMARY KEY (LOGIN, NAME) ) ;
ALTER TABLE JOSSO_USER_PROPERTY
      ADD  ( FOREIGN KEY (LOGIN)
                            REFERENCES JOSSO_USER ) ;
ALTER TABLE JOSSO_USER_ROLE
      ADD  ( FOREIGN KEY (NAME)
                            REFERENCES JOSSO_ROLE ) ;
ALTER TABLE JOSSO_USER_ROLE
      ADD  ( FOREIGN KEY (LOGIN)
                            REFERENCES JOSSO_USER ) ;
	分享您的观点