SCQL

Use SCM

SCQL. Role Concept

Use SCM

Role Concept has a Role Name ®

Base Role Concept is a Role Concept º

<Each role concept is calculated or base one.>

Base Role Concept is based on Concept ®

Base Role Concept has a Role Name ®

[(Concept–Base Role Concept–Role Name): (Concept, Role Name) º Base Role Concept] <Base role concepts having the same (Concept, Role Name) are to be the same.>

Base Role Concept have a Full Name ®

<It has full name of its concept plus role name in round brackets.>

Calculated Role Concept is a Simple Role Concept º

<Role concept can be base or calculated.> {Base concepts can be calculated with a transformation function too, but they have concept semantics. Calculated role concept has no an apparent concept semantics.}

{Complex role concept cannot be calculated.}

Calculated Role Concept has a Role Name º

{Calculated role concepts having the same role name are considered as the same.}

{Role names of calculated role concept is defined explicitly.}

SCQL. Selection Statement. Transformation Function

Use Function

Transformation Function is a Function º

Transformation Function calculates Simple Role Concept ®

{What role concept to calculate is defined for the transformation function explicitly.}

Simple Role Concept is a Function Variable º

{This connection is necessary for role concept predicate definition as well.}

Transformation Function is based on Simple Role Concepts –

<All function variables of any transformation function are simple role concepts, and vice versa.> {Complex role concepts cannot be used since we suppose that transformation function variables are scalar.}

Transformation Aggregate Function is a Transformation Function º

<It’s a function of aggregate type.>

Transformation Arithmetic Function is a Transformation Function º

<It’s an function of arithmetic type.>

Transformation Term Function is a Transformation Function º

<It’s a term function.>

Transformation Constant Function is a Transformation Function º

<It’s a constant function.>

SCQL. Selection Statement. Role Concept Predicate

Use Predicate

Role Concept Predicate is a Predicate º

Role Concept Predicate is based on Simple Role Concepts –

<All function variables of any role concept predicate are simple role concepts, and vice versa.> {See SCQL. Transformation Function: “Simple Role Concept is a Function Variable”.}

SCQL. Selection Statement

Selection Statement is a Transactional Statement º

Selection Statement has a root Selection Operation ®

Selection Statement has Role Concept Orders ¬

<Root selection operation is to be based on all of role concepts of the orders.>

Role Concept Order is defined for a Role Concept ®

Role Concept Order has an Order Type ®

[Order Type = {“Ascending”, “Descending”}]

Role Concept Order has a Position ®

SCQL. Selection Statement. Selection Operation

Selection Operation is based on Role Concept Set ®

<It can be either connection selection, or role changing, or transformation, or composition, or union, or minus, or logical selection, not several of them.>

Nested Selection Operation is used for calculation of a Calculated Selection Operation ®

Calculated Selection Operation is a Selection Operation º

Nested Selection Operation is a Selection Operation º

Nested Selection Operation has a Position ®

Role Concept Set is a set of Role Concepts Ü

SCQL. Selection Statement. Connection Selection

Connection Selection is a Selection Operation º

<Connection selection is not to have nested operations.>

<For each selection operation role concept there should be one concept of the connection and vice versa.> {By default result role concept has a role name “1”. But a user can assign it explicitly.}

{The result is calculated as the state of the connection with extending of concepts to role concepts.}

Connection Selection is based on a SCM. Connection ®

<All used connections should exist in the model.>

SCQL. Selection Statement. Transformation

Use SCQL. Selection Statement. Transformation Function

Transformation is a Selection Operation º

<Transformation is to have one nested operation.>

Transformation has Transformation functions ¬

<Transformation can be based only on: a) role concepts of the nested operation being grouping, if grouping role concepts exist; b) role concepts of the nested operation, if grouping role concepts do not exist; c) calculated simple role concepts of the transformation functions, in any case.> {The result role concepts are defined explicitly.}

<Each transformation function is to be present by its calculated simple role concept in the transformation.>

<Each transformation function is to be based on role concepts of the nested operation.>

<If grouping role concepts exist, then non-aggregate functions are to be based on grouping role concepts, and aggregate functions are to be based on not grouping role concepts of the transformation only.>

{The result is calculated as grouping of nested operation result by grouping role concepts. For each group aggregate and non-aggregate functions are calculated. Other result role concepts stay the same.}

Grouping Role Concept is a Role Concept º

Transformation has Grouping Role Concepts –

<Transformation has grouping role concepts if there is at least one aggregate transformation function in it. Grouping role concepts are a) role concepts of the transformation not being calculated by any transformation function (they are copied from the nested operation as they are); b) role concepts of the nested operation being used as variables in a transformation functions not being aggregate.>

SCQL. Selection Statement. Composition

Composition is a Selection Operation º

<Composition is to have at least two nested operations.>

<Role concepts of the selection operation are simple union of role concepts of all nested operations.>

<Composition is to have at least one nested operation that is not outer.>

<Nested operations of a composition are to form connected graph.> {Cycles are possible.}

<Two different outer operations nested to one composition cannot have common role concepts besides role concepts being common with non-outer nested operations.> {Each nested outer operation of one composition should have at least one role concept that participates in non-outer operations. It’s consequence of the previous two constrains.}

{The result is calculated as superposition all non-outer operations extended with the content of each outer operation.}

<Logical selections nested to a composition are to be based only on simple role concepts of other selection operations nested to the composition and not being logical selections.>

Outer Selection Operation is a Nested Selection Operation º

<All outer selection operations are to be nested to compositions only.>

<Outer selection operation cannot be a logical selection.> {Since quantity of its rows can be infinite.}

SCQL. Selection Statement. Union

Union is a Selection Operation º

<Union is to have two nested operations.>

<Role concepts of a union are simple union of role concepts of all nested operations.>

<Nested operations of a union are to be intersected by concepts.>

{The result is formed as a set of all possible chains of nested operation instances. Chains are formed according to all common role concepts value coincidence between instances.}

SCQL. Selection Statement. Minus

Minus is a Selection Operation º

<Minus is to have two nested operations.>

<Nested operations of a minus are to be intersected by concepts.>

<Minus is based on role concepts of first nested operation exactly.>

{The result is those first nested operation instances which are not chained with instances of second nested operation. Two operation instances are chained if they have the same values for all common role concepts.}

SCQL. Selection Statement. Logical Selection

Logical Selection is a Selection Operation º

<Logical selection is not to have nested operations.>

<Logical selection is based on role concepts that are base for role concept predicate, and vice versa.>

{The result consists of all instances that comply with the predicate.}

<Logical selection is to be nested to a composition.>

Logical Selection is defined by a Role Concept Predicate ®

SCQL. Selection Statement. Selection Operation. Tree Node

Use Tree

Selection Operation is a Tree Node º

Calculated Selection Operation is a Parent Node º

Nested Selection Operation is a Child Node º

SCQL. Insertion Statement

Insertion Statement is a Transactional Statement º

SCQL. Deletion Statement

Deletion Statement is a Transactional Statement º

SCQL. SCQL Result

SCQL Result is of Selection Statement ®

SCQL result can have Rows ¬

Row consists of Values for each Column Role Concept

<A column role concept can have only one value within a row.>

<Column role concepts of a row are base for the statement.>