存在ルールのための保存的拡張【JST・京大機械翻訳】

Jung Jean Christoph; Lutz Carsten; Marcinkowski Jerzy

プレプリント

J-GLOBAL ID：202202207331543215 整理番号：22P0288301

存在ルールのための保存的拡張【JST・京大機械翻訳】

Conservative Extensions for Existential Rules

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2022年02月11日プレプリントサーバーでの情報更新日： 2022年02月11日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

タプル生成依存性(TGD)のセットT1,T2を,T2がT1の保守的拡張であるかどうか決定するための問題を研究した。保存的拡張の2つの自然概念,1つはデータベース上の結合問い合わせに対する回答,および1つは,チャドデータベース間の同形写像を,考慮している。著者らの主な結果は,これらの問題が,T1が空であり,フロンティア-オンTGDに対して決定可能な場合でも,線形TGDに対して不可解であり,保護されたTGDに対して不可能であった。【JST・京大機械翻訳】

, , , ,

細胞生理一般

, ,

前のページに戻る