Scholarlink

Provenance calculus is based on two operations forming a semi-ring. Its aim is to combine and propagate annotations associated with data. This note emphasizes the point that this calculation, if based on max and min operations, exactly corresponds to query evaluation when data are labeled with levels of certainty (necessity) in the sense of possibility theory.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Possibilistic Provenance

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Didier Dubois,
  • Henri Prade

摘要

Provenance calculus is based on two operations forming a semi-ring. Its aim is to combine and propagate annotations associated with data. This note emphasizes the point that this calculation, if based on max and min operations, exactly corresponds to query evaluation when data are labeled with levels of certainty (necessity) in the sense of possibility theory.