3381 search results - page 82 / 677 » Extending Dependencies with Conditions |
137
click to vote
PODS
2008
ACM
16 years 6 months ago
2008
ACM
Conjunctive query (CQ) evaluation on relational databases is NP-complete in general. Several restrictions, like bounded tree-width and bounded hypertree-width, allow polynomial ti...
170
click to vote
ADAEUROPE
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. We present an approach for enhancing dependability of component-based software. Functionality related to security, safety and reliability is encapsulated in specific com...
141
click to vote
ICA
2004
Springer
15 years 11 months ago
2004
Springer
The blind separation problem where the sources are not independent, but have variance-dependencies is discussed. Hyv¨arinen and Hurri[1] proposed an algorithm which requires no as...
135
click to vote
TYPES
2000
Springer
15 years 9 months ago
2000
Springer
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...
145
click to vote
VLDB
1987
ACM
15 years 9 months ago
1987
ACM
In a context considering in a unique framework all the relations in a database, by means of the notion of global consistency, independent database schemes allow enforcement of con...