Information integration using logical views

Information Integration Using Logical Views

Abs t rac t . A number of ideas concerning information-integration tools can be thought of as constructing answers to queries using views that represent the capabilities of information sources. We review the formal basis of these techniques, which are closely related to containment algorithms for conjunctive queries and/or Datalog programs. Then we compare the approaches taken by AT&T Labs' "In...

Integration of UML Views using B Notations

The translation from UML specifications to formal B specifications gives a way to analyse rigorously UML specifications via their corresponding B formal specifications. This point is significant thanks to B support tools. This paper reports our experiences on UML-into-B translation that emphasise on the integration of different kinds of UML diagrams into B specifications.

Data Integration using Self-Maintainable Views

Information Sensemaking using Semantic Fisheye Views

Search goals are often too complex or poorly defined to be solved by a simple query. Users are more likely to iteratively refine their search goals using a variety of strategies, such as searching for more general or more specific concepts in reaction to the information and structures that they encounter in the results. This type of activity, where users refine and expand their original search ...

Towards building logical views of websites

Information presented in a Website is usually organized into certain logical structure that is intuitive to users. It would be useful to model websites with such logical structure so that extraction of Web data from these sites can be performed in a simple and efficient manner. However, the recognition and reconstruction of such logical structure by software agent is not straightforward due to ...