欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
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 ) ;
分享您的观点