258 search results - page 13 / 52 » Relational Correspondences for Lattices with Operators |
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
We study, in the context of object/relational mapping tools, the problem of describing mappings between inheritance hierarchies and relational schemas. To this end, we introduce a ...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An importa...
RELMICS
2009
Springer
14 years 1 days ago
2009
Springer
Abstract. A Concurrent Kleene Algebra offers two composition operators, one that stands for sequential execution and the other for concurrent n [10]. In this paper we investigate ...
SP
1996
IEEE
13 years 11 months ago
1996
IEEE
View-based access control enables content-based and context-based security, as opposed to container-based security provided in operating systems. However, view-based access contro...