Information Sharing Agents in a Peer Data Exchange System
Author(s) -
Leopoldo Bertossi,
Loreto Bravo
Publication year - 2008
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
DOI - 10.1007/978-3-540-85176-9_7
Subject(s) - computer science , data exchange , peer to peer , data sharing , set (abstract data type) , information retrieval , process (computing) , information exchange , order (exchange) , theoretical computer science , world wide web , programming language , pathology , economics , finance , alternative medicine , medicine , telecommunications
We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supplement or modify its own data source. The data exchange relationships between peers are specified by logical sentences called data exchange constraintsand trust relationships, which together determine how data is moved around (in order to keep them satisfied). This process determines virtual, alternative instances for a peer that can be specified as the models of an answer set program. The peer consistent answersto a query that are returned by a peer are those that are invariant under all these instances. The logic program can be used to compute peer consistent answers.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom