Links

Description

CREATE TYPE ... CREATE LINK and ALTER TYPE ... CREATE LINK define a new concrete link for a given object type.

There are three forms of CREATE LINK, as shown in the syntax synopsis above. The first form is the canonical definition form, the second form is a syntax shorthand for defining a computable link, and the third is a form to define an abstract link item. The abstract form allows creating the link in the specified module. Concrete link forms are always created in the same module as the containing object type.

Parameters

Most sub-commands and options of this command are identical to the SDL link declaration. The following subcommands are allowed in the CREATE LINK block:

SET default := expression

Specifies the default value for the link as an EdgeQL expression. Other than a slight syntactical difference this is the same as the corresponding SDL declaration.

SET readonly := {true | false}

Specifies whether the link is considered read-only. Other than a slight syntactical difference this is the same as the corresponding SDL declaration.

CREATE ANNOTATION annotation-name := value;

Add an annotation annotation-name set to value to the type.

See CREATE ANNOTATION for details.

CREATE PROPERTY property-name ...

Define a concrete property item for this link. See CREATE PROPERTY for details.

CREATE CONSTRAINT constraint-name ...

Define a concrete constraint for this link. See CREATE CONSTRAINT for details.

ON TARGET DELETE action

Valid values for action are: RESTRICT, DELETE SOURCE, ALLOW, and DEFERRED RESTRICT. The details of what ON TARGET DELETE options mean are described in this section.

CREATE INDEX ON index-expr

Define a new index using index-expr for this link. See CREATE INDEX for details.

Examples

Define a new link interests on the User object type:

ALTER TYPE User {
    CREATE MULTI LINK friends -> User
};

Define a new link special_group as a computable on the User object type, which contains all the friends from the same town:

ALTER TYPE User {
    CREATE LINK special_group := (
        SELECT __source__.friends
        FILTER .town = __source__.town
    )
};

Define a new abstract link orderable, and then a concrete link interests that extends it, inheriting the weight property:

CREATE ABSTRACT LINK orderable {
    CREATE PROPERTY weight -> std::int64
};

ALTER TYPE User {
    CREATE MULTI LINK interests EXTENDING orderable -> Interest
};

Description

CREATE TYPE ... ALTER LINK and ALTER TYPE ... ALTER LINK change the definition of a concrete link for a given object type.

ALTER ABSTRACT LINK changes the definition of an abstract link item. name must be a name of an existing abstract link, optionally qualified with a module name.

Parameters

The following subcommands are allowed in the ALTER LINK block:

RENAME TO newname

Change the name of the link item to newname. All concrete links inheriting from this links are also renamed.

EXTENDING ...

Alter the link parent list. The full syntax of this subcommand is:

EXTENDING name [, ...]
   [ FIRST | LAST | BEFORE parent | AFTER parent ]

This subcommand makes the link a child of the specified list of parent links. The requirements for the parent-child relationship are the same as when creating a link.

It is possible to specify the position in the parent list using the following optional keywords:

• FIRST – insert parent(s) at the beginning of the parent list,

• LAST – insert parent(s) at the end of the parent list,

• BEFORE <parent> – insert parent(s) before an existing parent,

• AFTER <parent> – insert parent(s) after an existing parent.

SET REQUIRED

Make the link required.

SET OPTIONAL

Make the link no longer required (i.e. make it optional).

RESET OPTIONALITY

Reset the optionality of the link to the default value (OPTIONAL), or, if the link is inherited, to the value inherited from links in supertypes.

SET SINGLE

Change the maximum cardinality of the link set to one. Only valid for concrete links.

SET MULTI

Change the maximum cardinality of the link set to greater than one. Only valid for concrete links;

RESET CARDINALITY

Reset the maximum cardinality of the link to the default value (SINGLE), or, if the link is inherited, to the value inherited from links in supertypes.

SET TYPE typename [USING (<conversion-expr)]

Change the type of the link to the specified typename. The optional USING clause specifies a conversion expression that computes the new link value from the old. The conversion expression must return a singleton set and is evaluated on each element of MULTI links. A USING clause must be provided if there is no implicit or assignment cast from old to new type.

RESET TYPE

Reset the type of the link to the type inherited from links of the same name in supertypes. It is an error to RESET TYPE on a link that is not inherited.

USING (computable-expr)

Change the expression of a computable link. Only valid for concrete links.

ALTER ANNOTATION annotation-name;

Alter link annotation annotation-name. See ALTER ANNOTATION for details.

DROP ANNOTATION annotation-name;

Remove link item’s annotation annotation-name. See DROP ANNOTATION for details.

ALTER PROPERTY property-name ...

Alter the definition of a property item for this link. See ALTER PROPERTY for details.

DROP PROPERTY property-name;

Remove a property item from this link. See DROP PROPERTY for details.

ALTER CONSTRAINT constraint-name ...

Alter the definition of a constraint for this link. See ALTER CONSTRAINT for details.

DROP CONSTRAINT constraint-name;

Remove a constraint from this link. See DROP CONSTRAINT for details.

DROP INDEX ON index-expr

Remove an index defined on index-expr from this link. See DROP INDEX for details.

RESET default

Remove the default value from this link, or reset it to the value inherited from a supertype, if the link is inherited.

RESET readonly

Set link writability to the default value (writable), or, if the link is inherited, to the value inherited from links in supertypes.

All the subcommands allowed in the CREATE LINK block are also valid subcommands for ALTER LINK block.

Examples

Set the title annotation of link friends of object type User to "Friends":

ALTER TYPE User {
    ALTER LINK interests CREATE ANNOTATION title := "Interests";
};

Rename the abstract link orderable to sorted:

ALTER ABSTRACT LINK orderable RENAME TO sorted;

Redefine the computable link special_group to be those who have some shared interests:

ALTER TYPE User {
    CREATE LINK special_group := (
        SELECT __source__.friends
        # at least one of the friend's interests
        # must match the user's
        FILTER .interests IN __source__.interests
    )
};

Description

DROP ABSTRACT LINK removes an existing link item from the database schema. All subordinate schema items defined on this link, such as link properties and constraints, are removed as well.

DROP LINK removes the specified link from its containing object type. All links that inherit from this link are also removed.

Examples

Remove link friends from object type User:

ALTER TYPE User DROP LINK friends;

Drop abstract link orderable:

DROP ABSTRACT LINK orderable;