Sciweavers

789 search results - page 93 / 158
» On Theory Revision with Queries
Sort
View
LPNMR
2005
Springer
15 years 6 months ago
An ID-Logic Formalization of the Composition of Autonomous Databases
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
Bert Van Nuffelen, Ofer Arieli, Alvaro Corté...
110
Voted
ISMIS
1994
Springer
15 years 4 months ago
Reasoning About the Safety of Information: From Logical Formalization to Operational Definition
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
Laurence Cholvy, Robert Demolombe, Andrew J. I. Jo...
ER
2006
Springer
112views Database» more  ER 2006»
15 years 4 months ago
An Architecture for Emergent Semantics
Emergent Semantics is a new paradigm for inferring semantic meaning from implicit feedback by a sufficiently large number of users of an object retrieval system. In this paper, we ...
Sven Herschel, Ralf Heese, Jens Bleiholder
109
Voted
EFDBS
2003
15 years 2 months ago
Implementing Mediators through Virtual Updateable Views
Mediators are considered basic architectural units for integration of distributed, heterogeneous information resources. In the paper we propose powerful virtual updateable views as...
Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz...
78
Voted
IJIS
2002
112views more  IJIS 2002»
15 years 14 days ago
Extended possibilistic truth values
In search of semantic richer and more flexible database modelling and database querying techniques, different approaches based on fuzzy set theory have been developed. Among the m...
Guy De Tré