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

Life after D with Safe JavaIn TTM General discussion · 6 days ago

Relations as sets of columnsIn Database Theory · 5 days ago

TTM without tuplesIn TTM General discussion · 1 week ago

On the cardinality of (scalar) typesIn TTM General discussion · 5 days ago

Life after JIn TTM General discussion · 2 weeks ago

ANSWERED: Aesthetics of collection delimiters - braces vs bracketsIn TTM General discussion · 2 weeks ago

Life after DIn TTM General discussion · 1 month ago

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

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

Formal definitions for Relation Constant, Transitive Closure, Extended Transitive ClosureIn TTM General discussion · 11 months ago

What do set-based operations buy us?In Database Theory · 2 months ago

Uh-oh: a 'partnership with the Excel team to transform spreadsheet formulas into a full-fledged programming language'In Miscellaneous · 2 months ago

Unifying small and great divideIn Tutorial D · 2 months ago

'data language' / 'programming language'In Miscellaneous · 3 months ago

A plague on 'Relationally Complete'In Database Theory · 2 months ago

NoSQL and SQL and 'relational' -- a mess of disinformationIn Miscellaneous · 3 months ago

Status of my Julia implementationIn TTM General discussion · 3 months ago

Meaning of a relationIn TTM General discussion · 3 months ago

A layer over SQL [was Meaning of a relation]In TTM General discussion · 3 months ago

Subset types, in a completely other contextIn TTM General discussion · 3 months ago

Where to start for a beginner?In TTM General discussion · 5 months ago

DiscourseIn Forum Use and Support · 4 months ago

Is there a language that does both what SQL does and general purpose programming?In TTM General discussion · 5 months ago

Why is Cassandra not considered a relational database?In TTM General discussion · 5 months ago

Adding a new attribute to an existing relationIn Miscellaneous · 5 months ago

Key questionsIn Database Theory · 7 months ago

RAQUEL needs a New HomeIn Miscellaneous · 5 months ago

Where can I find paper "Further Normalization of the Data Base Relational Model"?In Database Theory · 6 months ago

Correlated subqueriesIn TTM General discussion · 6 months ago

"And the moral is, don't use Excel as a scientific database ..."In Miscellaneous · 1 year ago

Does RM Pro 4 really preclude NULLs?In TTM General discussion · 11 months ago

Heading inference, not type inferenceIn TTM General discussion · 11 months ago

WeirdIn Database Theory · 9 months ago

Update to Tutorial D, July 2020In Tutorial D · 10 months ago

An alternative to open expressionsIn TTM General discussion · 9 months ago

'Phantom type' for Attribute-Value pairs, in "popular languages" [was C# as a D]In TTM General discussion · 10 months ago

Special cases for JOIN operationsIn Tutorial D · 10 months ago

Another better sample of 'C# as D'In TTM General discussion · 10 months ago

'Auxiliary relvar' by any other name? [was: Specialisation-by-Constraint for arithmetic operations]In TTM General discussion · 10 months ago

Specialisation-by-Constraint for arithmetic operations: up to a point, Lord CopperIn TTM General discussion · 10 months ago

Can TCLOSE and GTC claim to be about directed paths without edges having a direction?In TTM General discussion · 11 months ago

Does TRANCLO have to be recursive?In Tutorial D · 10 months ago

Clarification re local relvar and KEYIn Tutorial D · 11 months ago

Relcons and relfuns are both FOPLIn TTM General discussion · 11 months ago

Formalisation of Transitive ClosureIn TTM General discussion · 11 months ago

Formalisation of Appendix A 'relcons'In TTM General discussion · 11 months ago

A better sample of 'C# as D' Mark IIIn TTM General discussion · 11 months ago

Defining a function relation by means of a headingIn TTM General discussion · 11 months ago

C# 9.0 has data classesIn Database Theory · 11 months ago

Update on "C# is a D" projectIn TTM General discussion · 12 months ago