2152 search results - page 68 / 431 » On Automating the Calculus of Relations |
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to...
100
Voted
KR
2010
Springer
15 years 2 months ago
2010
Springer
We study logical principles connecting two relations: independence, which is known as nondeducibility in the study of information flow, and functional dependence. Two different e...
DLOG
2011
14 years 4 months ago
2011
Abstract. We consider the problem of characterising relational constraints under which TBox reasoning in EL is tractable. We obtain P vs. coNP-hardness dichotomies for tabular cons...
126
click to vote
ICDE
2002
IEEE
15 years 5 months ago
2002
IEEE
Unity is an architecture for integrating relational databases that performs three processes: metadata capture, semantic integration, and query formulation and execution. The found...
109
click to vote
DLOG
2008
15 years 3 months ago
2008
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...