Update database schema model

src/database/schema-model/model.json

@@ -1,3 +1,8 @@
 {
-  "database-engine": "postgresql"
+  "database-engine": "postgresql",
+  "database-properties": {
+    "database-version": "150003",
+    "model-version": "1.7"
+  },
+  "model-format": "rgmf"
 }

src/database/schema-model/public/Sequences/games_id_seq.rgm

@@ -0,0 +1,11 @@
+sequence "public"."games_id_seq" {
+  type = integer
+  increment = 1
+  minValue = 1
+  maxValue = 2147483647
+  start = 1
+  cache = 1
+  cycle = NO CYCLE
+  ownedBy = "public"."games"."id"
+}
+

src/database/schema-model/public/Tables/games.rgm

@@ -0,0 +1,23 @@
+table "public"."games" {
+  primaryKey = {
+    columns = [
+      "id"
+    ]
+    name = "games_pkey"
+    objectType = primaryKey
+  }
+  columns = (
+    column "id" {
+      type = integer
+      null = NOT NULL
+      default = nextval('public.games_id_seq'::regclass)
+    }
+    column "status" {
+      type = text
+    }
+    column "hostmachine" {
+      type = text
+    }
+  )
+}
+

src/database/schema-model/public/public.rgm

@@ -0,0 +1,3 @@
+schema "public" {
+}
+