パス式

クエリ言語では、パス式は、オブジェクトのグラフ(暗黙的である可能性もある)内でオブジェクトにナビゲートする方法を記述することによって、オブジェクトを識別します。たとえば、パス式は、p.Manager.Home.City誰かの上司の居住都市を参照する場合があります。パス式は、正規表現のような柔軟性をサポートするように拡張されています。XPath は、パス式言語の例です。

同時実行制御では、パス式は許可された実行シーケンスを表現するメカニズムです。たとえば、「 」のようなパス式は、任意の時点での {read}, writeの複数同時実行readまたは の単一実行のいずれか (両方ではない) が許可されることを指定します。write

パス式は、ソフトウェアのモニター レベルでプロセスを同期するためのメカニズムであることを理解することが重要です。これにより、共有データの記述と、同時プロセス間の調整と通信に対する明確で構造化されたアプローチが提供されます。この方法はタイミングを表現する能力に柔軟性があり、さまざまな方法で使用できます。

さらに、パス式は、次の 2 つの理由から、プロセス同期に役立ちます。1 つ目は、ストリーム式と正規表現の密接な関係により、この同期メカニズムを使用するプログラムの作成と推論のタスクが簡素化されることです。2 つ目は、多くの並行プログラムでの同期は有限状態であるため、正規表現で適切に記述できることです。まったく同じ理由から、パス式は複雑な非同期回路の動作を制御するのにも役立ちます。実際、有限状態の仮定は、モニター レベルよりもハードウェア レベルでさらに合理的である可能性があります。

パス式は、複雑なシステムにおける設計エラーの防止と検出に役立ち、特定の形式のコーディング エラーなどの危険性の一部を克服する、高度な記述同期を提供します。

• オブジェクトデータベース

• M. Kifer、W. Kim、Y. Sagiv (1992)。「オブジェクト指向データベースのクエリ」。ACM SIGMOD 論文集。pp . 393–402。
• Elisa Bertino、Mauro Negri、Giuseppe Pelagatti、Licia Sbattella (1992 年 6 月)。「オブジェクト指向クエリ言語: 概念と問題点」IEEE Transactions on Knowledge and Data Engineering 4 ( 3): 223–236. doi :10.1109/69.142014。{{cite journal}}: CS1 maint: 複数の名前: 著者リスト (リンク)
• R. Campbell & R. Kolstad (1979)。「Pascal のパス式」。第 4 回国際ソフトウェア工学会議の議事録。第 4 巻。pp. 212–219。
• Tony Bloom (1979)。「同期メカニズムの評価」。第 7 回 ACM オペレーティング システム原理シンポジウムの議事録。pp. 24–32。