A Logic Framework for P2P Deductive Databases

DOI10.1017/S1471068419000073zbMath1434.68140arXiv1905.01545OpenAlexW2952169544WikidataQ127637875 ScholiaQ127637875MaRDI QIDQ5108527

Luciano Caroprese, Ester Zumpano

Publication date: 4 May 2020

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1905.01545

zbMATH Keywords

incompletenessinconsistencyrelational databasesintegrity constraintspeer data exchangeprioritized logic program

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17) Distributed systems (68M14)

Related Items (1)

A Logic Framework for P2P Deductive Databases

Cites Work

• Finding explanations of inconsistency in multi-context systems
• Data exchange: semantics and query answering
• A theory of diagnosis from first principles
• Preferred answer sets for extended logic programs
• Prioritized logic programming and its application to commonsense reasoning
• Propositional semantics for disjunctive logic programs
• The Semantics of Consistency and Trust in Peer Data Exchange Systems
• Data exchange: getting to the core
• A framework for compiling preferences in logic programs
• Consistency and trust in peer data exchange systems
• Answer sets for consistent query answering in inconsistent databases
• A Logic Framework for P2P Deductive Databases
• Database Programming Languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Logic Framework for P2P Deductive Databases