Muldis::D::Core::Routines_Catalog - Muldis D data definition routines
This document is Muldis::D::Core::Routines_Catalog version 0.2.0.
This document is part of the Muldis D language specification, whose root document is Muldis::D; you should read that root document before you read this one, which provides subservient details. Moreover, you should read the Muldis::D::Core document before this current document, as that forms its own tree beneath a root document branch.
This document contains one or more sections that were moved here from Muldis::D::Core so that that other document would not be too large.
These core routines are more special-purpose in nature and are intended for use in working with the system catalog.
function sys.std.Core.Cat.Order_reverse result Cat.Order params { topic(Cat.Order) }This function results in the reverse value of its argument; a Cat.Order:increase or Cat.Order:decrease argument results in the other one of the two; an Cat.Order:same argument results in itself.
function sys.std.Core.Cat.Order_reduction result Cat.Order params { topic(array_of.Cat.Order) }This function results in the lowest-indexed of its N input element values that isn't equal to Cat.Order:same,
if there is such an input value,
and otherwise it results in Cat.Order:same.
It is a reduction operator that recursively takes each consecutive pair of input values,
for each pair picking the lower-indexed one if that isn't equal to Cat.Order:same and otherwise picking the higher-indexed one (a process which is associative),
until just one is left,
which is the result.
If topic has zero values,
then Order_reduction results in Cat.Order:same,
which is the identity value for this operation.
The purpose of this function is to provide a canonical terse way to chain invocations of multiple order_determination functions to derive a larger such function,
such as when you want to define an order_determination function for a tuple type,
which would then be your control for sorting a relation as per a SQL "ORDER BY" or "RANK".
These procedures comprise a minimal set of system-defined data definition routines that can be used by capability-limited bootloader routines in order to setup a DBMS environment in which the rest of the Muldis D program would live, and in order to create more other routines in that environment which are more capable than bootloaders at setting up the rest of the DBMS environment.
Generally speaking, most data definition requires manipulating the Muldis D system catalog dbvars in sometimes complicated ways, and bootloaders alone aren't capable of that in the general case, so typically a bootloader will create procedures and updaters using its limited abilities such that the created are capable of doing the more complicated manipulations.
After the bootloader creates those other routines and invokes them, the bootloader can then invoke appropriate system-defined update operators defined in Muldis::D::Core::Routines to seed the database with data, if applicable, such that those calls would probably make up the bulk of the bootloader if the bootloader is a restore program for a database dump.
The following procedures can do the following: create|mount and drop|unmount depots, create|drop subdepots and packages, create|drop user-defined routines and data types; they can not create or drop relvars.
procedure sys.std.Core.Cat.create_depot_mount update {} read { name(Cat.Name),
comment(Cat.Comment)?,
is_temporary(Bool)?,
create_on_mount(Bool)?,
delete_on_unmount(Bool)?,
we_may_update(Bool)?,
details(Cat.ScaLitExprNodeSet)?
}This procedure is an abstraction over inserting a tuple into the catalog relvar mnt.cat.mounts.
It will create a new depot mount in the DBMS whose name is given by the name argument and whose other mount control details match the other arguments; the mount may be for either an existing depot or for a newly created one.
This procedure is analagous to a SQL CONNECT statement or SQLite ATTACH statement.
procedure sys.std.Core.Cat.drop_depot_mount update {} read { name(Cat.Name) }This procedure is an abstraction over deleting a tuple from the catalog relvar mnt.cat.mounts.
It will drop an existing depot mount from the DBMS whose name is given by the argument; the depot behind the mount may then either cease to exist or persist on.
This procedure is analagous to a SQL DISCONNECT statement or SQLite DETACH statement.
procedure sys.std.Core.Cat.alter_depot_mount_so_we_may_not_update update {} read { name(Cat.Name) }This procedure is an abstraction over updating a tuple of the catalog relvar mnt.cat.mounts such that its we_may_update attribute is made Bool:false.
procedure sys.std.Core.Cat.create_subdepot update {} read { depot(Cat.Name),
parent(Cat.DeclNameChain)?,
name(Cat.Name),
comment(Cat.Comment)?
}This procedure is an abstraction over inserting a tuple into the catalog relvar fed.cat.mounts{name=$depot}.depot.subdepots.
It will create a new subdepot,
in the depot mounted under the name given by the depot argument,
whose name and other details match the other arguments.
This procedure is analagous to a SQL CREATE SCHEMA statement.
procedure sys.std.Core.Cat.drop_subdepot update {} read { depot(Cat.Name),
parent(Cat.DeclNameChain)?,
name(Cat.Name) }This procedure is an abstraction over deleting a tuple from the catalog relvar fed.cat.mounts{name=$depot}.depot.subdepots.
It will drop an existing subdepot.
This procedure is analagous to a SQL DROP SCHEMA statement.
procedure sys.std.Core.Cat.create_package update {} read { depot(Cat.Name),
parent(Cat.DeclNameChain)?,
name(Cat.Name),
comment(Cat.Comment)?,
package(Cat.Package)?
}This procedure is an abstraction over inserting a tuple into the catalog relvar fed.cat.mounts{name=$depot}.depot.packages.
It will create a new package,
in the depot mounted under the name given by the depot argument,
whose name and other details match the other arguments.
This procedure is analagous to an Oracle CREATE PACKAGE statement.
procedure sys.std.Core.Cat.drop_package update {} read { depot(Cat.Name),
parent(Cat.DeclNameChain)?,
name(Cat.Name) }This procedure is an abstraction over deleting a tuple from the catalog relvar fed.cat.mounts{name=$depot}.depot.packages.
It will drop an existing package.
This procedure is analagous to an Oracle DROP PACKAGE statement.
procedure sys.std.Core.Cat.create_depot_(function|updater|procedure) update {} read { depot(Cat.Name),
parent(Cat.DeclNameChain)?,
name(Cat.Name),
comment(Cat.Comment)?,
head(Cat.(Func|Upd|Proc)Head),
body(Cat.(Func|Upd|Proc)Body) }This procedure is an abstraction over inserting a tuple into the catalog relvar fed.cat.mounts{name=$depot}.depot.(function|updater|procedure)s.
It will create a new function|updater|procedure,
in the depot mounted under the name given by the depot argument,
whose name and other details match the other arguments.
This procedure is analagous to a SQL CREATE FUNCTION|PROCEDURE statement.
procedure sys.std.Core.Cat.drop_depot_(function|updater|procedure) update {} read { depot(Cat.Name),
parent(Cat.DeclNameChain)?,
name(Cat.Name) }This procedure is an abstraction over deleting a tuple from the catalog relvar fed.cat.mounts{name=$depot}.depot.(function|updater|procedure)s.
It will drop an existing depot function|updater|procedure.
This procedure is analagous to a SQL DROP FUNCTION|PROCEDURE statement.
procedure sys.std.Core.Cat.create_package_(function|updater|procedure) update {} read { depot(Cat.Name),
subdepot(Cat.DeclNameChain)?,
package(Cat.Name),
name(Cat.Name),
comment(Cat.Comment)?,
is_public(Bool)?,
head(Cat.(Func|Upd|Proc)Head),
body(Cat.(Func|Upd|Proc)Body) }This procedure is an abstraction over inserting a tuple into the catalog relvar fed.cat.mounts{name=$depot}.depot .packages{parent=$subdepot,name=$package}.package .(function|updater|procedure)s.
It will create a new function|updater|procedure,
in the package having the name given by the package argument,
in the depot mounted under the name given by the depot argument,
whose name and other details match the other arguments.
procedure sys.std.Core.Cat.drop_package_(function|updater|procedure) update {} read { depot(Cat.Name),
subdepot(Cat.DeclNameChain)?,
package(Cat.Name),
name(Cat.Name) }This procedure is an abstraction over deleting a tuple from the catalog relvar fed.cat.mounts{name=$depot}.depot .packages{parent=$subdepot,name=$package}.package .(function|updater|procedure)s.
It will drop an existing package function|updater|procedure.
procedure sys.std.Core.Cat.create_depot_type update {} read { depot(Cat.Name),
parent(Cat.DeclNameChain)?,
name(Cat.Name),
comment(Cat.Comment)?,
type(Cat.Type) }This procedure is an abstraction over inserting a tuple into the catalog relvar fed.cat.mounts{name=$depot}.depot.types.
It will create a new type,
in the depot mounted under the name given by the depot argument,
whose name and other details match the other arguments.
This procedure is analagous to a SQL CREATE TYPE|DOMAIN statement.
procedure sys.std.Core.Cat.drop_depot_type update {} read { depot(Cat.Name),
parent(Cat.DeclNameChain)?,
name(Cat.Name) }This procedure is an abstraction over deleting a tuple from the catalog relvar fed.cat.mounts{name=$depot}.depot.types.
It will drop an existing depot type.
This procedure is analagous to a SQL DROP TYPE|DOMAIN statement.
procedure sys.std.Core.Cat.create_package_type update {} read { depot(Cat.Name),
subdepot(Cat.DeclNameChain)?,
package(Cat.Name),
name(Cat.Name),
comment(Cat.Comment)?,
is_public(Bool)?,
type(Cat.Type) }This procedure is an abstraction over inserting a tuple into the catalog relvar fed.cat.mounts{name=$depot}.depot .packages{parent=$subdepot,name=$package}.package.types.
It will create a new type,
in the package having the name given by the package argument,
in the depot mounted under the name given by the depot argument,
whose name and other details match the other arguments.
procedure sys.std.Core.Cat.drop_package_type update {} read { depot(Cat.Name),
subdepot(Cat.DeclNameChain)?,
package(Cat.Name),
name(Cat.Name) }This procedure is an abstraction over deleting a tuple from the catalog relvar fed.cat.mounts{name=$depot}.depot .packages{parent=$subdepot,name=$package}.package.types.
It will drop an existing package type.
Go to Muldis::D for the majority of distribution-internal references, and Muldis::D::SeeAlso for the majority of distribution-external references.
Darren Duncan (perl@DarrenDuncan.net)
This file is part of the formal specification of the Muldis D language.
Muldis D is Copyright © 2002-2008, Darren Duncan.
See the LICENSE AND COPYRIGHT of Muldis::D for details.
The TRADEMARK POLICY in Muldis::D applies to this file too.
The ACKNOWLEDGEMENTS in Muldis::D apply to this file too.
