1

在 Microsoft Oslo SDK CTP 2008（使用 Intellipad）中，以下代码编译良好：

module T {

    type A {
        Id : Integer32 = AutoNumber();
    } where identity Id;

    As : A*;

    type B {
        Id : Integer32 = AutoNumber();
//        A : A;
//    } where A in As && identity Id;
    } where identity Id;

    Bs : B*;

    type C {
        Id : Integer32 = AutoNumber();
        B : B;
    } where B in Bs && identity Id;

    Cs : C*;

}

并导致以下到达 SQL 输出：

set xact_abort on;
go

begin transaction;
go

set ansi_nulls on;
go

create schema [T];
go

create table [T].[As]
(
    [Id] int not null identity,
    constraint [PK_As] primary key clustered ([Id])
);
go

create table [T].[Bs]
(
    [Id] int not null identity,
    constraint [PK_Bs] primary key clustered ([Id])
);
go

create table [T].[Cs]
(
    [Id] int not null identity,
    [B] int not null,
    constraint [PK_Cs] primary key clustered ([Id]),
    constraint [FK_Cs_B_T_Bs] foreign key ([B]) references [T].[Bs] ([Id])
);
go

commit transaction;
go

但是在将模块 T 中的注释行更改如下

        A : A;
    } where A in As && identity Id;
//    } where identity Id;

显示错误消息“M2037: SQL Generation Internal Error: Missing generator for variable 'A'”（在 Intellipad 的 Reach SQL 窗口中）。

有任何想法吗？

问候，坦伯格

4

2 回答 2

1

我想你想要的是：

type A {
    Id : Integer32 = AutoNumber();
} where identity Id;

As : A*;

type B {
    Id : Integer32 = AutoNumber();
    A : A;
} where identity Id;

Bs : (B where value.A in As)*;

type C {
    Id : Integer32 = AutoNumber();
    B : B;
} where identity Id && B in Bs;

Cs : (C where value.B in Bs)*;

请注意，约束是在外部，而不是这里的类型。当类型上的约束但不能深入一个以上的关系时，我能够获得类似的代码。将它们移动到外部似乎是正确的，并生成了预期的 Reach SQL。

于 2008-10-31T18:37:29.457 回答