2138 search results - page 302 / 428 » Logical Step-Indexed Logical Relations |
203
click to vote
AI
2003
Springer
15 years 11 months ago
2003
Springer
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
200
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
The vision of the Semantic Web is to make Web content machine-readable. To describe data, the Resource Description Framework has been extended with a schema-level and description ...
176
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
Skyline queries compute the set of Pareto-optimal tuples in a relation, i.e., those tuples that are not dominated by any other tuple in the same relation. Although several algorit...
165
click to vote
HASKELL
2008
ACM
15 years 7 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
273
click to vote
ICDT
2009
ACM
16 years 7 months ago
2009
ACM
Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings a...