Re: [DISCUSS] Limiting the use of Lambdas in TinkerPop 4.

Hi Valentyn, I agree that lambdas in their current form will need to be retired, for the reason you mention: they do not currently have a common representation which can be shared among language variants. Since we are talking about TinkerPop 4, though, I think it is worth talking about whether lam

Re: [Discuss] Type system in TinkerPop

Hi Valentin, I agree with the sentiment, and I have a solution you might be interested in. You might be able to grok the property graph validation test cases here . If you have ev

Re: [DISCUSS] Is null equal to null

g > introduced to TinkerPop. > > Josh, I look forward to hearing more on your proposed type system once it > is ready. > > Regards, > > Cole > > From: Joshua Shinavier > Date: Tuesday, August 8, 2023 at 7:23 AM > To: dev@tinkerpop.apache.org > Subject: Re: [DISCU

Re: [DISCUSS] Is null equal to null

I am curious how > you see your work aligning with the recent SIGMOD paper [1] from the LDBC > working group on PG Schema? > > Dave > > [1] https://arxiv.org/abs/2211.10962 > > > On Sat, Aug 5, 2023 at 7:02 AM Joshua Shinavier wrote: > > > Hi Ken, > > &g

Re: [DISCUSS] Is null equal to null

ntroduced in TinkerPop in the future. Let's assume that TinkerPop does > support schemas, and therefore would have a type system, would this change > your opinion on the matter? > > Thanks again, > Ken > > On Wed, Aug 2, 2023 at 3:54 PM Joshua Shinavier wrote: > >

Re: [DISCUSS] Is null equal to null

For what it is worth, I think the question of whether null == null is only meaningful in the context of a specific type system, which Gremlin so far does not provide. My personal preference is to avoid SQL-style nulls and achieve optionality through union types (e.g. Java's Optional or Haskell's Ma

Re: [DISCUSS] Future of Neo4J-Gremlin

to work with > neo4j-gremlin. In such a situation we can reach out to the community to see > if anyone is interested in taking on the work of updating neo4j-gremlin, > and if not at that time it would need to be removed. > > Let me know your thoughts on this suggestion. > > T

Re: [DISCUSS] Future of Neo4J-Gremlin

Deprecating Neo4j support in Gremlin would definitely mark the end of an era. I would be inclined to retain the support so long as it does not represent a significant development burden, but this is only the perspective of a *user* of legacy applications built with Neo4j-Gremlin. There may be other

Re: Video channels for Apache TinkerPop related content

ublish some guidelines about the videos on the > website such as they should be vendor neutral with no branding/product > placement etc. > > -- > Divij Vaidya > > > > On Wed, Nov 9, 2022 at 3:15 PM Joshua Shinavier wrote: > > > Sounds like a good idea (a YouTub

Re: Video channels for Apache TinkerPop related content

Sounds like a good idea (a YouTube channel; I haven't used Twitch so can't comment). If the content is of high quality, we can promote it on the Graph Show. Josh On Wed, Nov 9, 2022 at 2:13 AM Florian Hockmann wrote: > Hi Taylor, > > great idea! I'd definitely welcome a TinkerPop channel on Yo

Re: Async capabilities to TinkerPop

llows: >> >> ``` >> final Cluster cluster = Cluster.build("localhost") >> .port(8182) >> >> .maxInProcessPerConnection(32) >> >> .maxSimultaneousUsagePerConnection(32) >> >> .ser

Re: Async capabilities to TinkerPop

Well, the wrapper I mentioned before did not require a full rewrite of TinkerPop :-) Rather, it provided async interfaces for vertices and edges, on which operations like subgraph and shortest paths queries were evaluated in an asynchronous fashion (using a special language, as it happened, but lim

Re: Async capabilities to TinkerPop

Hi Oleksandr, I agree about the long-standing need for async queries. A "fake" async API for TinkerPop was one the first things we had to build when I first started at Uber in 2017 (using JanusGraph on Cassandra, and later an in-house Cassandra-based graph DB). Feel free to share an early version

Re: Design proposal to use Arrow Flight as transport for Gremlin Server

Hi Valentyn, Thank you for the proposal/summary. Leo Meyerovich and others have previously suggested adding Arrow support to TinkerPop; it just hasn't been prioritized. I like everything about your description apart from this phrase: "should replace the network layer with Arrow Flight". You are no

Re: A meta model for gremlin's property graph

c specification of how to interact with a remote > gremlin enabled system. i.e. similar to the jdbc specification only without > reference to any particular language. > Seems orthogonal to the language, and generation of constraints into Gremlin syntax. As an aside, breaking user space should

Re: A meta model for gremlin's property graph

Hey Pieter, Good to see some more motion on this front. Responses inline. On Sun, Jan 9, 2022 at 4:28 AM pieter gmail wrote: > Hi, > > I have done some work on defining a meta model for Gremlin's property > graph. I am using the approach used in the modelling world, in particular > as done by

Re: [DISCUSS] ASF Board Draft Report - October 2021

thers are > not leaders, they are weak souls who will, when the time is right, do what > is best for them. > > Marko. > > > > > On Oct 3, 2021, at 10:42 AM, Joshua Shinavier wrote: > > > > Marko, why you are so concerned with what I am doing or not doing is

Re: [DISCUSS] ASF Board Draft Report - October 2021

Marko, why you are so concerned with what I am doing or not doing is beyond me. Likewise, you make vague accusations against Stephen on this list, before calling him a "shining star"? How "nepotism", exactly? I commented earlier that you had "self-cancelled" because with all of this behavior, you s

[jira] [Commented] (TINKERPOP-2596) datetime function

[ https://issues.apache.org/jira/browse/TINKERPOP-2596?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17417070#comment-17417070 ] Joshua Shinavier commented on TINKERPOP-2596: - Option 2 kinda m

Re: Anything I could do to help?

Marko, I doubt anyone thinks you're actually a Nazi racist. Why you chose to self-cancel like that, the world may never know, but you might have shown more consideration toward those who wanted to support you in spite of all the craziness. I don't see us working together so soon after these weird r

Re: [DISCUSS] datetime

houldn't have declared it as ISO8601 explicitly. In the > interest of support for existing serialization perhaps it's best to call it > unix time and simply have the datetime() accept a string in the > YY-MM-DDThh:mm:ss format. > > On Fri, Jul 23, 2021 at 11:20 AM Joshua Shin

Re: [DISCUSS] Geo-Spatial support

Hi Dave, I think something like this is a very good idea, and these look like useful primitives. IMO when it comes to geospatial queries, the devil is in the details. For example, at some point we'll have someone asking for double-precision lat/lon points (GPS is not that accurate, but some applic

Re: [DISCUSS] datetime

ff ff ff ff ff ff: The moment in time 1969-12-31T23:59:59.999Z. > > > > > On Thu, Jul 22, 2021 at 7:16 PM Joshua Shinavier > wrote: > > > I think that works so long as there is a common type which would exist in > > each GLV and which datetime() would parse *to*. This

Re: [DISCUSS] datetime

I think that works so long as there is a common type which would exist in each GLV and which datetime() would parse *to*. This type could then be mapped into GLV-native types as desired. An easy choice for the common type would be 64-bit Unix timestamps in milliseconds, but this does not capture ar

Re: [VOTE] TinkerPop 3.4.12 Release

+1 On Thu, Jul 22, 2021 at 11:06 AM David Bechberger wrote: > +1 > > On Tue, Jul 20, 2021 at 11:02 AM Stephen Mallette > wrote: > > > Docs look good and validate-distribution.sh passed > > > > VOTE +1 > > > > On Tue, Jul 20, 2021 at 5:01 AM Florian Hockmann > > > wrote: > > > > > Hello, > > >

Re: [VOTE] TinkerPop 3.5.1 Release

+1 On Thu, Jul 22, 2021 at 10:41 AM David Bechberger wrote: > Agreed, thanks for all the hard work. +1 > > We should probably include something about Discord in any sort of email > communication as well. > > Thanks, > Dave > > On Thu, Jul 22, 2021 at 8:27 AM Kelvin Lawrence > wrote: > > > Tha

Re: [DISCUSS] Graphs over Thrift

, but for the time being, just reply to me directly with your email address if you would like to attend, and I will add you to the invite. Josh On Fri, Jul 16, 2021 at 8:45 AM Joshua Shinavier wrote: > Following up on the proof of concept I created in TINKERPOP-2563-language, > and the

[DISCUSS] Graphs over Thrift

Following up on the proof of concept I created in TINKERPOP-2563-language, and the thread with Stephen, here is a demo video showing a graph with domain-specific types being sent over the wire between a Java-based client and a Java-based server: https://www.youtube.com/watch?v=wFCrJOXXs5Y Any th

Re: [DISCUSS] go driver

+1 to official support for Go. In terms of popularity, it seems most often to land in the top 10 than the top 5 in developer lists, but anecdotally, it is increasingly used in companies that take after Google. My company has two officially supported languages, FWIW: Go (#1) and Java (#2). Josh O

Re: [DISCUSS] Discord Server?

irst link I sent allows you to > "Preview" which causes the behavior you mentioned. > > Josh, is the link above the one you are using when you see the issue? > > Dave > > On Mon, Jul 12, 2021 at 2:08 PM Joshua Shinavier > wrote: > > > Maybe I'm the only on

Re: [DISCUSS] Discord Server?

ink below it should allow anyone here to join: > >>> > https://discord.gg/5a72PZgmdq > >>> > > >>> > > >>> > On Fri, May 14, 2021 at 2:17 AM Stephen Mallette < > spmalle...@gmail.com > >>> > > >>> > wrote

Re: [tinkerpop] 03/04: Add a runnable example of a Thrift client sending graphs to a server over TChannel

the notion of "serialized" values somewhat in that, in these graphs, a serialized value is a record with two fields (or an object with two member variables): the encoded value itself (in this case, a JSON blob), and a type identifier. Josh On Wed, Jul 7, 2021 at 6:51 AM Joshua Shinav

Re: [tinkerpop] 03/04: Add a runnable example of a Thrift client sending graphs to a server over TChannel

Hi Stephen, Good questions. Let's elevate this discussion (about the specifics of graphs and traversal results over Thrift) to the dev list. See inline. On Wed, Jul 7, 2021 at 5:08 AM Stephen Mallette wrote: > So, what happens if a returned Vertex contained a ByteBuffer or > InetAddress as a p

Re: [DISCUSS] Property types

ber of bits" type: integer On Wed, Jun 9, 2021 at 11:52 AM Joshua Shinavier wrote: > Hi Stephen, > > Responses inline. > > On Wed, Jun 9, 2021 at 4:04 AM Stephen Mallette > wrote: > >> Thanks for the update Josh >> >> [...] >> >r

Re: [DISCUSS] Property types

Hi Stephen, Responses inline. On Wed, Jun 9, 2021 at 4:04 AM Stephen Mallette wrote: > Thanks for the update Josh > > [...] > >reasonably clear how to make that transition. In the beginning, you > > either > >have a schema or you don't. > > > > Could you clarify who is making that choic

[DISCUSS] Property types

Hi all, As we move ahead toward schema support in TinkerPop, one of the concerns we need to keep in mind is future interoperability with GQL , the ISO standard property graph query language which is currently under development. GQL will encompass a formally-defined d

Re: [TinkerPop] AW: Welcome Josh Shinavier as a TinkerPop PMC member

Thank you, Florian! Glad to be on board in an official capacity. Oh yes, there will be schemas. Josh On Mon, Jun 7, 2021 at 6:34 AM Florian Hockmann wrote: > Congrats and welcome, Josh! > > -Ursprüngliche Nachricht- > Von: Stephen Mallette > Gesendet: Freitag, 4. Juni 2021 22:12 > An

Re: code generation and RDF support in TinkerPop 4

ithout needing to write a single query. > > Thanks > Pieter > > > > > On Thu, 2021-06-03 at 09:59 -0700, Joshua Shinavier wrote: > > Hi Pieter, > > > On Thu, Jun 3, 2021 at 9:40 AM pieter gmail > wrote: > > Hi, > > Just to understand a bit b

Re: code generation and RDF support in TinkerPop 4

serve non-graph as well as graph use cases. For now, you can think of the code generation as a bootstrapping strategy. Josh > > Thanks > Pieter > > On Thu, 2021-06-03 at 07:48 -0700, Joshua Shinavier wrote: > > Hello all, > > > > I would like to take some concrete

code generation and RDF support in TinkerPop 4

Hello all, I would like to take some concrete steps toward the TinkerPop 4 interoperability goals I've stated a few times (e.g. see TinkerPop 2020 from last year). At a meetup a couple of m

Re: [DISCUSS] Discord Server?

I haven't used Discord much myself, but I don't see the down side of trying it out amongst ourselves, then inviting a few community members. If the response is positive, announce it on gremlin-users. We already have a Slack workspace which is not much used, so in the worst case, now there are two.

[jira] [Assigned] (TINKERPOP-2563) Unify Gremlin grammar and structure/process APIs across GLVs

[ https://issues.apache.org/jira/browse/TINKERPOP-2563?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Joshua Shinavier reassigned TINKERPOP-2563: --- Assignee: Joshua Shinavier > Unify Gremlin grammar and struct

[jira] [Updated] (TINKERPOP-2563) Unify Gremlin grammar and structure/process APIs across GLVs

[ https://issues.apache.org/jira/browse/TINKERPOP-2563?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Joshua Shinavier updated TINKERPOP-2563: Component/s: (was: process) language > Unify Grem

[jira] [Created] (TINKERPOP-2563) Unify Gremlin grammar and structure/process APIs across GLVs

Joshua Shinavier created TINKERPOP-2563: --- Summary: Unify Gremlin grammar and structure/process APIs across GLVs Key: TINKERPOP-2563 URL: https://issues.apache.org/jira/browse/TINKERPOP-2563

Re: [VOTE] TinkerPop 3.4.11 Release

+1 On Thu, May 6, 2021 at 6:07 AM Øyvind Sæbø wrote: > VOTE +1 > > tor. 6. mai 2021 kl. 14:51 skrev Jorge Bay Gondra < > jorgebaygon...@gmail.com > >: > > > VOTE +1 > > > > On Wed, May 5, 2021 at 11:10 AM wrote: > > > > > I mostly reviewed the docs and all looks good. > > > > > > VOTE +1 > > >

Re: [VOTE] TinkerPop 3.5.0 Release

Awesome. +1 On Thu, May 6, 2021 at 6:42 AM Øyvind Sæbø wrote: > 🎉 > > VOTE +1 > > tor. 6. mai 2021 kl. 14:51 skrev Jorge Bay Gondra < > jorgebaygon...@gmail.com > >: > > > Yay! 3.5.0! > > > > VOTE +1 > > > > On Thu, May 6, 2021 at 10:08 AM wrote: > > > > > VOTE +1 > > > > > > One small issue I

Re: 3.5.0 Announcement Volunteers

e to this point again > and again and again in your lives to come. Why waste time? Slay the dragon > and let us feast on the magical meat of creation once more — as in the time > when our dining halls were not filled with lost bards and delirious jesters. > > Marko. > > > >

Re: 3.5.0 Announcement Volunteers

ry support and > >>>> switching the JSON library could be interesting for some Gremlin.Net > >> users. > >>>>> > >>>>> -Ursprüngliche Nachricht- > >>>>> Von: Stephen Mallette > >>>>> Gesendet: Donner

Re: 3.5.0 Announcement Volunteers

Sounds good. I'll write the announcement. If you have thoughts on the format, please feel free to share. Josh On Thu, Apr 29, 2021 at 10:56 AM Stephen Mallette wrote: > On Thu, Apr 29, 2021 at 1:38 PM Joshua Shinavier > wrote: > > > I would be happy to collaborate on greml

Re: 3.5.0 Announcement Volunteers

I would be happy to collaborate on gremlin-language if there is something which needs doing. Josh On Thu, Apr 29, 2021 at 10:24 AM Stephen Mallette wrote: > 3.5.0 is a fairly big release. There's too much in there to summarize in a > single announcement email. I was thinking that we might prod

Re: [DISCUSS] ANTLR and gremlin-script

t; Josh > > > > > > > > On Tue, Mar 16, 2021 at 12:48 PM Stephen Mallette > > wrote: > > > > > Here is the PR: https://github.com/apache/tinkerpop/pull/1408 > > > > > > On Tue, Mar 16, 2021 at 6:14 AM Stephen Mallette > > > &

Re: [DISCUSS] ANTLR and gremlin-script

emlin-grammar or gremlin-language. Josh On Mon, Mar 22, 2021 at 2:00 PM Joshua Shinavier wrote: > I am not yet entirely sure what it means either, but I am thinking that it > would be nice to be able to > a) validate Gremlin expressions written in languages other than Groovy or > Jav

Re: [DISCUSS] ANTLR and gremlin-script

; On Tue, 2021-03-16 at 15:47 -0400, Stephen Mallette wrote: > > Here is the PR: https://github.com/apache/tinkerpop/pull/1408 > > > > On Tue, Mar 16, 2021 at 6:14 AM Stephen Mallette > > > > wrote: > > > > > No branch yet, but I think I will be sending th

Re: [DISCUSS] ANTLR and gremlin-script

phen Mallette wrote: > Here is the PR: https://github.com/apache/tinkerpop/pull/1408 > > On Tue, Mar 16, 2021 at 6:14 AM Stephen Mallette > wrote: > > > No branch yet, but I think I will be sending the PR today. > > > > On Mon, Mar 15, 2021 at 9:33 PM Joshua Shina

Re: [DISCUSS] ANTLR and gremlin-script

Is there a branch we can take a look at before the PR is ready? Josh On Fri, Mar 12, 2021 at 5:42 AM Stephen Mallette wrote: > I've been working on forming a pull request for this task. I don't think IP > Clearance is necessary as I originally did because the contribution is > really just an AN

Re: [DISCUSS] Adding motif support to match()

Initial thought: if the ASCII art syntax is Cypher-like, why not make it openCypher proper? I.e. keep match() as it is, but generalize the cypher() step out of Neo4jGraph, with native Neo4j evaluation of Cypher as an optimization. Josh On Thu, Feb 4, 2021 at 2:17 PM David Bechberger wrote: > O

Re: [DISCUSS] Add gremlify.com to Powered By

I don't know if I would could a tool that does not (yet) implement basic steps like E() as "powered by Gremlin", but it seems to me that the hard part (building a nice GUI for constructing graphs and running traversals, that does already construct graphs and let you run certain traversals) is alrea

Re: [DISCUSS] string formatting

Just a quick note, but I don't think we would go far wrong using Formatter for now. It is after all an "interpreter for printf-style format strings", where printf has a POSIX specification that

Re: [DISCUSS] Process API for TP4 [Was: structure API for TP4]

; schema > > in TP4 I suppose Thrift, protocolbuffers and other such formats and > > protocols are back on the table for consideration. There is a whole > > separate discussion to be had about "Gremlin Server" and the methods by > > which users "connect" to a graph for TP4, but perhaps I will save that > for > > a separate thread so as not to redirect this one too much. > > > > On Fri, Jan 10, 2020 at 1:43 PM Joshua Shinavier > [...]

Re: structure API for TP4

graph for TP4, but perhaps I will save that for > a separate thread so as not to redirect this one too much. > I definitely think there is value in exploring this. If we can write an APG schema for traversals and results, there will be straightforward paths to remote execution using

Re: structure API for TP4

me - name: meta type: optional: CommonMetadata - name: type type: DataType - name: referenceBy type: optional: FieldName - name: index type: optional: FieldIndex - name: defaultValue type:

Re: structure API for TP4

hema in > python and have it apply to a JVM based graph (that might be remotely > hosted like CosmosDB with no native schema or DS Graph with a native > schema)? > > On Tue, Jan 7, 2020 at 1:00 PM Joshua Shinavier wrote: > > > That might be an even better option. I don&#

Re: structure API for TP4

ml > > I don't really have a sense of whether or not we could use that to our > advantage. Perhaps you do Josh? > > On Mon, Jan 6, 2020 at 1:08 PM Joshua Shinavier wrote: > > > Hi Pieter, Stephen, > > > > Pieter: Can it be specified in `formal` English rat

Re: structure API for TP4

itself. I.e. the specification must be in English and not refer to api > > calls in the reference implementation. > > > > Regarding the implementation. > > > > Something that has always concerned me about TinkerPop's implementation > > is that it (embedded j

Re: structure API for TP4

erns > across language ecosystems for users while making it even simpler for > providers to build their TinkerPop-enabled systems. Having seen so much > success with GLVs for TP3, despite their drawbacks, I can't help but sense > that focusing on this notion as a foundational element o

structure API for TP4

Hi everyone, I would like to reboot the conversation around TinkerPop 4, specifically as it concerns the structure API. You will have seen my posts, ever since my presentation [1] last January, about an algebraic approach to property graph schemas and transformations, which Ryan and I formalized i

Re: [VOTE] TinkerPop 3.4.3 Release

ys. just download this: > > https://dist.apache.org/repos/dist/dev/tinkerpop/KEYS > > and then: > > $ gpg --import KEYS > > i think that's it anyway. > > On Wed, Aug 7, 2019 at 1:43 PM Joshua Shinavier wrote: > > > Thanks, Stephen. I tried the scri

Re: [VOTE] TinkerPop 3.4.3 Release

was done. > > On Wed, Aug 7, 2019 at 1:19 PM Joshua Shinavier wrote: > > > Humble +1 from me. Cool logo. Daniel, what script are you using for > > validating the distribution? > > > > Josh > > > > On Wed, Aug 7, 2019 at 7:35 AM Robert Dale wrot

Re: [VOTE] TinkerPop 3.4.3 Release

Humble +1 from me. Cool logo. Daniel, what script are you using for validating the distribution? Josh On Wed, Aug 7, 2019 at 7:35 AM Robert Dale wrote: > Best durn lookin' docs ever! > VOTE +1 > > Robert Dale > > > On Wed, Aug 7, 2019 at 7:39 AM Daniel Kuppitz wrote: > > > Distribution validat

Re: [DISCUSS] Deprecate support for Multi/Metaproperties in Neo4j

structure APIs in 3.x either right > now. > > On Tue, Jul 23, 2019 at 2:27 PM Joshua Shinavier > wrote: > > > Hi Stephen, > > > > I do not see meta-properties much used in practice, either. No objection > to > > removing them for TP 3.5, but I would like t

Re: [DISCUSS] Deprecate support for Multi/Metaproperties in Neo4j

Hi Stephen, I do not see meta-properties much used in practice, either. No objection to removing them for TP 3.5, but I would like to make them reappear in a different form in TP 4.x, along with meta-edges (edges to or from properties or other edges). Exotic as these features might seem, I think t

[jira] [Comment Edited] (TINKERPOP-2267) a very easily solved documentation problem

[ https://issues.apache.org/jira/browse/TINKERPOP-2267?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16884731#comment-16884731 ] Joshua Shinavier edited comment on TINKERPOP-2267 at 7/14/19 5:5

[jira] [Commented] (TINKERPOP-2267) a very easily solved documentation problem

[ https://issues.apache.org/jira/browse/TINKERPOP-2267?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16884731#comment-16884731 ] Joshua Shinavier commented on TINKERPOP-2267: - Hi Jeff. Indeed, the

Re: A Type System Core to mm-ADT

OK. I see the "referent" concept is broader than I had thought. They are not just pointers, but (paraphrasing) expressions awaiting evaluation. The "referent pattern" is more or less the type of the expression, i.e. the type of whatever the expression evaluates to. For example, in Haskell notation:

Re: A Type System Core to mm-ADT

Hi Marko, Ryan Wisnesky, Jan Hidders, and I have been jamming on the Algebraic Property Graphs paper, which formalizes that type system. It's at 17 pages; I hope to have it in a sharable state tomorrow after I add an intro section. Looking forward to your feedback. We have delved into the TP4 virt

Re: N-Tuple Transactions?

from the same > query migrating around the cluster mutating stuff. > > Thanks for the lesson, > Marko. > > http://rredux.com <http://rredux.com/> > > > > > > On May 15, 2019, at 8:58 AM, Joshua Shinavier wrote: > > > > Hi Stephen, > > >

Re: N-Tuple Transactions?

onal semantics of the underlying graphs which we might > encounter? or is this an approach that helps unify those different > transactional semantics under TinkerPop's definition of a transaction? > > On Wed, May 15, 2019 at 9:23 AM Joshua Shinavier > wrote: > [...]

Re: N-Tuple Transactions?

Hi Marko, Get ready for monads . I mentioned them in my post on algebraic property graphs. In functional programming, monads are a typical way of composing chains

Re: N-Tuples, Pointers, Data Model Interfaces, and Bytecode Instructions

into an optimized bytecode for the data > storage system (easy for them, they only need to say what instructions they > support and costs). > 3. Submit that bytecode to processor for execution (easy for them, > they simply use their query planner to execute the data s

Re: N-Tuples, Pointers, Data Model Interfaces, and Bytecode Instructions

erties). So we treat edge relations like triples, where the first element of the triple is the identity of the edge. The _ symbol represents "don't care" variables. Josh On Sat, May 11, 2019 at 8:01 AM Joshua Shinavier wrote: > Hi Marko, > > Responses inline. > > &g

Re: N-Tuples, Pointers, Data Model Interfaces, and Bytecode Instructions

Hi Marko, Responses inline. On Tue, May 7, 2019 at 6:26 AM Marko Rodriguez wrote: > Whoa. > > Check out this trippy trick. > > First, here is how you define a pointer to a map-tuple. > > *{k1?v1, k2?v2, …, kn?vn} > * says “this is a pointer to a map" { } >

Re: The Fundamental Structure Instructions Already Exist! (w/ RDBMS Example)

OK, beginning at the beginning. On Mon, May 6, 2019 at 3:58 AM Marko Rodriguez wrote: > Hey Josh, > > > > One more thing is needed: disjoint unions. I described these in my email > on > > algebraic property graphs. They are the "plus" operator to complement the > > "times" operator in our type

Re: N-Tuples, Pointers, Data Model Interfaces, and Bytecode Instructions

Let me get back to you in a couple of days (post- Knowledge Graph Conference) with a more detailed reply, but I think we are more or less on the same page w.r.t. "pointers". With respect to sequences, in terms of type theory you can think of them as recursive types which make use of the disjoint un

Re: The Fundamental Structure Instructions Already Exist! (w/ RDBMS Example)

Hi Marko, Thanks for the detailed emails. Responses inline. On Thu, May 2, 2019 at 6:40 AM Marko Rodriguez wrote: > [...] > Thus, there exists a data model that can describe these database > structures in a database agnostic manner. > - not in terms of tables, vertices, JSON, column fa

Re: TP4 + Cypher

+1 For another data point, Alastair Green, also of Neo4j, was here at Uber last week to align on property graph standardization. This was just before the thread on universal structure / algebraic property graphs. He was open to using APG as a high-level data model from which the property graph sta

Re: The Fundamental Structure Instructions Already Exist! (w/ RDBMS Example)

Hi Marko, I like it. But I still have some constructive criticism. I think a little more simplicity in the right places will make things like index support, query optimization, and integration with SEDMs (someone else's data model) that much easier in the future. First, the "root". While we do ne

Re: The Fundamental Structure Instructions Already Exist! (w/ RDBMS Example)

Hi Marko, I will respond in more detail tomorrow (I'm a late-night-thinking, early-morning-writing kind of guy) but yes I think this is cool, so long as we are not overloading the steps with different levels of abstraction. A has("age", 29), for example, operates at a different level of abstractio

Re: [TinkerPop] Re: A TP4 Structure Agnostic Bytecode Specification (The Universal Structure)

These past few days, I have had some requests for a more detailed write-up of the data model, so here goes. See also my Global Graph Summit presentation . *

Re: [TinkerPop] A TP4 Structure Agnostic Bytecode Specification (The Universal Structure)

+10. Great to see structure and process coming together in this way. I think the algebraic and relational idiom will serve TP4 well. ADTs + constraints are all we need in order to expose a wide variety of structured data models to TinkerPop. Traditional property graphs, hypergraphs, relational DBs,

Re: What makes 'graph traversals' and 'relational joins' the same?

cents(‘asMap’,’name’,’age') > asList() => complexType.adjacents(‘asList’) > I think I need an example of asList(), but I agree that we can make properties into key/value maps. If we want to access metaproperties, then we don't use asMap(). It is up to the complexType to mani

Re: What makes 'graph traversals' and 'relational joins' the same?

sely so instructions produce useful results. > +1 > Does any of what I wrote update your comeFrom().goto() stuff? Sadly, no, though I appreciate that you are coming from a slightly different place w.r.t. properties, hypergraphs, and most importantly, the role of a type system. > If not, can yo

Re: [Article] Pull vs. Push-Based Loop Fusion in Query Engines

Cool to see push vs. pull studied in depth. Often, we simply pick one style and hope for the best. The cited paper on stream fusion is also interesting, and also delves into the nuance of lazy vs. strict evaluatio

Re: What makes 'graph traversals' and 'relational joins' the same?

gt;=, then perhaps the monadic expressions look pretty similar to what you have just sketched out. Might have to be careful about what it means to nest operations as in your addEdge examples. [I AM NOW BACK ON THE RAILS] > > Its as if “properties”, “outE”, “label”, “inV”, etc. references mea

Re: What makes 'graph traversals' and 'relational joins' the same?

On the subject of "reified joins", maybe be a picture will be worth a few words. As I said in the thread on property graph standardization, if you think of vertex labels, edge labels, and property keys as types, each with proj

Re: [DISCUSS] Primitive Types, Complex Types, and their Entailments in TP4

On Mon, Apr 15, 2019 at 12:07 PM Marko Rodriguez wrote: > [...] > TinkerPop4 will have VM implementations on various language-platforms. For > sure, Apache’s distribution will have a JVM and .NET implementation. The > purpose of TinkerPop-specific types (and not JVM, Mono, Python, etc.) types > i

Re: [DISCUSS] Primitive Types, Complex Types, and their Entailments in TP4

Hi Marko, I think this does satisfy your requirements, though I don't think I understand all aspects the approach, especially the need for TinkerPop-specific types *for basic scalar values* like booleans, strings, and numbers. Since we are committed to the native data types supported by the JVM, I

Re: [DISCUSS] Name of 3.4.x

gt; thanks again josh! > > On Thu, Apr 19, 2018 at 1:03 PM, Joshua Shinavier > wrote: > > > Great! Stephen, I'll submit the PR per your suggestions later today. > > > > Josh > > > > > > On Thu, Apr 19, 2018 at 5:36 AM, Robert Dale wrote: > > &

Re: [DISCUSS] Name of 3.4.x

; > > > Finally, i think that you should use full name in all its glory: > > "Avant-Gremlin > > Construction #3 for Theremin and Flowers" . If you don't feel like a pull > > request, you can just make the files available here and I can handle > > ge

Re: [DISCUSS] Name of 3.4.x

it the part for the logo on its own, but i really like it > with the background. not sure if we need to stay consistent with the "no > background" thing or not. > > anyway +1 for this name/logo - thanks > > On Wed, Apr 18, 2018 at 9:56 AM, Joshua Shinavier

Re: [DISCUSS] Name of 3.4.x

x) > * Nine Inch Gremlins (3.2.x) > * A 187 On The Undercover Gremlinz (3.1.x) > * A Gremlin Rāga in 7/16 Time (3.0.x) > > Maybe you're avant-gremlin could still fit that naming pattern? > > > > On Tue, Apr 17, 2018 at 9:30 PM, Joshua Shinavier > wrote: > &g

  1   2   >