> #define CRT_ST_PROD_4(SQLPROD, RSLP, T1, ID1, T2, ID2, T3, ID3, T4, ID4) \
 >     struct SQLPROD{\
 >       int counter;\
 >       T1 ID1;\
 >       T2 ID2;\
 >       T3 ID3;\
 >       T4 ID4;\
 >       string tbl; string prod_name; string key; bool exist_tbl;\
 >       string product; string holder; bool without_init;bool with_arg;\
 >       vector<string> vs;\
 >       vector<string> vst;\
 >       SQLPROD(): counter( 4 ), tbl(#SQLPROD), prod_name(#RSLP), with_arg(false), exist_tbl(false)\
 >       {vs.push_back(#ID1); vs.push_back(#ID2); vs.push_back(#ID3); vs.push_back(#ID4); \
 >       vst.push_back(#T1); vst.push_back(#T2); vst.push_back(#T3); vst.push_back(#T4); }\
 > 
 > 
 >       SQLPROD(int k): counter( 4 ), tbl(#SQLPROD), prod_name(#RSLP), with_arg(false), exist_tbl(true)\
 >       {vs.push_back(#ID1); vs.push_back(#ID2); vs.push_back(#ID3); vs.push_back(#ID4); \
 >       vst.push_back(#T1); vst.push_back(#T2); vst.push_back(#T3); vst.push_back(#T4); }\
 > 
 >       SQLPROD(T1 id1, T2 id2, T3 id3, T4 id4) : counter( 4 ), tbl(#SQLPROD), prod_name(#RSLP),exist_tbl(false), \
 >       ID1(id1), ID2(id2), ID3(id3), ID4(id4) {vs.push_back(#ID1); vs.push_back(#ID2); vs.push_back(#ID3); vs.push_back(#ID4); \
 >       vst.push_back(#T1); vst.push_back(#T2); vst.push_back(#T3); vst.push_back(#T4); }\
 > 
 >       SQLPROD(T1 id1, RSLP p) : tbl(#SQLPROD), prod_name(#RSLP),  counter( 4 ), ID1(id1)\
 >       , ID2(p.RSL_f1), ID3(p.RSL_f2), ID4(p.RSL_f3) , without_init(false), exist_tbl(false)\
 >       {product=RSL_to_string(p);\
 >       vs.push_back(#ID1); vs.push_back(#ID2); vs.push_back(#ID3); vs.push_back(#ID4); \
 >       vst.push_back(#T1); vst.push_back(#T2); vst.push_back(#T3); vst.push_back(#T4); }\
 >       SQLPROD(T1 id1, RSLP p, SQLPROD u) : tbl(#SQLPROD),  prod_name(#RSLP), counter( 4 ), ID1(id1)\
 >       , ID2(p.RSL_f1), ID3(p.RSL_f2), ID4(p.RSL_f3) , without_init(false), with_arg(true), exist_tbl(false) \
 >       {product=RSL_to_string(p); key=cnvrt2string(ID1);\
 >       vs.push_back(#ID1); vs.push_back(#ID2); vs.push_back(#ID3); vs.push_back(#ID4); \
 >       vst.push_back(#T1); vst.push_back(#T2); vst.push_back(#T3); vst.push_back(#T4); \
 >       if (u.with_arg) holder = ',' + u.rec_val() + u.holder;\
 >       }\
 >        string rec_val(){\
 >          string s= "(" ;\
 >          s=s+ cnvrt2string(ID1); s+= ", " ;\
 >          s=s+ cnvrt2string(ID2); s+= ", " ;\
 >          s=s+ cnvrt2string(ID3); s+= ", " ;\
 >          s=s + cnvrt2string(ID4); s+= ")" ;\
 >          return s;}\
 >        string rec_field(){\
 >          string s= "(" ;\
 >          s=s+vs[ 0 ] +  ", " ;\
 >          s=s+vs[ 1 ] +  ", " ;\
 >          s=s+vs[ 2 ] +  ", " ;\
 >      s=s + vs[ 3 ] +  ")" ;\
 >      return s;}\
 > SQLPROD operator+(SQLPROD rhs){\
 >  if(rhs.with_arg==false){\
 > (*this).without_init=false; (*this).with_arg=false;\
 >  return *this;}\
 >  if(with_arg==false){\
 > rhs.without_init=false; rhs.with_arg=false;\
 >  return rhs;}\
 >  (*this).holder= holder+  ","  + rhs.rec_val() +  rhs.holder;\
 > (*this).without_init=false; (*this).with_arg=true;\
 > return *this;}\
 > };

// Table/View to SDE - convertor is here: func/struct = true;tbl=Book;prf=

struct _RBook : ASAI_TSde{              // _RBook наследуется от обьекта ASAI_TSde
    TStr    title;                      // эти структуры будут учавствовать
    TStr    author;                     // для создания списка  структур
    TDouble price;                      //
 private:
    x_bool    isGood;
 public: 
    friend _API _RBook * WINAPI _iniBook( _RBook * r)
    ;
    _RBook           (                   // конструктор
        void * sqlca =  0                  //
                                         //
    ) : ASAI_TSde( "Book" ,                // название таблицы
                   (ASAI_TDB*)sqlca,     // область для   EMBEDDED SQL
                    true,                // признак таблицы
                      "",                 // создатель таблицы
                     " id")               // поле первичного ключа
    { if (_iniBook(this))
            isGood=true;
        else
            isGood=false;
    }
    friend _API void WINAPI _deiniBook( _RBook * r)
    ;
    ~_RBook          () { _deiniBook (this);}
    x_bool isWellFormed      () { return isGood;}
};

// Table/View to SDE - convertor: eof

// Table/View to SDE - convertor is here: func/struct = false;tbl=Book;prf=
_API _RBook * WINAPI _iniBook( _RBook * r)
{
const char * _me =  "iniBook" ;
r->title.vSz  =  32 ;
r->aithor.vSz =  16 ;

if(r->push(                              // засунуть в список новое поле
              new ASAI_TField(           //
                     "title" ,             // с именем title
                     ASAI_T_TStr,        //   типа строчка
                     (void*) &(r->title))//   и область памяти
                                         //   для получения/вставки
   ) != _OK                              //   значений из/в БД
)
            goto err;



r->tank2.setNull( 0 );
if(r->push( new ASAI_TField( "author" , ASAI_T_TStr, 
                                               (void*) &(r->author))) != _OK
)
            goto err;
r->tank1.setNull( 0 );
if(r->push( new ASAI_TField( "price" , ASAI_T_TDouble, 
                                               (void*) &(r->price))) != _OK
)
            goto err;
r->pump.setNull( 0 );
        return r;
    err:
return  0 ;
}

alter table Position
  add  constraint pos_pmp_fk 
  foreign key (pump) references Pump(id)
  ON DELETE CASCADE;

has_author : Text -> read books Book_id-set

has_author(t) is

{bi |

bi : Book_id :-

bi isin books /\ author(books(bi)) = t /\

price(books(bi)) >  20 . 5 },

it becomes in S42.cc as follows:

RSL_sI has_author(const RSL_string& t_A3A){

RSL_Temp_0::t_A3A = t_A3A;

RSL_sI RSL_Temp_2 = RSL_compsql<
                      int,
                      int,
                      Book,
                      RSL_ImBook_267_tbl
                     >(
                       (RSL_IfI)RSL_identity,
                        RSL_Temp_0::RSL_Temp_1,
                        books
                     );

Return RSL_Temp_2;

}

(see definition of RSL_compsql function).

 ------ отрывок файла RSL_sql.h -----------
 

template<typename A, typename B, typename R, typename ST>
RSLSet<B> RSL_compsql(
              B (*g)(const A &),
              bool (*p)(const A &),
              RSL_SQL<A, R, ST> &rslsql
  ){
  RSLDBResult *rs;
  RSLSet<B> r=RSLSet<B>();
  A a;
  rs=rslsql.exec( "SELECT * FROM %s" , rslsql.table.c_str());
  for(int i= 0 ; i<rs->nrTuples(); i++){
    rs->seekTuple(i);
    a=string_to_RSL<A>(rs->currentrow[ 0 ]);
    if ((*p)(a)){ 
      r=RSLSet<B>((*g)(a), r);
    }
  }
  delete rs; 
  return r;
}

 -----------------------------------------------------
 

  for(int i= 0 ; i<rs->nrTuples(); i++){
    rs->seekTuple(i);
    a=string_to_RSL<A>(rs->currentrow[ 0 ]);
    if ((*p)(a)){ 
      r=RSLSet<B>((*g)(a), r);
    }
  }