Rel version 0.3.18 Alpha now available

This forum contains announcements about Rel.
Post Reply
Dave
Site Admin
Posts: 372
Joined: Sun Nov 27, 2005 7:19 pm

Rel version 0.3.18 Alpha now available

Post by Dave »

This version of Rel fixes several bugs and makes a change to the TYPE
semantics to better conform to the model defined in The Third
Manifesto.

1. The supplied batch files for Windows systems referenced parameters
as $n (UNIX/Linux syntax) instead of %n. This has been corrected.

2. Creating a relvar using a user-defined Java-based TYPE, e.g., 'VAR
TEST BASE RELATION {X Date} KEY{X};' where Date is a 'FOREIGN Java'
type, caused an exception. This has been fixed.

3. Given:

Code: Select all

TYPE DATE POSSREP { c CHAR CONSTRAINT LENGTH ( c ) = 8 AND
     IS_DIGITS ( c ) }; 
VAR TEST BASE RELATION { ID INTEGER, D DATE }
     KEY{ID};
The following threw an internal error instead of the appropriate type
mismatch error:

Code: Select all

TEST := RELATION {
    TUPLE {ID 1, D "15061989"}
};
This has been corrected.

4. In order to more closely confirm to The Third Manifesto's
documented model, the implicit tagged UNION construct (a Rel-specific
extension) has been removed.

Where this was previously supported:

Code: Select all

TYPE List  
     POSSREP Node {data INTEGER, next List} 
     POSSREP Nothing {};
You should use this:

Code: Select all

TYPE List UNION;
TYPE Node IS {List POSSREP {data INTEGER, next List}};
TYPE Nothing IS {List POSSREP {}}; 
For more information, or to download Rel, see
http://dbappbuilder.sourceforge.net/Rel.html
Post Reply