Sciweavers

1302 search results - page 73 / 261
» Fair Equivalence Relations
Sort
View
VLDB
1993
ACM
78views Database» more  VLDB 1993»
14 years 1 months ago
The Use of Information Capacity in Schema Integration and Translation
In this paper, we carefully explore the assumptions behind using information capacity equivalence as a measure of correctness for judging transformed schemas in schema integration...
Renée J. Miller, Yannis E. Ioannidis, Raghu...
AAAI
2008
13 years 11 months ago
Hyperequivalence of Logic Programs with Respect to Supported Models
Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...
Miroslaw Truszczynski, Stefan Woltran
BIRTHDAY
2008
Springer
13 years 11 months ago
A Category of Explicit Fusions
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Cia...
CORR
2011
Springer
135views Education» more  CORR 2011»
13 years 25 days ago
On the Limitations of Provenance for Queries With Difference
The annotation of the results of database transformations was shown to be very effective for various applications. Until recently, most works in this context focused on positive q...
Yael Amsterdamer, Daniel Deutch, Val Tannen
CORR
2011
Springer
144views Education» more  CORR 2011»
13 years 25 days ago
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs
Abstract. We consider the setting of ontological database access, where an Abox is given in form of a relational database D and where a Boolean conjunctive query q has to be evalua...
Georg Gottlob, Thomas Schwentick