2608 search results - page 392 / 522 » Inferring Answers to Queries |
152
click to vote
FQAS
2004
Springer
15 years 8 months ago
2004
Springer
In the context of relational as well as deductive databases, correct and efficient integrity checking is a crucial issue, as, without any guarantee of data consistency, the answers...
151
click to vote
FAW
2008
Springer
15 years 6 months ago
2008
Springer
We propose path-merging as a refinement of techniques used to make linked data structures partially persistent. Path-merging supports bursts of operations between any two adjacent ...
150
click to vote
FOIKS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract In this paper we present a new rule-based approach for consistency preserving view updating in deductive databases. Based on rule transformations performed during schema d...
129
click to vote
AAAI
2010
15 years 6 months ago
2010
We describe a generic framework for representing and reasoning with annotated Semantic Web data, formalise the annotated language, the corresponding deductive system, and address ...
133
click to vote
CCCG
2010
15 years 6 months ago
2010
Given a bounded universe {0, 1, . . . , U-1}, we show how to perform (successor) searches in O(log log ) expected time and updates in O(log log ) expected amortized time, where i...