Sciweavers

9 search results - page 1 / 2
» Relational Algebra for Ranked Tables with Similarities: Prop...
Sort
View
IDA
2007
Springer
14 years 5 months ago
Relational Algebra for Ranked Tables with Similarities: Properties and Implementation
The paper presents new developments in an extension of Codd’s relational model of data. The extension consists in equipping domains of attribute values with a similarity relation...
Radim Belohlávek, Stanislav Opichal, Vil&ea...
SIGMOD
2005
ACM
164views Database» more  SIGMOD 2005»
14 years 11 months ago
RankSQL: Query Algebra and Optimization for Relational Top-k Queries
This paper introduces RankSQL, a system that provides a systematic and principled framework to support efficient evaluations of ranking (top-k) queries in relational database syst...
Chengkai Li, Kevin Chen-Chuan Chang, Ihab F. Ilyas...
LPAR
2010
Springer
13 years 8 months ago
Speed-Up Techniques for Negation in Grounding
Abstract. Grounding is the task of reducing a first order formula to ground formula that is equivalent on a given universe, and is important in many kinds of problem solving and re...
Amir Aavani, Shahab Tasharrofi, Gulay Ünel, E...
CIKM
2011
Springer
12 years 10 months ago
Towards a framework for attribute retrieval
In this paper, we propose an attribute retrieval approach which extracts and ranks attributes from HTML tables. We distinguish between class attribute retrieval and instance attri...
Arlind Kopliku, Mohand Boughanem, Karen Pinel-Sauv...
TAMC
2010
Springer
14 years 3 months ago
Algebraic Proofs over Noncommutative Formulas
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
Iddo Tzameret