The Rel Forum

Posted: **Tue Sep 23, 2008 4:35 pm**

Perhaps there should be a special section for discussing Rel vs Tutorial D differences. IWBNI the one mentioned in my subject line were resolved one day!

I mean something like:

VAR S BASE RELATION { S# CHAR, Sname CHAR,
Status INTEGER, City CHAR}
KEY { S# }
INIT ( RELATION {
TUPLE { S# 'S1', Sname 'Smith',
City 'London',
Status 20 }
} ) ;

Hugh

Posted: **Tue Sep 23, 2008 8:23 pm**

The Tutorial D grammar specifies that a <real relation var def> ::= VAR <relation var name> <real or base> <relation type or init value> <candidate key def>.

Therefore, the above should be:

Code: Select all

VAR S BASE RELATION { S# CHAR, Sname CHAR, 
                      Status INTEGER, City CHAR} 
           INIT ( RELATION { 
                    TUPLE { S# 'S1', Sname 'Smith',
                            City 'London', 
                            Status 20 }
                    }  ) 
           KEY { S# } ;

I think you'll find it works.

The Rel Forum

Tutorial D INIT clause still not supported on base relvars

Tutorial D INIT clause still not supported on base relvars

Re: Tutorial D INIT clause still not supported on base relvars