The Forum for Discussion about The Third Manifesto and Related Matters

The Third Manifesto ForumUnread Topics

Please or Register to create posts and topics.

Unread Topics

Operators on tuples/'Expressively complete'/RM Pre 6In Database Theory · 7 days ago

ANNOUNCE: Rel version 3.015 released!In Miscellaneous · 1 day ago

Relational Theory and the Russell ParadoxIn Database Theory · 3 years ago

JSON cp XML and other interchange formats: why so verbose?In Miscellaneous · 4 months ago

SQL 1992 `UNION JOIN`-- huh?In Database Theory · 9 months ago

Season's greetings ...In Miscellaneous · 9 months ago

Which Reality?In Database Theory · 10 months ago

Which value?In Database Theory · 10 months ago

Javascript records/tuples proposalIn Miscellaneous · 10 months ago

Which Representation?In Database Theory · 10 months ago

Which Logical Difference?In Database Theory · 10 months ago

Which Result?In Database Theory · 11 months ago

Which type?In Database Theory · 11 months ago

Which Empty?In Database Theory · 11 months ago

Comments to Wikipedia Type theory articleIn Database Theory · 11 months ago

Which Set Theory?In Database Theory · 11 months ago

Which tuple?In Database Theory · 11 months ago

Ballerina, perhaps a more serious language with relational constructsIn Miscellaneous · 11 months ago

ANNOUNCE: WrapdIn Miscellaneous · 11 months ago

Another language with relational constructs addedIn Miscellaneous · 11 months ago

DiscourseIn Forum Use and Support · 2 years ago

Almost (but not quite) an ANNOUNCEIn Miscellaneous · 1 year ago

Looking for a mathy term/theory: invertible operator, functional dependencyIn Miscellaneous · 1 year ago

Some light entertainment: [database theorists] "should stay in their lane and let the apps decide ..."In Database Theory · 1 year ago

The future of TTMIn TTM General discussion · 1 year ago

Expressivenes of SQL vs TTMIn TTM General discussion · 1 year ago

TTM without tuplesIn TTM General discussion · 1 year ago

The type of <TCLOSE>In Tutorial D · 1 year ago

On uniqueness of R00In Database Theory · 1 year ago

Type checking/inference, practical application?In Database Theory · 1 year ago

Relational Lattice Axiomatizations in various signaturesIn Database Theory · 1 year ago

On Relational Lattice complements, pseudocomplements, distributivity and Boolean algebrasIn Database Theory · 1 year ago

Types versus sets in math and programming languagesIn TTM General discussion · 1 year ago

ANNOUNCE: a relational algebra with only one primitive operator (tentative) (please check/critique)In Database Theory · 1 year ago

Language safety missing when D meets DatabaseIn TTM General discussion · 1 year ago

An Algebra of R00, R01, R10, and R11In Database Theory · 1 year ago

The macro-level lattice structure of relations in the vicinity of `DEE`, `DUM`In Database Theory · 1 year ago

`SELECT DISTINCT` -- a(nother) disaster waiting to happenIn Database Theory · 1 year ago

The intellectual curiosity of `NatJoin`, `InnerUnion`In Database Theory · 1 year ago

Why 'Join'?In Database Theory · 1 year ago

A (not so new) query language?In Miscellaneous · 1 year ago

DictionariesIn TTM General discussion · 1 year ago

Life after D with Safe JavaIn TTM General discussion · 1 year ago

Life after D safe Java Mk IIIIn TTM General discussion · 1 year ago

Tuples FTWIn TTM General discussion · 1 year ago

Relations as sets of columnsIn Database Theory · 1 year ago

On the cardinality of (scalar) typesIn TTM General discussion · 1 year ago

Life after JIn TTM General discussion · 2 years ago

ANSWERED: Aesthetics of collection delimiters - braces vs bracketsIn TTM General discussion · 1 year ago

Life after DIn TTM General discussion · 2 years ago