Sciweavers

266 search results - page 7 / 54
» On first-order topological queries
Sort
View
DEDUCTIVE
1994
133views Database» more  DEDUCTIVE 1994»
13 years 8 months ago
Expressive Power of Non-Deterministic Operators for Logic-based Languages
Non-deterministic operators are needed in First-Order relational languages and Datalog to extend the expressive power of such languages and support efficient formulations of lowco...
Luca Corciulo, Fosca Giannotti, Dino Pedreschi, Ca...
ISMIS
1994
Springer
13 years 11 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...
GIS
2010
ACM
13 years 6 months ago
Decentralized querying of topological relations between regions without using localization
This paper proposes an efficient, decentralized algorithm for determining the topological relationship between two regions monitored by a geosensor network. Many centralized algo...
Matt Duckham, Myeong Hun Jeong, Sanjiang Li, Joche...
RECOMB
2009
Springer
14 years 8 months ago
Topology-Free Querying of Protein Interaction Networks
Sharon Bruckner, Falk Hüffner, Richard M. Kar...
MIDDLEWARE
2005
Springer
14 years 29 days ago
An Optimal Overlay Topology for Routing Peer-to-Peer Searches
Unstructured peer-to-peer networks are frequently used as the overlay in various middleware toolkits for emerging applications, from content discovery to query result caching to di...
Brian F. Cooper