Results 1 - 2 of 2
- 10th European-Japanese Conf. on Information Modelling and Knowledge Bases, Saariselka/Finland , 2000
...ngle unifying framework. The work in [18, 19] starts with the generalisation of relational dependency theory. On the other hand, a very general approach to unified database theory has been started in =-=[27, 28]-=-. As the gist of the extensions concern rational trees, types and (polymorphic) functions it seems to be reasonable to replace finite sets by the corresponding topos that is used to define the semanti...
Developed at and hosted by The College of Information Sciences and Technology
© 2007-2016 The Pennsylvania State University