297 search results - page 12 / 60 » An Algebra for Directed Bigraphs |
ADBIS
1998
Springer
13 years 12 months ago
1998
Springer
Object-oriented database management systems are often motivated by their support for new emerging application areas such as computer-aided design and analysis systems. The object-o...
JUCS
2006
13 years 7 months ago
2006
: Emerging interaction paradigms, such as service-oriented computing, and new technological challenges, such as exogenous component coordination, suggest new roles and application ...
EUSFLAT
2007
13 years 9 months ago
2007
We describe n-generated free MV -algebras as MV-algebras having the lattice reduct which is a direct limit in the category of distributive lattices.
EDBT
2012
ACM
11 years 10 months ago
2012
ACM
We present an effective optimization framework for general SQLlike map-reduce queries, which is based on a novel query algebra and uses a small number of higher-order physical ope...
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...