The logic UBiSKt is a bi-intuitionistic modal with universal modalities having semantics in which formulae are interpreted as subgraphs. We use the to formalize idea of looking at subgraphs different levels detail. show how can be used define various spatial relations between These considered respect change level an existing formulation generalized partitions on graphs and hypergraphs terms giv...

Multiple different understandings and uses exist of what granularity is and how to implement it, where the former influences success of the latter with regards to storing granular data and using granularity for automated reasoning over the data or information, such as granular querying for information retrieval. We propose a taxonomy of types of granularity and discuss for each leaf type how th...

The prominent principle of designing service in Service Oriented Architecture is service granularity. The granularity is a crucial design decision. The service should be neither too coarse nor too fine grained. Therefore it should be evaluated at the design phase itself to measure its level of appropriateness. This paper proposes a suite of metrics for measuring service granularity quantitative...

Many artif icial intelligence systems implici t ly use notions of granularity in reasoning, but there is very little research into granularity itself. An exception is the work of Hobbs [1985], which outlines several characteristics of granularity. In this paper we describe an approach to representing granularity which formalizes in computational terms most of Hobbs' notions, often refining and ...

Locking granularity refers to the size of a lockable data unit, called a "granule", in a database system. Fine granularity improves system performance by increasing concurrency level but it also increases lock management overhead. Coarse granularity, on the other hand, sacrifices system performance but lowers the lock management cost. This paper explores the impact of granule size on performanc...