profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/GavinMendelGleason/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Gavin Mendel-Gleason GavinMendelGleason TerminusDB Dublin https://terminusdb.com Interested in formal methods for real software. My primary focus is on databases, RDF, Type theory, logical query languages and program transformation.

GavinMendelGleason/excel_as_code 113

Blog on excel as code

GavinMendelGleason/mavis 12

Optional types for Prolog

GavinMendelGleason/Cocktail 7

Supercompiler for a variant of System-F(omega)

GavinMendelGleason/code 6

All of the random projects, test files, helloworlds, proofs etc.

GavinMendelGleason/programming_semantics 6

Semantics of Programming Languages

aligned-h2020/ALIGNED_Ontologies 4

A repository to hold the descriptions of ontologies developed within the ALIGNED project

GavinMendelGleason/data_mesh 3

Data Mesh Book

daramcq/bicycle-sadness 2

System for reporting bike accidents and possibly other incidents of two-wheeled melancholy.

GavinMendelGleason/nn-ling 1

Tools for using word embeddings to guess features and extract answers from questions.

GavinMendelGleason/OWL 1

OWL in agda

create barnchterminusdb/research_topics

branch : main

created branch time in 3 minutes

created repositoryterminusdb/research_topics

Running list of research topics

created time in 3 minutes

pull request commentterminusdb/terminusdb

Fix515

Also fixes #723

GavinMendelGleason

comment created time in 14 hours

PR opened terminusdb/terminusdb

Fix515

Fixes #515

+102 -18

0 comment

6 changed files

pr created time in 14 hours

push eventterminusdb/terminusdb

Gavin Mendel-Gleason

commit sha f2001106ced1c19e957f12db46e6641ec2bad12c

Fix document interface type marshalling

view details

push time in 14 hours

created repositoryGavinMendelGleason/many_worlds

A description of the relationship between databases, collaboration and Kripke

created time in 20 hours

create barnchGavinMendelGleason/many_worlds

branch : main

created branch time in 20 hours

push eventterminusdb/terminusdb

Gavin Mendel-Gleason

commit sha 55d559330c7c97b332d31b323f8389361906a95c

Property documentation which passes in schema_refactor

view details

push time in a day

pull request commentterminusdb/terminusdb

Schema refactor for better tabling performance and mem use

This fix unexpectedly fixes property documentation checking. Apparently some parts of the WOQL schema documentation were not correct.

GavinMendelGleason

comment created time in 2 days

push eventterminusdb/terminusdb

Sean Leather

commit sha 56c70e8626992729b253db68df748f8ab739fc0c

Disallow empty keys Fixes #647

view details

Gavin Mendel-Gleason

commit sha b2a54fdf45bb2311b7700a8b6fdf71d59d52b9f8

Merge pull request #724 from terminusdb/fix647 Disallow empty keys

view details

push time in 2 days

delete branch terminusdb/terminusdb

delete branch : fix647

delete time in 2 days

PR merged terminusdb/terminusdb

Disallow empty keys

Fixes #647

<!-- Thanks for taking the time to contribute!

Is this your first pull request? If you don't mind, please read this first.

https://github.com/terminusdb/terminusdb/blob/main/docs/CONTRIBUTING.md -->

+21 -0

0 comment

4 changed files

spl

pr closed time in 2 days

issue closedterminusdb/terminusdb

Possible to create classes with empty ID

Describe the bug Two connected minor UI bugs to polish at some point in the UI to dot the i:s and cross the t:s. Also, there could be a third bug lurking here, that allowed the blank id item to be created in the first place and whether it should be allowed (this is possible both in the UI, and effectively in the database itself as I could reproduce the error).

I managed to create an odd class with no id in TerminusX, unclear how - it is visible but it can't be manipulated in the Data Product Model view of the schema graph. No biggie, but could be worth fixing at some point (this is the first bug). The JSON schema description for it:

  {
    "@id": "",
    "@key": {
      "@type": "Random"
    },
    "@subdocument": [],
    "@type": "Class"
  },

I went into the JSON editor, removed the offending entry, made a comment, saved and then got back to a blank page (which is the other bug).

Removing it from the JSON and saving did however clear out the item so all is good again.

To Reproduce Steps to reproduce the behavior:

  1. Go to (TerminusX Dashboard of your data product)[https://dashboard.terminusdb.com/product_models]
  2. Click on Documents, then the plus sign (works both for documents and subdocuments)
  3. Click in description (unsure if it is a must)
  4. Click save floppy icon
  5. Click on the empty document/subdocument in the graph canvas, no plus-sign emerges, also can't edit properties

Expected behaviour

  • A document with an empty ID should not be allowed to be saved in the UI
  • A document with an empty ID should (most likely) not be allowed to be saved to the database itself (there should be a check)
  • A document with an empty ID should be possible to remove from the product model (currently it can't be selected, and thus not removed either.

Screenshots image

Info (please complete the following information):

  • OS: macOS, Micosoft Edge (Chromium based)
  • Dashboard of TerminusX

Additional context Polished product type of bug

closed time in 2 days

hoijnet
PullRequestReviewEvent

push eventterminusdb/terminusdb

Gavin Mendel-Gleason

commit sha 9884cf136053d6e33c7fdc9f1026dd6a9cd9caf6

Fix broken documentation in WOQL schema uncovered

view details

push time in 2 days

push eventterminusdb/terminusdb

Gavin Mendel-Gleason

commit sha 555c011538e351c64180f002caf12c97928a1a2e

Stop creating contexts unnecessarily

view details

push time in 2 days

push eventterminusdb/terminusdb

Gavin Mendel-Gleason

commit sha 3c45bdb9c380c811158ee6f352468055d1ab2053

Tabling enum saves on heavy enum use

view details

push time in 2 days

create barnchterminusdb/terminusdb

branch : schema_refactor

created branch time in 2 days

issue openedterminusdb/terminusdb

Benchmarking of document interface

We would like to test a number of features of the document interface so that we can clearly show when things are speeding up or slowing down.

Each should use a schema that has a number of classes, some hierarchy in the class structure and links between the objects.

  • [ ] Insertion of several 100 documents as independent calls
  • [ ] Insertion of several 100 documents as a block with interconnections
  • [ ] replacement of documents independently
  • [ ] replacement of documents in a block
  • [ ] Insertion of a new schema class
  • [ ] Insertion of a new optional property in an existing schema with present documents

created time in 2 days

PullRequestReviewEvent
PullRequestReviewEvent

PR opened terminusdb/terminusdb

Add release notes
+13 -0

0 comment

1 changed file

pr created time in 2 days

push eventterminusdb/terminusdb

Gavin Mendel-Gleason

commit sha 1e84100cd6c45183cc4964fa63bc34919ddc655d

Add release notes

view details

push time in 2 days

create barnchterminusdb/terminusdb

branch : release_notes

created branch time in 2 days

push eventterminusdb/terminusdb

Sean Leather

commit sha aa66facf58bb657d0b4b01e0b13230e21f8362cb

Delete unused files in docs/ [skip ci] * Closes #648 * Most of these files have moved to <https://docs.terminusdb.com/>. * The latest `CURL.md` is, for now, at <https://github.com/terminusdb/terminusdb-docs/blob/old-main/CURL.md>.

view details

Gavin Mendel-Gleason

commit sha fc61e59926235e3646859eb6bae16cb586392781

Merge pull request #703 from terminusdb/delete-old-docs Delete unused files in docs/

view details

push time in 2 days

issue closedterminusdb/terminusdb

Delete old documentation files in docs/

Most of this has been moved to https://github.com/terminusdb/terminusdb-docs, so we can delete it.

closed time in 2 days

spl

PR merged terminusdb/terminusdb

Delete unused files in docs/
+0 -6723

0 comment

44 changed files

spl

pr closed time in 2 days

delete branch terminusdb/terminusdb

delete branch : delete-old-docs

delete time in 2 days

PullRequestReviewEvent