We describe an alternating fixpoint semantics of update programs and show that it can express all nondeterministic database transformations.
我々は,更新プログラムの交互不動点意味論を記述し,それがすべての非決定的データベース変換を表現することができることを示す. - コンピューター用語辞典
例文データの著作権について
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.