#verify table (正常系)

Begin;
Initialize;
InitializeSession "";
Command "create database TESTDB";
TerminateSession;
InitializeSession "TESTDB";

#verifyされるべき表を生成
Command "create table T (F ntext array[no limit] hint heap 'compressed')";
#Command "create fulltext index I on T(F) hint 'sectionized, delayed ,inverted=(nolocation=true, notf=true)'";

#r/wトランザクションについて可能な組み合わせを全て試す
Command "start transaction read write";
Command "verify table T";
Command "verify table T cascade";
Command "verify table T continue";
Command "verify table T cascade continue";
Command "verify table T correct";
Command "verify table T cascade correct";
Command "verify table T continue correct";
Command "verify table T cascade continue correct";
Command "commit";

#r/oトランザクションについて正常に実行可能な組み合わせを全て試す
Command "start transaction read only, using snapshot";
Command "verify table T";
Command "verify table T cascade";
Command "verify table T continue";
Command "verify table T cascade continue";
Command "commit";

TerminateSession;
#あとかたづけ
InitializeSession "";
Command "drop database TESTDB";
TerminateSession;
Terminate;
End;

