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

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

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

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

Which Reality?In Database Theory · 7 months ago

Which value?In Database Theory · 7 months ago

Javascript records/tuples proposalIn Miscellaneous · 7 months ago

Which Representation?In Database Theory · 7 months ago

Which Logical Difference?In Database Theory · 7 months ago

Which Result?In Database Theory · 8 months ago

Which type?In Database Theory · 8 months ago

Which Empty?In Database Theory · 8 months ago

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

Which Set Theory?In Database Theory · 8 months ago

Which tuple?In Database Theory · 8 months ago

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

ANNOUNCE: WrapdIn Miscellaneous · 8 months ago

Another language with relational constructs addedIn Miscellaneous · 8 months ago

DiscourseIn Forum Use and Support · 2 years ago

Almost (but not quite) an ANNOUNCEIn Miscellaneous · 11 months ago

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

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

The future of TTMIn TTM General discussion · 11 months ago

Expressivenes of SQL vs TTMIn TTM General discussion · 12 months ago

TTM without tuplesIn TTM General discussion · 1 year ago

The type of <TCLOSE>In Tutorial D · 12 months ago

On uniqueness of R00In Database Theory · 12 months ago

Type checking/inference, practical application?In Database Theory · 12 months ago

Relational Lattice Axiomatizations in various signaturesIn Database Theory · 12 months 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 · 12 months 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 · 1 year ago

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

Life after DIn TTM General discussion · 1 year ago

Life after D -- M for metaprogrammingIn TTM General discussion · 1 year ago

Temporary domain name change.In Forum Administration · 1 year ago

Formal definitions for Relation Constant, Transitive Closure, Extended Transitive ClosureIn TTM General discussion · 2 years ago