Sciweavers

1037 search results - page 38 / 208
» A view of canonical extension
Sort
View
QEST
2010
IEEE
13 years 6 months ago
The Measurable Space of Stochastic Processes
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
Luca Cardelli, Radu Mardare
DLOG
2011
13 years 18 hour ago
Extracting Finite Sets of Entailments from OWL Ontologies
The canonical standard description logic reasoning service is classification, that is, the generation of the set of atomic subsumptions which are entailed by some ontology. While ...
Samantha Bail, Bijan Parsia, Ulrike Sattler
KRDB
1997
167views Database» more  KRDB 1997»
13 years 9 months ago
Materialized Views and Data Warehouses
A data warehouse is a redundant collection of data replicated from several possibly distributed and loosely coupled source databases, organized to answer OLAP queries. Relational ...
Nick Roussopoulos
DBPL
1997
Springer
90views Database» more  DBPL 1997»
14 years 20 days ago
Implementing Incremental View Maintenance in Nested Data Models
Previous research on materialized views has primarily been in the context of flat relational databases--materialized views defined in terms of one or more flat relations. This pape...
Akira Kawaguchi, Daniel F. Lieuwen, Inderpal Singh...
SIGMOD
1995
ACM
116views Database» more  SIGMOD 1995»
14 years 1 days ago
Incremental Maintenance of Views with Duplicates
We study the problem of e cient maintenance of materialized views that may contain duplicates. This problem is particularly important when queries against such views involve aggre...
Timothy Griffin, Leonid Libkin