Reasoning About Data Provided By Federated Deductive Databases

被引：0
|
作者：
Laurence Cholvy
机构：
来源：
Journal of Intelligent Information Systems | 1998年 / 10卷
关键词：
Deductive databases and logic; belief logic; contradictory beliefs; query-answering;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This paper focuses on the problem of reasoning with information provided by a group of databases which share a common set of rules (deductive rules, integrity constraints). Each database is assumed to be consistent with the rules, but federating them may lead to contradictions.
引用
收藏
页码：49 / 80
页数：31
相关论文
共 50 条
  • [1] Reasoning about data provided by federated deductive databases
    Cholvy, L
    [J]. JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 1998, 10 (01) : 49 - 80
  • [2] Belief reasoning in MLS deductive databases
    Jamil, HM
    [J]. SIGMOD RECORD, VOL 28, NO 2 - JUNE 1999: SIGMOD99: PROCEEDINGS OF THE 1999 ACM SIGMOD - INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, 1999, : 109 - 120
  • [3] Reasoning with uncertainty in deductive databases and logic programs
    Ng, RT
    [J]. INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 1997, 5 (03) : 261 - 316
  • [4] PROBABILISTIC REASONING WITH FACTS AND RULES IN DEDUCTIVE DATABASES
    THONE, H
    GUNTZER, U
    KIESSLING, W
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 548 : 333 - 337
  • [5] A reasoning mechanism for deductive object-oriented databases
    Zhang C.
    Hu Y.
    Shi B.
    [J]. Journal of Computer Science and Technology, 1997, 12 (4): : 337 - 345
  • [6] DATA INDEPENDENT RECURSION IN DEDUCTIVE DATABASES
    NAUGHTON, JF
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1989, 38 (02) : 259 - 289
  • [7] Reasoning about ER models in a deductive environment
    Neumann, G
    [J]. DATA & KNOWLEDGE ENGINEERING, 1996, 19 (03) : 241 - 266
  • [8] Abductive, Inductive and Deductive Reasoning about Resources
    O'Hearn, Peter W.
    [J]. COMPUTER SCIENCE LOGIC, 2010, 6247 : 49 - 50
  • [9] Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning
    Huang, Jiani
    Li, Ziyang
    Chen, Binghong
    Samel, Karan
    Naik, Mayur
    Song, Le
    Si, Xujie
    [J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 34 (NEURIPS 2021), 2021, 34
  • [10] Reasoning about strings in databases
    Grahne, G
    Nykänen, M
    Ukkonen, E
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1999, 59 (01) : 116 - 162
12345