public.exercise_tasks

Description

Contains the specific assignment and the activity which the students complete. Assignment text has the same format as pages content.Table also contains both private and public specs. Public spec is shown to the student to display an exercise and private spec specifies how answers should be checked for correctness and is not revealed to the student..

Columns

Name	Type	Default	Nullable	Children	Parents	Comment
assignment	jsonb	‘[]’::jsonb	false			Exercise assignment (e.g. “In this exercise prove the statement P=NP.”) in an abstract form. Uses exactly the same format as pages.content.
copied_from	uuid		true		public.exercise_tasks	The original exercise_tasks record of a copy.
created_at	timestamp with time zone	now()	false			Timestamp when the record was created.
deleted_at	timestamp with time zone		true			Timestamp when the record was deleted. If null, the record is not deleted.
exercise_slide_id	uuid		false	public.exercise_task_submissions	public.exercise_slides	Slide where this tasks appears in.
exercise_type	varchar(255)		false			Identifier for the exercise service type used for this task. The same identifier needs to exist in exercise_services.slug for the exercise task to work.
id	uuid	uuid_generate_v4()	false	public.exercise_task_gradings public.exercise_task_submissions public.exercise_tasks public.user_exercise_task_states		A unique, stable identifier for the record.
model_solution_spec	jsonb		true			Defines what are the correct solutions for the exercise
order_number	integer		false			The order in which the exercise task should appear in a slide.
private_spec	jsonb		true			Defines an an exercise task fully: tells how the exercise is structured and how it should be checked for correctness. All other specs can be derived from this one. The system will never share this spec to students because it contains all correctness checking specifications, including the ones that are meant for server-only checks.
public_spec	jsonb		true			Defines how the initial exercise is specified so that a frontend can show an exercise in its initial state. Derived from private_spec.
updated_at	timestamp with time zone	now()	false			Timestamp when the record was last updated. The field is updated automatically by the set_timestamp trigger.

Constraints

Name	Type	Definition
exercise_items_pkey	PRIMARY KEY	PRIMARY KEY (id)
exercise_tasks_copied_from_fkey	FOREIGN KEY	FOREIGN KEY (copied_from) REFERENCES exercise_tasks(id)
exercise_tasks_exercise_slide_id_fkey	FOREIGN KEY	FOREIGN KEY (exercise_slide_id) REFERENCES exercise_slides(id)
exercise_tasks_order_number_uniqueness	UNIQUE	UNIQUE NULLS NOT DISTINCT (exercise_slide_id, order_number, deleted_at)

Indexes

Name	Definition
exercise_items_pkey	CREATE UNIQUE INDEX exercise_items_pkey ON public.exercise_tasks USING btree (id)
exercise_task_and_slide_ids	CREATE UNIQUE INDEX exercise_task_and_slide_ids ON public.exercise_tasks USING btree (id, exercise_slide_id)
exercise_tasks_order_number_uniqueness	CREATE UNIQUE INDEX exercise_tasks_order_number_uniqueness ON public.exercise_tasks USING btree (exercise_slide_id, order_number, deleted_at) NULLS NOT DISTINCT

Triggers

Name	Definition
set_timestamp	CREATE TRIGGER set_timestamp BEFORE UPDATE ON public.exercise_tasks FOR EACH ROW EXECUTE FUNCTION trigger_set_timestamp()

Relations

Generated by tbls