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

WeirdIn Database Theory · 2 months ago

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

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

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

Special cases for JOIN operationsIn Tutorial D · 3 months ago

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

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

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

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

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

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

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

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

Formalisation of Transitive ClosureIn TTM General discussion · 4 months ago

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

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

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

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

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

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

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

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

Java JOINIn TTM General discussion · 4 months ago

Some issues with TTMIn TTM General discussion · 5 months ago

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

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

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

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

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

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

Java as a host language for a DIn TTM General discussion · 5 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 · 5 months ago

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

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

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

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

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

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

Self partitioning a relationIn Miscellaneous · 6 months ago

Function relationsIn TTM General discussion · 6 months ago

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

Anonymous operators revisitedIn Tutorial D · 6 months ago

Aggregation in TD and RelIn Tutorial D · 6 months ago

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

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

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

Andl Adds Relational Algebra to KnimeIn Miscellaneous · 6 months ago

Please do my homeworkIn Tutorial D · 6 months ago

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

More sad quotesIn TTM General discussion · 6 months ago