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 · 2 years ago

Life after D safe Java Mk IIIIn TTM General discussion · 2 years ago

Tuples FTWIn TTM General discussion · 2 years ago

Relations as sets of columnsIn Database Theory · 2 years ago

On the cardinality of (scalar) typesIn TTM General discussion · 2 years ago

Life after JIn TTM General discussion · 2 years ago

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

Life after DIn TTM General discussion · 2 years ago

Life after D -- M for metaprogrammingIn TTM General discussion · 2 years ago

Temporary domain name change.In Forum Administration · 2 years ago

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

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

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

Unifying small and great divideIn Tutorial D · 2 years ago

'data language' / 'programming language'In Miscellaneous · 2 years ago

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

NoSQL and SQL and 'relational' -- a mess of disinformationIn Miscellaneous · 2 years ago

Status of my Julia implementationIn TTM General discussion · 2 years ago

Meaning of a relationIn TTM General discussion · 2 years ago

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

Subset types, in a completely other contextIn TTM General discussion · 2 years ago

Where to start for a beginner?In TTM General discussion · 2 years ago

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

Why is Cassandra not considered a relational database?In TTM General discussion · 2 years ago

Adding a new attribute to an existing relationIn Miscellaneous · 2 years ago

Key questionsIn Database Theory · 2 years ago

RAQUEL needs a New HomeIn Miscellaneous · 2 years ago

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

Correlated subqueriesIn TTM General discussion · 2 years ago

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

Does RM Pro 4 really preclude NULLs?In TTM General discussion · 3 years ago

Heading inference, not type inferenceIn TTM General discussion · 3 years ago

WeirdIn Database Theory · 3 years ago

Update to Tutorial D, July 2020In Tutorial D · 3 years ago

An alternative to open expressionsIn TTM General discussion · 3 years ago

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

Special cases for JOIN operationsIn Tutorial D · 3 years ago

Another better sample of 'C# as D'In TTM General discussion · 3 years ago

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

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

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

Does TRANCLO have to be recursive?In Tutorial D · 3 years ago

Clarification re local relvar and KEYIn Tutorial D · 3 years ago

Relcons and relfuns are both FOPLIn TTM General discussion · 3 years ago

Formalisation of Transitive ClosureIn TTM General discussion · 3 years ago

Formalisation of Appendix A 'relcons'In TTM General discussion · 3 years ago

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

Defining a function relation by means of a headingIn TTM General discussion · 3 years ago

C# 9.0 has data classesIn Database Theory · 3 years ago

Update on "C# is a D" projectIn TTM General discussion · 3 years ago