Forum Navigation
Unread Topics
ChatGPT implementation of the relational model.In Miscellaneous · 6 months ago
Making illegal states unrepresentableIn Database Theory · 6 months ago
Object-Relational hybrids and `id` as Primary keyIn Database Theory · 7 months ago
Where do y'all hang out?In TTM General discussion · 9 months ago
Uploading a pictureIn Forum Use and Support · 9 months ago
Tutorial D railway diagramsIn Tutorial D · 11 months ago
ANNOUNCE: Rel version 3.016 now available!In Miscellaneous · 12 months ago
Good language design? { I rather think not }In Tutorial D · 12 months ago
Operators on tuples/'Expressively complete'/RM Pre 6In Database Theory · 12 months ago
ANNOUNCE: Rel version 3.015 released!In Miscellaneous · 12 months ago
Relational Theory and the Russell ParadoxIn Database Theory · 4 years ago
SQL 1992 `UNION JOIN`-- huh?In Database Theory · 2 years ago
Season's greetings ...In Miscellaneous · 2 years ago
Which Reality?In Database Theory · 2 years ago
Which value?In Database Theory · 2 years ago
Javascript records/tuples proposalIn Miscellaneous · 2 years ago
Which Representation?In Database Theory · 2 years ago
Which Logical Difference?In Database Theory · 2 years ago
Which Result?In Database Theory · 2 years ago
Which type?In Database Theory · 2 years ago
Which Empty?In Database Theory · 2 years ago
Comments to Wikipedia Type theory articleIn Database Theory · 2 years ago
Which Set Theory?In Database Theory · 2 years ago
Which tuple?In Database Theory · 2 years ago
ANNOUNCE: WrapdIn Miscellaneous · 2 years ago
Another language with relational constructs addedIn Miscellaneous · 2 years ago
DiscourseIn Forum Use and Support · 3 years ago
Almost (but not quite) an ANNOUNCEIn Miscellaneous · 2 years ago
The future of TTMIn TTM General discussion · 2 years ago
Expressivenes of SQL vs TTMIn TTM General discussion · 2 years ago
TTM without tuplesIn TTM General discussion · 2 years ago
The type of <TCLOSE>In Tutorial D · 2 years ago
On uniqueness of R00In Database Theory · 2 years ago
Type checking/inference, practical application?In Database Theory · 2 years ago
Language safety missing when D meets DatabaseIn TTM General discussion · 2 years ago
An Algebra of R00, R01, R10, and R11In Database Theory · 2 years ago
The intellectual curiosity of `NatJoin`, `InnerUnion`In Database Theory · 2 years ago
Why 'Join'?In Database Theory · 2 years ago