Merge "Add documentation comments to the SQL schema"

This commit is contained in:
jenkins-bot 2019-03-05 19:50:43 +00:00 committed by Gerrit Code Review
commit bad4a5d775

View file

@ -1,56 +1,112 @@
-- Database Schema for Echo notification system
-- An event is a thing that happened that caused one or more users to be notified.
-- For every notified user, there is a corresponding row in the echo_notification table.
CREATE TABLE /*_*/echo_event (
-- Unique auto-increment ID
event_id int unsigned not null primary key auto_increment,
-- Event type; one of the keys in $wgEchoNotifications
event_type varchar(64) binary not null,
-- Unused, always null
event_variant varchar(64) binary null,
event_agent_id int unsigned null, -- The user who triggered it, if any
event_agent_ip varchar(39) binary null, -- IP address who triggered it, if any
-- The agent (user who triggered the event), if any. If the agent is a logged-in user,
-- event_agent_id contains their user ID and event_agent_ip is null. If the agent is
-- an anonymous user , event_agent_ip contains their IP address and event_agent_id is null.
-- If the event doesn't have an agent, both fields are null.
event_agent_id int unsigned null,
event_agent_ip varchar(39) binary null,
-- Unused, should be removed (T136427)
event_page_namespace int unsigned null,
-- Unused, should be removed (T136427)
event_page_title varchar(255) binary null,
-- JSON blob with additional information about the event
event_extra BLOB NULL,
-- Page ID of the page the event happened on, if any (key to page_id)
event_page_id int unsigned null,
-- Whether the event pertains to a deleted page and should be hidden. Events are marked as
-- deleted when the related page is deleted, and unmarked as deleted when the related page
-- is undeleted
event_deleted tinyint unsigned not null default 0
) /*$wgDBTableOptions*/;
-- Index to get only "alert" types or only "message" types
CREATE INDEX /*i*/echo_event_type ON /*_*/echo_event (event_type);
-- Index to find events for a specific page
CREATE INDEX /*i*/echo_event_page_id ON /*_*/echo_event (event_page_id);
-- A notification is a user being notified about a certain event. Multiple users can be notified
-- about the same event.
CREATE TABLE /*_*/echo_notification (
-- Key to event_id
notification_event int unsigned not null,
-- Key to user_id
notification_user int unsigned not null,
-- Timestamp when the notification was created
notification_timestamp binary(14) not null,
-- Timestamp when the user read the notification, or null if unread
notification_read_timestamp binary(14) null,
-- No longer used, should be removed (T143763)
notification_bundle_base boolean not null default 1,
notification_bundle_hash varchar(32) binary not null, -- The hash for bundling notifications regardless of timestamp
notification_bundle_display_hash varchar(32) binary not null, -- The hash for displaying bundle notifications with regard to timestamp, this is is a subset of notification_bundle_hash
-- Hash for bundling together similar notifications. Notifications that can be bundled together
-- will have the same hash
notification_bundle_hash varchar(32) binary not null,
-- No longer used, should be removed (T143763)
notification_bundle_display_hash varchar(32) binary not null,
PRIMARY KEY (notification_user, notification_event)
) /*$wgDBTableOptions*/;
-- Index to get a user's notifications in chronological order
CREATE INDEX /*i*/echo_user_timestamp ON /*_*/echo_notification (notification_user,notification_timestamp);
-- No longer used, should be removed
CREATE INDEX /*i*/echo_notification_user_base_read_timestamp ON /*_*/echo_notification (notification_user, notification_bundle_base, notification_read_timestamp);
-- No longer used, should be removed
CREATE INDEX /*i*/echo_notification_user_base_timestamp ON /*_*/echo_notification (notification_user, notification_bundle_base, notification_timestamp, notification_event);
-- Used by NotificationMapper::fetchNewestByUserBundleHash()
CREATE INDEX /*i*/echo_notification_user_hash_timestamp ON /*_*/echo_notification (notification_user, notification_bundle_hash, notification_timestamp);
-- No longer used, should be removed
CREATE INDEX /*i*/echo_notification_user_hash_base_timestamp ON /*_*/echo_notification (notification_user, notification_bundle_display_hash, notification_bundle_base, notification_timestamp);
-- Used to get all notifications for a given event
CREATE INDEX /*i*/echo_notification_event ON /*_*/echo_notification (notification_event);
-- Used to get read/unread notifications for a user
CREATE INDEX /*i*/echo_notification_user_read_timestamp ON /*_*/echo_notification (notification_user, notification_read_timestamp);
-- Table gathering events for batch emails
-- If a user asks to receive batch emails, events are gathered in this table until it's time to
-- send an email. Once a user has been emailed about an event, it's deleted from this table.
CREATE TABLE /*_*/echo_email_batch (
-- Unique auto-increment ID
eeb_id int unsigned not null primary key auto_increment,
-- Key to user_id
eeb_user_id int unsigned not null,
eeb_event_priority tinyint unsigned not null default 10, -- event priority
-- Priority of the event as defined in $wgEchoNotifications; events with lower numbers are listed first
eeb_event_priority tinyint unsigned not null default 10,
-- Key to event_id
eeb_event_id int unsigned not null,
-- Same value as notification_bundle_hash, or a unique value if notification_bundle_hash is empty
eeb_event_hash varchar(32) binary not null
) /*$wgDBTableOptions*/;
-- Used to delete events once they have been processed, and to identify users with events to process
CREATE UNIQUE INDEX /*i*/echo_email_batch_user_event ON /*_*/echo_email_batch (eeb_user_id,eeb_event_id);
-- Used to get a list of events for a user, grouping events with the same hash and ordering by priority
CREATE INDEX /*i*/echo_email_batch_user_hash_priority ON /*_*/echo_email_batch (eeb_user_id, eeb_event_hash, eeb_event_priority);
-- A "target page" of an event is a page that, when the user visits it, causes the event to be
-- marked as read. Typically this is the same as the event's event_page_id, but some events
-- have multiple target pages, and many events don't set a target page at all. An event's
-- target pages are derived from the 'target-page' key in event_extra.
-- This table is also used for moderating events when the related page is deleted,
-- but this should use event_page_id instead (T217452).
CREATE TABLE /*_*/echo_target_page (
-- Unique auto-increment ID
etp_id int unsigned not null primary key auto_increment,
-- Key to page_id
etp_page int unsigned not null default 0,
-- Key to event_id
etp_event int unsigned not null default 0
) /*$wgDBTableOptions*/;
-- Not currently used
CREATE INDEX /*i*/echo_target_page_event ON /*_*/echo_target_page (etp_event);
-- Used to get the events associated with a given page
CREATE INDEX /*i*/echo_target_page_page_event ON /*_*/echo_target_page (etp_page, etp_event);