diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 15:30:53 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 15:30:53 -0300 |
| commit | e32ba6294781691846c3ab19281fe977350b4d0f (patch) | |
| tree | f38e92ba2fc03e966d7263c7ee2e0b5d7983ebae /lib/schema.ml | |
| parent | be375a52da6174dfda5b68617d27e1542cc80499 (diff) | |
| download | Sakura-e32ba6294781691846c3ab19281fe977350b4d0f.tar.gz Sakura-e32ba6294781691846c3ab19281fe977350b4d0f.zip | |
preparation cleanup for RNT integration
Diffstat (limited to 'lib/schema.ml')
| -rw-r--r-- | lib/schema.ml | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/lib/schema.ml b/lib/schema.ml deleted file mode 100644 index cc277a5..0000000 --- a/lib/schema.ml +++ /dev/null @@ -1,14 +0,0 @@ -(** Schema: maps attribute names to domain/type names. - - A schema defines the structure of a relation by listing each attribute and - its associated domain (type). This is used for: - - Hashing relations (schema is part of the relation identity) - - Validation (checking tuple membership) - - Persistence (storing and loading relations with their structure) *) - -type t = (string * string) list - -let empty : t = [] -let add name domain_name (schema : t) : t = (name, domain_name) :: schema -let attributes (schema : t) = List.map fst schema -let to_string schema = List.map (fun (n, t) -> n ^ ":" ^ t) schema |> String.concat "," |