ボディ

• クラスタ
• ボディ; クラスタ

クラスタは、以下の形をしてます。

クラスタ

• 命題,...,命題||{ 属性項制約 , ..., 属性項制約 }
  （属性項制約はなくても構いません。）
• ＋（ モジュールラベル ） 属性項
  （この挿入によって、データベースの更新が起きます。）
• −（ モジュールラベル ） 属性項
  （この削除によって、データベースの更新が起きます。）
• トランザクション
• インテグリティ

命題は、以下の形をしています。

命題

• （ モジュールラベル ） 属性項
• ~（ モジュールラベル ） 単一項
  （これで、NAF としての否定が記述できます。）

Quixote では、以下のトランザクション、 インテグリティが扱え、入れ子トランザクション制御ができます。

トランザクション

• &begin_transaction
• &end_transaction
• &abort_transaction

インテグリティ

• &consis(インテグリティチェック)
• &inconsis(インテグリティチェック)

インテグリティチェック

• （モジュールラベル）属性項
  （モジュールラベルは省略可能です。）
• ｛ 属性項制約 , ..., 属性項制約 ｝

Quixote 構文の索引