2296 search results - page 406 / 460 » The Expressive Power of Synchronizations |
153
click to vote
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
Many online or local data sources provide powerful querying mechanisms but limited ranking capabilities. For instance, PubMed allows users to submit highly expressive Boolean keywo...
138
click to vote
ICDT
2010
ACM
16 years 1 months ago
2010
ACM
It is known that the composition of schema mappings, each specified by source-to-target tgds (st-tgds), can be specified by a secondorder tgd (SO tgd). We consider the question of...
141
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
134
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
131
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...