The Forum for Discussion about The Third Manifesto and Related Matters

You need to log in to create posts and topics.

TTM General discussion

123
TopicsLast post
Formalisation of Transitive ClosureBy dandl8 RepliesLast post: 2 days ago · dandl
2 days ago
dandl
Formal definitions for Relation Constant, Transitive Closure, Extended Transitive ClosureBy dandl0 RepliesLast post: 3 days ago · dandl
3 days ago
dandl
Formalisation of Appendix A 'relcons'By dandl0 RepliesLast post: 5 days ago · dandl
5 days ago
dandl
A better sample of 'C# as D' Mark IIBy dandl0 RepliesLast post: 5 days ago · dandl
5 days ago
dandl
Heading inference, not type inferenceBy dandl · 
1234
30 RepliesLast post: 5 days ago · AntC
5 days ago
AntC
Defining a function relation by means of a headingBy dandl · 
12
13 RepliesLast post: 1 week ago · AntC
1 week ago
AntC
Update on "C# is a D" projectBy dandl · 
1234
36 RepliesLast post: 2 weeks ago · Dave Voorhis
2 weeks ago
Dave Voorhis
Why not relational ordering operators?By dandl · 
123
21 RepliesLast post: 2 weeks ago · dandl
2 weeks ago
dandl
Java JOINBy Dave Voorhis · 
12
17 RepliesLast post: 3 weeks ago · dandl
3 weeks ago
dandl
Some issues with TTMBy dandl · 
1234
33 RepliesLast post: 3 weeks ago · dandl
3 weeks ago
dandl
A TTM Tuple is not a RecordBy dandl · 
123Last »
59 RepliesLast post: 3 weeks ago · dandl
3 weeks ago
dandl
So C# really can be a D, but there are issues...By dandl0 RepliesLast post: 4 weeks ago · dandl
4 weeks ago
dandl
Java as a host language for a DBy dandl · 
123
21 RepliesLast post: 1 month ago · Dave Voorhis
1 month ago
Dave Voorhis
Does a database need anything more than a storage-based type system?By dandl · 
1234
30 RepliesLast post: 2 months ago · Erwin
2 months ago
Erwin
The case for an RA based on generics instead of typesBy dandl · 
123
21 RepliesLast post: 2 months ago · Dave Voorhis
2 months ago
Dave Voorhis
How to expand assignment shortcutsBy dandl8 RepliesLast post: 2 months ago · johnwcowan
2 months ago
johnwcowan
A tuple operation: UPDATE t1 FROM t2By AntC4 RepliesLast post: 2 months ago · AntC
2 months ago
AntC
Function relationsBy dandl · 
123
22 RepliesLast post: 2 months ago · Dave Voorhis
2 months ago
Dave Voorhis
Questions about some relational operator definitions and comments about the DIVIDEBY operationBy Greg Klisch · 
123Last »
74 RepliesLast post: 2 months ago · Greg Klisch
2 months ago
Greg Klisch
More sad quotesBy p c1 ReplyLast post: 3 months ago · Dave Voorhis
3 months ago
Dave Voorhis
123