The Forum for Discussion about The Third Manifesto and Related Matters

The Third Manifesto ForumUnread Topics

You need to log in to create posts and topics.

Unread Topics

WeirdIn Database Theory · 4 days ago

Update to Tutorial D, July 2020In Tutorial D · 1 month ago

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

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

Special cases for JOIN operationsIn Tutorial D · 2 months ago

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

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

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

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

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

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

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

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

Formalisation of Transitive ClosureIn TTM General discussion · 2 months ago

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

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

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

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

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

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

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

Why not relational ordering operators?In TTM General discussion · 3 months ago

Java JOINIn TTM General discussion · 3 months ago

Some issues with TTMIn TTM General discussion · 3 months ago

A TTM Tuple is not a RecordIn TTM General discussion · 3 months ago

Upload Files of types that are relevant to the audience hereIn Forum Use and Support · 3 months ago

Looking for a reference/piece of terminology: 'generative' dependencies(?)In Database Theory · 3 months ago

So C# really can be a D, but there are issues...In TTM General discussion · 3 months ago

Big birthday coming up ...In Database Theory · 3 months ago

Strange behaviour with <> code formattingIn Forum Use and Support · 4 months ago

Java as a host language for a DIn TTM General discussion · 4 months ago

'Garbage in, garbage out' should not be taken to imply any sort of conservation law limiting the amount of garbage produced.In Miscellaneous · 4 months ago

Does a database need anything more than a storage-based type system?In TTM General discussion · 4 months ago

Old love won't rust.In Miscellaneous · 4 months ago

The case for an RA based on generics instead of typesIn TTM General discussion · 4 months ago

How to expand assignment shortcutsIn TTM General discussion · 4 months ago

A tuple operation: UPDATE t1 FROM t2In TTM General discussion · 4 months ago

A reference manual for Tutorial D or RelIn Tutorial D · 4 months ago

Self partitioning a relationIn Miscellaneous · 4 months ago

Function relationsIn TTM General discussion · 4 months ago

Questions about some relational operator definitions and comments about the DIVIDEBY operationIn TTM General discussion · 6 months ago

Anonymous operators revisitedIn Tutorial D · 4 months ago

Aggregation in TD and RelIn Tutorial D · 4 months ago

Codd 1970 'domain' does not mean Date 2016 'type' [was: burble about Date's IM]In Database Theory · 10 months ago

Tutorial D - Relational Model Number TypeIn Tutorial D · 5 months ago

What are the nodes in a Visual RA?In Database Theory · 5 months ago

Andl Adds Relational Algebra to KnimeIn Miscellaneous · 5 months ago

Please do my homeworkIn Tutorial D · 5 months ago

Forum response noticeably sluggish, ~ 1:00 am Monday morning GMTIn Forum Use and Support · 5 months ago

More sad quotesIn TTM General discussion · 5 months ago