7289 search results - page 94 / 1458 » A Dependent Set Theory |
178
Voted
ICDT
2007
ACM
15 years 11 months ago
2007
ACM
With the rise of XML as a standard model of data exchange, XML functional dependencies (XFDs) have become important to areas such as key analysis, document normalization, and data ...
150
click to vote
ACSC
2007
IEEE
15 years 12 months ago
2007
IEEE
Full hierarchical dependencies (FHDs) constitute a large class of relational dependencies. A relation exhibits an FHD precisely when it can be decomposed into at least two of its ...
154
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
170
click to vote
LOPSTR
2009
Springer
16 years 1 days ago
2009
Springer
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...
157
click to vote
POPL
1999
ACM
15 years 9 months ago
1999
ACM
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...