文献
J-GLOBAL ID:202002259561707796
整理番号:20A0777614
ユニオンと否定による連結質問のための並列-正確性と包含【JST・京大機械翻訳】
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation
著者 (4件):
Geck Gaetano
(TU Dortmund University, Dortmund, Germany)
,
Ketsman Bas
(Ecole Polytechnique Federale de Lausanne, Lausanne, Switzerland)
,
Neven Frank
(Hasselt University 8 transnational University of Limburg)
,
Schwentick Thomas
(TU Dortmund University, Dortmund, Germany)
資料名:
ACM Transactions on Computational Logic
(ACM Transactions on Computational Logic)
巻:
20
号:
3
ページ:
1-24
発行年:
2019年
JST資料番号:
A1264A
ISSN:
1529-3785
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)