The Forum for Discussion about The Third Manifesto and Related Matters

The Third Manifesto ForumDatabases: Database Theory

Please or Register to create posts and topics.

Database Theory

TopicsLast post

Making illegal states unrepresentableBy tobega3 RepliesLast post: 2 days ago · dandl

2 days ago
dandl

Object-Relational hybrids and `id` as Primary keyBy AntC ·

18 RepliesLast post: 1 month ago · Hugh

1 month ago
Hugh

Operators on tuples/'Expressively complete'/RM Pre 6By AntC ·

47 RepliesLast post: 6 months ago · Erwin

6 months ago
Erwin

Relational Theory and the Russell ParadoxBy Erwin ·

59 RepliesLast post: 9 months ago · Hugh

9 months ago
Hugh

SQL 1992 `UNION JOIN`-- huh?By AntC2 RepliesLast post: 1 year ago · AntC

1 year ago
AntC

Which Reality?By Paul Vernon ·

69 RepliesLast post: 1 year ago · dandl

1 year ago
dandl

Which value?By Paul Vernon1 ReplyLast post: 1 year ago · Dave Voorhis

1 year ago
Dave Voorhis

Which Representation?By Paul Vernon6 RepliesLast post: 1 year ago · Dave Voorhis

1 year ago
Dave Voorhis

Which Logical Difference?By Paul Vernon ·

11 RepliesLast post: 1 year ago · Paul Vernon

1 year ago
Paul Vernon

Which Result?By Paul Vernon ·

76 RepliesLast post: 1 year ago · dandl

1 year ago
dandl

Which type?By Paul Vernon ·

80 RepliesLast post: 1 year ago · Paul Vernon

1 year ago
Paul Vernon

Which Empty?By Paul Vernon ·

11 RepliesLast post: 1 year ago · dandl

1 year ago
dandl

Comments to Wikipedia Type theory articleBy Vadim8 RepliesLast post: 1 year ago · dandl

1 year ago
dandl

Which Set Theory?By Paul Vernon ·

11 RepliesLast post: 1 year ago · Vadim

1 year ago
Vadim

Which tuple?By Paul Vernon4 RepliesLast post: 1 year ago · Dave Voorhis

1 year ago
Dave Voorhis

Some light entertainment: [database theorists] "should stay in their lane and let the apps decide ..."By AntC2 RepliesLast post: 2 years ago · Erwin

2 years ago
Erwin

On uniqueness of R00By Vadim4 RepliesLast post: 2 years ago · Vadim

2 years ago
Vadim

Type checking/inference, practical application?By mamcx ·

33 RepliesLast post: 2 years ago · dandl

2 years ago
dandl

Relational Lattice Axiomatizations in various signaturesBy Vadim0 RepliesLast post: 2 years ago · Vadim

2 years ago
Vadim

On Relational Lattice complements, pseudocomplements, distributivity and Boolean algebrasBy AntC ·

14 RepliesLast post: 2 years ago · AntC

2 years ago
AntC