文献

J-GLOBAL ID：201702267098938082   整理番号：17A1185870

閉包演算子表現の簡潔性と実行可能性【Powered by NICT】

Succinctness and tractability of closure operator representations

著者 (1件)： Rudolph Sebastian (Technische Universitaet Dresden, Germany)
資料名： Theoretical Computer Science  (Theoretical Computer Science)
巻： 658  号： PB  ページ： 327-345  発行年： 2017年 
JST資料番号： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 有限集合上の閉包演算子は含意のセット(包含従属性として知られている)と同様に形式的コンテキストで表すことができることが知られている。本論文では,これらの二表現型,並びにそれらの一般化:拡張意味集合と関連ファミリーを検討した。はこれら四表現の相互簡潔性と閉包演算子を比較し,改質するために使用されている操作の実行可能性を議論した。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： *表現型
準シソーラス用語： *閉包演算子 , 【Automatic Indexing@JST】

著者キーワード (6件)： 閉包演算子 ,  形式的文脈 ,  意味 ,  Tractability ,  簡潔性 ,  計算特性

分類 (3件)： システム・制御理論一般  (IA02010H) ,  人工知能  (JE08000Z) ,  データベースシステム  (JD03030U)

タイトルに関連する用語 (3件)： 閉包演算子 ,  表現 ,  実行可能性