1075 search results - page 115 / 215 » Toward a Verified Relational Database Management System |
BTW
2009
Springer
13 years 10 months ago
2009
Springer
Abstract: Multimedia databases are increasingly common in science, business, entertainment and many other applications. Their size and high dimensionality of features are major cha...
CSCW
2002
ACM
13 years 8 months ago
2002
ACM
While systems supporting communities of practice in work organizations have been shown to be desirable many, if not all, are decoupled from daily work practices and tools. This hi...
CIDR
2009
13 years 10 months ago
2009
Recent research in domain-independent information extraction holds the promise of an automatically-constructed structured database derived from the Web. A query system based on th...
ALPIT
2007
IEEE
14 years 3 months ago
2007
IEEE
While information retrieval (IR) and databases (DB) have been developed independently, there have been emerging requirements that both data management and efficient text retrieva...
PODS
2010
ACM
13 years 9 months ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...