商取引ルールの動的制約表現とデータベース化手法(ビジネストランザクション)(「夏のデータベースワークショップ(DBWS2003)」一般)