Index

public.exercise_services

Description

Implements an exercise type. Tasks and user interfaces unique to the exercise type are delegated to these services.

Columns

Name Type Default Nullable Children Parents Comment
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.
id uuid uuid_generate_v4() false public.exercise_service_info A unique, stable identifier for the record.
internal_url varchar(255) true A url to the service info endpoint that is accessible only from inside the cluster for enabling communication with the service without leaving the cluster. If not set, public_url will be used instead.
max_reprocessing_submissions_at_once integer false When reprocessing submissions limit the number of concurrent posted submissions to this number. Note that this only affects reprocessing.
name varchar(255) false Human readable name of the exercise service e.g. “Test My Code” or “Quizzes”.
public_url varchar(255) false A url to the service info endpoint that is accessible from the internet for enabling communication with the services outside the cluster. The base url of the service is derived from this and given to browser frontends so that they can access the iframes of this exercise service.
slug varchar(255) false Identifier for the exercise_service e.g. “test-my-code” or “example-exercise”. The same string must be used in exercise_tasks.exercise_type.
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_services_created_at_not_null n NOT NULL created_at
exercise_services_id_not_null n NOT NULL id
exercise_services_max_reprocessing_submissions_at_once_not_null n NOT NULL max_reprocessing_submissions_at_once
exercise_services_name_not_null n NOT NULL name
exercise_services_pkey PRIMARY KEY PRIMARY KEY (id)
exercise_services_public_url_not_null n NOT NULL public_url
exercise_services_slug_not_null n NOT NULL slug
exercise_services_unique_slug UNIQUE UNIQUE NULLS NOT DISTINCT (slug, deleted_at)
exercise_services_updated_at_not_null n NOT NULL updated_at

Indexes

Name Definition
exercise_services_pkey CREATE UNIQUE INDEX exercise_services_pkey ON public.exercise_services USING btree (id)
exercise_services_unique_slug CREATE UNIQUE INDEX exercise_services_unique_slug ON public.exercise_services USING btree (slug, deleted_at) NULLS NOT DISTINCT

Triggers

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

Relations

er

Generated by tbls