Groups

Categorical Data

1–30 of 83

This is the mailing list for discussing development of categoricaldata.net, a demonstration of some new ideas about databases using category theoretic foundations.

0 selected

Yuri de Wit, Ryan Wisnesky2

Apr 18

Rel: A Programming Language for Relational Data

Rel is cool, and everyone converges on first-order logic for a reason. Both Rel and CQL extend

unread,

Rel: A Programming Language for Relational Data

Rel is cool, and everyone converges on first-order logic for a reason. Both Rel and CQL extend

Apr 18

Yuri de Wit, Ryan Wisnesky2

Mar 19

Ensuring Disjoint Subclasses in CQL

Hi Yuri, It is indeed the case that in so-called “regular logic”, there isn't support for

unread,

Ensuring Disjoint Subclasses in CQL

Hi Yuri, It is indeed the case that in so-called “regular logic”, there isn't support for

Mar 19

Yuri de Wit, … Ryan Wisnesky10

Feb 25

Incremental ologs

After reading your reply, it seems that I need to stop reading papers :) and get my hands dirty using

unread,

Incremental ologs

After reading your reply, it seems that I need to stop reading papers :) and get my hands dirty using

Feb 25

Yuri de Wit, Ryan Wisnesky9

Feb 13

I am glad it was helpful! Thanks for the other insights. On Thursday, February 6, 2025 at 5:14:00 PM

unread,

I am glad it was helpful! Thanks for the other insights. On Thursday, February 6, 2025 at 5:14:00 PM

Feb 13

Julius Hamilton, … Ryan Wisnesky14

8/27/24

Hi Julius, Re: converting the Wikipedia XML data dump (which uncompressed is over 100GB) to SQL, this

unread,

Hi Julius, Re: converting the Wikipedia XML data dump (which uncompressed is over 100GB) to SQL, this

8/27/24

Richard Samuelson, Ryan Wisnesky6

8/12/24

I've pushed a new jar that fixes the anomaly in the (an?) original example too. The underlying

unread,

I've pushed a new jar that fixes the anomaly in the (an?) original example too. The underlying

8/12/24

Richard Samuelson, Ryan Wisnesky13

8/7/24

Running CQL files from the command line.

I'm afraid I don't have a good explanation for that; the only one I can think of is that

unread,

Running CQL files from the command line.

I'm afraid I don't have a good explanation for that; the only one I can think of is that

8/7/24

Richard Samuelson, Ryan Wisnesky4

7/30/24

Thank you! This was very helpful :). On Monday, July 29, 2024 at 6:49:38 PM UTC-7 wisn...@gmail.com

unread,

Thank you! This was very helpful :). On Monday, July 29, 2024 at 6:49:38 PM UTC-7 wisn...@gmail.com

7/30/24

amit, Ryan Wisnesky5

1/22/24

Issue migrating Constraints

Hi Amit, Depending on what you're trying to do, you could add additional UNIQUE KEY constraints

unread,

Issue migrating Constraints

Hi Amit, Depending on what you're trying to do, you could add additional UNIQUE KEY constraints

1/22/24

amit mahajan, Ryan Wisnesky3

12/12/23

Issue Connecting Database

Hi Ryan, Thank you so much for the suggestion, and it works. Now I can connect to PostgreSQL and SQL

unread,

Issue Connecting Database

Hi Ryan, Thank you so much for the suggestion, and it works. Now I can connect to PostgreSQL and SQL

12/12/23

Kamil D, Ryan Wisnesky6

5/18/23

Can you define schema describing a category?

CQL includes both eval and coeval as keywords: given a CQL query Q : S -> T, eval transforms S-

unread,

Can you define schema describing a category?

CQL includes both eval and coeval as keywords: given a CQL query Q : S -> T, eval transforms S-

5/18/23

Ryan Wisnesky, … Rich Hilliard5

2/6/21

major new release of CQL

Cool! I didn't even know there was a Java 15 until today! — Rich On 5 Feb 2021, at 9:18 PM, Ryan

unread,

major new release of CQL

Cool! I didn't even know there was a Java 15 until today! — Rich On 5 Feb 2021, at 9:18 PM, Ryan

2/6/21

9/22/19

Announcement: San Francisco Meetup Group

As part of the expansion of the categorical data project, we are starting a category theory meetup in

unread,

Announcement: San Francisco Meetup Group

As part of the expansion of the categorical data project, we are starting a category theory meetup in

9/22/19

Ryan Wisnesky, Paul-Olivier Dehaye2

9/11/19

Fwd: [TinkerPop] Algebraic Property Graphs

It is interesting indeed! I feel I should say hi. In a previous career I was a research mathematician

unread,

Fwd: [TinkerPop] Algebraic Property Graphs

It is interesting indeed! I feel I should say hi. In a previous career I was a research mathematician

9/11/19

Marco Perone, … David Spivak6

8/6/19

query for walking through a loop

It sounds like you wanted the "poset closure": you want to add reflexivity and transitivity

unread,

query for walking through a loop

It sounds like you wanted the "poset closure": you want to add reflexivity and transitivity

8/6/19

Simon Willerton, Ryan Wisnesky2

8/2/19

undergraduate maths project on categorical databases

I think that is a very viable idea, and one that a few people have done with David's CT for the

unread,

undergraduate maths project on categorical databases

I think that is a very viable idea, and one that a few people have done with David's CT for the

8/2/19

Benjamin Martin, Ryan Wisnesky6

7/11/19

CQL question: How to write a "path_equations" that prevents cycles?

Hi Benjamin, It is possible to export constraints as SQL triggers: open the EASIK tool from CQL's

unread,

CQL question: How to write a "path_equations" that prevents cycles?

Hi Benjamin, It is possible to export constraints as SQL triggers: open the EASIK tool from CQL's

7/11/19

James Hester, … Ryan Wisnesky14

6/20/19

Wondering how to use CQL to perform pi (right pushforward)

The latest jar file can now be used from the command line by passing it a filename as argument: java

unread,

Wondering how to use CQL to perform pi (right pushforward)

The latest jar file can now be used from the command line by passing it a filename as argument: java

6/20/19

Peter Klosowski, … Ryan Wisnesky6

5/29/19

Nested Data Example

Hi Peter, I think your intuition for handling nested data in SQL should extend to CQL. By 'simple

unread,

Nested Data Example

Hi Peter, I think your intuition for handling nested data in SQL should extend to CQL. By 'simple

5/29/19

chri...@begroup.io, Ryan Wisnesky2

4/19/19

Importing a postgres schema from RDS in CQL

Hello, The string given to the JDBC operations needs to be a JDBC string, ie, you must load the

unread,

Importing a postgres schema from RDS in CQL

Hello, The string given to the JDBC operations needs to be a JDBC string, ie, you must load the

4/19/19

Tim Pierson, Ryan Wisnesky3

4/11/19

CQL operational use

Hey Ryan, Thanks for the info, that was quite helpful. We're going to proceed on our side and I

unread,

CQL operational use

Hey Ryan, Thanks for the info, that was quite helpful. We're going to proceed on our side and I

4/11/19

Ryan Wisnesky, … Ivano Pagano5

5/30/18

AQL research complete and call for involvement

Hi Ivano, Given your background, you may find this 'Boston Haskell' lecture particularly

unread,

AQL research complete and call for involvement

Hi Ivano, Given your background, you may find this 'Boston Haskell' lecture particularly

5/30/18

Abhinav Verma, … Abhinav Verma4

4/25/18

Datasets and evaluations

Thank you Fred and Ryan. As of now I don't have any datasets that you might find useful, but I

unread,

Datasets and evaluations

Thank you Fred and Ryan. As of now I don't have any datasets that you might find useful, but I

4/25/18

Fred Eisele, Ryan Wisnesky2

4/21/18

[SQL : AQL] correspondence : examples

Hi Fred, AQL is both more expressive than SQL in some ways (AQL can 'chase' and SQL can't

unread,

[SQL : AQL] correspondence : examples

Hi Fred, AQL is both more expressive than SQL in some ways (AQL can 'chase' and SQL can't

4/21/18

Fred Eisele, David Spivak5

3/19/18

Question about the meaning of Δ𝔽 in "Functorial Data Migration"

Thanks, that is pretty cool. However, it turns out it is in fact a pullback in the sense you mention

unread,

Question about the meaning of Δ𝔽 in "Functorial Data Migration"

Thanks, that is pretty cool. However, it turns out it is in fact a pullback in the sense you mention

3/19/18

Fred Eisele, Ryan Wisnesky8

2/20/18

Is there a way to include the foreign key value in a query result?

Here is the schema produced by exec_jdbc per the file provided. [provided for reference] { entities

unread,

Is there a way to include the foreign key value in a query result?

Here is the schema produced by exec_jdbc per the file provided. [provided for reference] { entities

2/20/18

Fred Eisele, … Ryan Wisnesky9

2/14/18

Construction of disjunctive queries in AQL

Yes, AQL can emit SQL(s) for any AQL query, but only those AQL queries where the type side functions

unread,

Construction of disjunctive queries in AQL

Yes, AQL can emit SQL(s) for any AQL query, but only those AQL queries where the type side functions

2/14/18

Fred Eisele, … Ryan Wisnesky21

1/24/18

Schema Evolution Example

Yes, I have a set of mapping's that appears to give me what I expect for this specific case. 1.

unread,

Schema Evolution Example

Yes, I have a set of mapping's that appears to give me what I expect for this specific case. 1.

1/24/18

Fred Eisele, … Ryan Wisnesky10

1/24/18

Support for SQL Prepared Statement

There's an interesting phenomenon going on with these parameters and their instantiations that I

unread,

Support for SQL Prepared Statement

There's an interesting phenomenon going on with these parameters and their instantiations that I

1/24/18

1/23/18

Solving Query Composition : the General Division Problem

Capture the discussion on the "general division problem" for posterity Case Study: Suppose

unread,

Solving Query Composition : the General Division Problem

Capture the discussion on the "general division problem" for posterity Case Study: Suppose

1/23/18

Search

Clear search

Close search

Google apps

Main menu