3319 search results - page 199 / 664 » Type Theoretical Databases |
167
click to vote
ICDE
2006
IEEE
15 years 12 months ago
2006
IEEE
The high quality, structured data from Web structured sources is invaluable for many applications. Hidden Web databases are not directly crawlable by Web search engines and are on...
FOCS
2008
IEEE
15 years 5 months ago
2008
IEEE
Relational joins are at the core of relational algebra, which in turn is the core of the standard database query language SQL. As their evaluation is expensive and very often domi...
TLCA
2005
Springer
15 years 4 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
SIGMOD
2004
ACM
15 years 10 months ago
2004
ACM
We perform a theoretical study of the following queryview security problem: given a view V to be published, does V logically disclose information about a confidential query S? The...
PODS
2004
ACM
15 years 10 months ago
2004
ACM
We present the Lixto project, which is both a research project in database theory and a commercial enterprise that develops Web data extraction (wrapping) and Web service definiti...