Behaviour specification in database interoperation


Share/Save/Bookmark

Vermeer, W.W.M. and Apers, P.M.G. (1997) Behaviour specification in database interoperation. In: Proceedings of the 9th International Conference on Advanced Information Systems Engineering (CAISE 1997), 16-20 Jun 1997, Barcelona, Catalonia, Spain.

[img]
Preview
PDF
875Kb
Abstract:We discuss the impact of locally implemented behaviour in a federation of object-oriented databases. In particular, given a specification of an integrated view of a number of component databases, we discuss the process of determining the global methods that are implicitly implemented by a given set of local methods on these component databases. To this end, we develop the notions of objectivity and subjectivity of local methods, indicating whether the execution of a local method affects the global view exactly as it affects the local database, behaviour equivalences between local methods, indicating whether local methods of different components have similar effect, and behaviour concurrences, indicating whether local methods respond to the same event.
Item Type:Conference or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/66463
Official URL:http://dx.doi.org/10.1007/3-540-63107-0_5
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page