Sciweavers

409 search results - page 40 / 82
» Plan Databases: Model and Algebra
Sort
View
POPL
2010
ACM
15 years 9 months ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
14 years 10 months ago
Viewpoint detection models for sequential embodied object category recognition
Abstract— This paper proposes a method for learning viewpoint detection models for object categories that facilitate sequential object category recognition and viewpoint planning...
David Meger, Ankur Gupta, James J. Little
ADC
2001
Springer
97views Database» more  ADC 2001»
15 years 4 months ago
View updates in a semantic data modelling paradigm
The Sketch Data Model (SkDM) is a new semantic modelling paradigm based on category theory (specifically on categorical universal algebra), which has been used successfully in se...
Michael Johnson, Robert D. Rosebrugh, Christopher ...
ICDE
2006
IEEE
178views Database» more  ICDE 2006»
16 years 1 months ago
Declarative Querying for Biological Sequences
The ongoing revolution in life sciences research is producing vast amounts of genetic and proteomic sequence data. Scientists want to pose increasingly complex queries on this dat...
Sandeep Tata, Jignesh M. Patel, James S. Friedman,...
PPDP
2010
Springer
14 years 10 months ago
Deriving predicate statistics in datalog
Database query optimizers rely on data statistics in selecting query execution plans. Similar query optimization techniques are desirable for deductive databases and, to make this...
Senlin Liang, Michael Kifer