eTutor XQuery und Datalog - Data & Knowledge Engineering
eTutor XQuery und Datalog - Data & Knowledge Engineering
eTutor XQuery und Datalog - Data & Knowledge Engineering
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Anhang 73<br />
Anhang<br />
Anlegen der SQL-Tabellen für das <strong><strong>Data</strong>log</strong>-Modul<br />
CREATE TABLE etutor_datalog.error_categories (<br />
name VARCHAR2(25) NOT NULL,<br />
id NUMBER NOT NULL,<br />
CONSTRAINT error_cat_id PRIMARY KEY(id));<br />
CREATE TABLE etutor_datalog.error_grading_group (<br />
id NUMBER NOT NULL,<br />
CONSTRAINT group_grad_id PRIMARY KEY(id));<br />
CREATE TABLE etutor_datalog.error_gradings (<br />
grading_group NUMBER NOT NULL,<br />
grading_level NUMBER NOT NULL,<br />
grading_category NUMBER NOT NULL,<br />
minus_points NUMBER(4, 1) NOT NULL,<br />
CONSTRAINT grading_id FOREIGN KEY(grading_group)<br />
REFERENCES etutor_datalog.error_grading_group(id)<br />
ON DELETE CASCADE),<br />
CONSTRAINT grading_cat_id FOREIGN KEY(grading_category)<br />
REFERENCES etutor_datalog.error_categories(id),<br />
CONSTRAINT grading_grad_unique UNIQUE(grading_group,<br />
grading_category));<br />
CREATE TABLE etutor_datalog.facts (<br />
facts VARCHAR2(1500) NOT NULL,<br />
id NUMBER NOT NULL,<br />
name VARCHAR2(20) NOT NULL,<br />
CONSTRAINT fact_id PRIMARY KEY(id));<br />
CREATE TABLE etutor_datalog.predicates (<br />
name VARCHAR2(35) NOT NULL,<br />
exercise NUMBER(10) NOT NULL,<br />
CONSTRAINT predicates_fk_exercise FOREIGN KEY(exercise)<br />
REFERENCES etutor_datalog.exercise(id)<br />
ON DELETE CASCADE);<br />
CREATE TABLE etutor_datalog.unchecked_terms (<br />
predicate VARCHAR2(35) NOT NULL,<br />
term VARCHAR2(35 byte) NOT NULL,<br />
position NUMBER(10) NOT NULL,<br />
exercise NUMBER(10) NOT NULL,<br />
CONSTRAINT unchecked_exercise_id FOREIGN KEY(exercise)<br />
REFERENCES etutor_datalog.exercise(id));