diff options
Diffstat (limited to 'lib/prelude/catalog.ml')
| -rw-r--r-- | lib/prelude/catalog.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/prelude/catalog.ml b/lib/prelude/catalog.ml index c92a89f..01721b2 100644 --- a/lib/prelude/catalog.ml +++ b/lib/prelude/catalog.ml @@ -7,6 +7,11 @@ written to by any executor. They appear to be stubs for trigger/timing metadata that was never implemented. *) +(** Dedicated multigroup hosting the system catalog. The catalog's relation + names keep the [public:] prefix — that prefix is part of the relation name + inside this mg, not a separate namespace. *) +let prelude_mg = "sakura" + let catalog_prefix = "public:" let relation_rel_name = catalog_prefix ^ "relation" let domain_rel_name = catalog_prefix ^ "domain" |