2152 search results - page 42 / 431 » On Automating the Calculus of Relations |
104
Voted
ICDE
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper introduces a novel keyword searching paradigm in Relational Databases (DBs), where the result of a search is a ranked set of Object Summaries (OSs). An OS summarizes...
SIGSOFT
2000
ACM
15 years 5 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
107
click to vote
JIKM
2011
14 years 3 months ago
2011
Abstract. This paper presents a novel approach for extracting personal data and automatically generating Personal Data Reports (PDRs) from relational databases. Such PDRs can be us...
95
Voted
BIBE
2010
IEEE
15 years 1 months ago
2010
IEEE
111
click to vote
JCT
2006
15 years 16 days ago
2006
Abstract. Using the finite difference calculus and differentiation, we obtain several new identities for Bernoulli and Euler polynomials; some extend Miki's and Matiyasevich&#...